{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:32:57Z","timestamp":1777545177656,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178133","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"51-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Under-Approximating Reach Sets for Polynomial Continuous Systems"],"prefix":"10.1145","author":[{"given":"Bai","family":"Xue","sequence":"first","affiliation":[{"name":"State Key Lab. of Computer Science, Institute of Software, CAS, China and Department of Computing Science, C. v. Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[{"name":"Department of Computing Science, C. v. Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[{"name":"State Key Lab. of Computer Science, Institute of Software, CAS, China and University of Chinese Academy of Sciences, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710595"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"e_1_3_2_1_4_1","first-page":"59","volume-title":"FMCAD'14","author":"Chen X.","year":"2014","unstructured":"X. Chen , S. Sankaranarayanan , and E. \u00c1brah\u00e1m . Under-approximate flowpipes for non-linear continuous systems . In FMCAD'14 , pages 59 -- 66 . FMCAD Inc , 2014 . X. Chen, S. Sankaranarayanan, and E. \u00c1brah\u00e1m. Under-approximate flowpipes for non-linear continuous systems. In FMCAD'14, pages 59--66. FMCAD Inc, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755956"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426597"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0295-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728622"},{"key":"e_1_3_2_1_9_1","volume-title":"Kirszbraun's theorem. Preprint","author":"Fremlin D. H.","year":"2011","unstructured":"D. H. Fremlin . Kirszbraun's theorem. Preprint , 2011 . D. H. Fremlin. Kirszbraun's theorem. Preprint, 2011."},{"key":"e_1_3_2_1_10_1","article-title":"Reachability Analysis for Solvable Dynamical Systems. To appear","author":"Gan T.","year":"2017","unstructured":"T. Gan , M. Chen , Y. Li , B. Xia , and N. Zhan . Reachability Analysis for Solvable Dynamical Systems. To appear in IEEE Trans. Autom. Control. , 2017 . T. Gan, M. Chen, Y. Li, B. Xia, and N. Zhan. Reachability Analysis for Solvable Dynamical Systems. To appear in IEEE Trans. Autom. Control., 2017.","journal-title":"IEEE Trans. Autom. Control."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562113"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1988.132.35"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"e_1_3_2_1_16_1","first-page":"4","volume-title":"Exploiting Structured Sparsity in Large Scale Semi-definite Programming Problems. In ICMS'10","author":"Kojima M.","year":"2010","unstructured":"M. Kojima . Exploiting Structured Sparsity in Large Scale Semi-definite Programming Problems. In ICMS'10 , pages 4 -- 9 . Springer , 2010 . M. Kojima. Exploiting Structured Sparsity in Large Scale Semi-definite Programming Problems. In ICMS'10, pages 4--9. Springer, 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"e_1_3_2_1_19_1","first-page":"202","volume-title":"Ellipsoidal Techniques for Reachability Analysis. In HSCC'00","author":"Kurzhanski A. B.","year":"2000","unstructured":"A. B. Kurzhanski and P. Varaiya . Ellipsoidal Techniques for Reachability Analysis. In HSCC'00 , pages 202 -- 214 . Springer , 2000 . A. B. Kurzhanski and P. Varaiya. Ellipsoidal Techniques for Reachability Analysis. In HSCC'00, pages 202--214. Springer, 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.27.2.347.322"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-014-0838-1"},{"key":"e_1_3_2_1_22_1","first-page":"284","volume-title":"CACSD'04","author":"Lofberg J.","year":"2004","unstructured":"J. Lofberg . Yalmip : A toolbox for modeling and optimization in MATLAB . In CACSD'04 , pages 284 -- 289 . IEEE, 2004 . J. Lofberg. Yalmip: A toolbox for modeling and optimization in MATLAB. In CACSD'04, pages 284--289. IEEE, 2004."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/140992047"},{"key":"e_1_3_2_1_25_1","volume-title":"arXiv preprint arXiv:1403.0952","author":"Maler O.","year":"2014","unstructured":"O. Maler . Algorithmic verification of continuous and hybrid systems. arXiv preprint arXiv:1403.0952 , 2014 . O. Maler. Algorithmic verification of continuous and hybrid systems. arXiv preprint arXiv:1403.0952, 2014."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_27_1","volume-title":"The MOSEK optimization toolbox for MATLAB manual. Version 7.1 (Revision 28), page 17","author":"Mosek A.","year":"2015","unstructured":"A. Mosek . The MOSEK optimization toolbox for MATLAB manual. Version 7.1 (Revision 28), page 17 , 2015 . A. Mosek. The MOSEK optimization toolbox for MATLAB manual. Version 7.1 (Revision 28), page 17, 2015."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1993.42.42045"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_37"},{"key":"e_1_3_2_1_32_1","first-page":"424","volume-title":"Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. In SAS'16","author":"Roux P.","year":"2016","unstructured":"P. Roux , Y.-L. Voronin , and S. Sankaranarayanan . Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. In SAS'16 , pages 424 -- 446 . Springer , 2016 . P. Roux, Y.-L. Voronin, and S. Sankaranarayanan. Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. In SAS'16, pages 424--446. Springer, 2016."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00198"},{"key":"e_1_3_2_1_34_1","first-page":"8","volume-title":"CyPhy'15","author":"Schupp S.","year":"2015","unstructured":"S. Schupp , E. \u00c1brah\u00e1m , X. Chen , I. B. Makhlouf , G. Frehse , S. Sankaranarayanan , and S. Kowalewski . Current challenges in the verification of hybrid systems . In CyPhy'15 , pages 8 -- 24 . Springer , 2015 . S. Schupp, E. \u00c1brah\u00e1m, X. Chen, I. B. Makhlouf, G. Frehse, S. Sankaranarayanan, and S. Kowalewski. Current challenges in the verification of hybrid systems. In CyPhy'15, pages 8--24. Springer, 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2263916"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2615599"},{"key":"e_1_3_2_1_38_1","first-page":"281","volume-title":"Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS'17","author":"Xue B.","year":"2017","unstructured":"B. Xue , P. N. Mosaad , M. Fr\u00e4nzle , M. Chen , Y. Li , and N. Zhan . Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS'17 , pages 281 -- 299 . Springer , 2017 . B. Xue, P. N. Mosaad, M. Fr\u00e4nzle, M. Chen, Y. Li, and N. Zhan. Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS'17, pages 281--299. Springer, 2017."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2694351"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","location":"Porto Portugal","acronym":"HSCC '18","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178133","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":40,"alternative-id":["10.1145\/3178126.3178133","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178133","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}