{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:15:16Z","timestamp":1768342516043,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Belgian American Educational Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["836900 and 1932189"],"award-info":[{"award-number":["836900 and 1932189"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,14]]},"DOI":"10.1145\/3641513.3650127","type":"proceedings-article","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T18:05:48Z","timestamp":1714673148000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0633-8948","authenticated-orcid":false,"given":"Guillaume","family":"Berger","sequence":"first","affiliation":[{"name":"UCLouvain, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8948-8628","authenticated-orcid":false,"given":"Masoumeh","family":"Ghanbarpour","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7315-4340","authenticated-orcid":false,"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_6"},{"key":"e_1_3_2_1_3_1","volume-title":"Using Ellipsoidal Domains to Analyze Control Systems Software. CoRR abs\/0909.1977","author":"Alegre Fernando","year":"2009","unstructured":"Fernando Alegre, Eric Feron, and Santosh Pande. 2009. Using Ellipsoidal Domains to Analyze Control Systems Software. CoRR abs\/0909.1977 (2009). arXiv:0909.1977http:\/\/arxiv.org\/abs\/0909.1977"},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of Cyber-Physical Systems","author":"Alur Rajeev","unstructured":"Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9682889"},{"key":"e_1_3_2_1_9_1","unstructured":"MOSEK ApS. 2022. The MOSEK optimization toolbox for MATLAB manual. Version 10.0.http:\/\/docs.mosek.com\/9.0\/toolbox\/index.html"},{"key":"e_1_3_2_1_10_1","volume-title":"Ordinary Differential Equations","author":"Arnold I.","unstructured":"Vladimir\u00a0I. Arnold. 2006. Ordinary Differential Equations. Springer (Universitext). Translated from Russian by R.Cooke.."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Aharon Ben-Tal and Arkadi Nemirovski. 2001. Lectures on modern convex optimization: analysis algorithms and engineering applications. SIAM.","DOI":"10.1137\/1.9780898718829"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/509907.509926"},{"key":"e_1_3_2_1_13_1","volume-title":"Set-Theoretic Methods in Control","author":"Blanchini Franco","unstructured":"Franco Blanchini and Stefano Miani. 2008. Set-Theoretic Methods in Control. Birkh\u00e4user, Boston, MA, USA. https:\/\/link.springer.com\/book\/10.1007\/978-0-8176-4606-6"},{"key":"e_1_3_2_1_14_1","volume-title":"Principles of Abstract Interpretation","author":"Cousot Patrick","year":"2044","unstructured":"Patrick Cousot. 2021. Principles of Abstract Interpretation. The MIT Press, Cambridge, MA, USA. https:\/\/www.amazon.com\/Principles-Abstract-Interpretation-Patrick-Cousot\/dp\/0262044900"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_16_1","volume-title":"The ASTR\u00c9E Analyzer. In European Symposium on Programming (ESOP\u201905)","author":"Cousot Patrick","year":"2005","unstructured":"Patrick Cousot, Radhia Cousot, J\u00e9r\u00f4me Feret, Laurent Mauborgne, Antoine Min\u00e9, David Monniaux, and Xavier Rival. 2005. The ASTR\u00c9E Analyzer. In European Symposium on Programming (ESOP\u201905)(Lecture Notes in Computer Science, Vol.\u00a03444), M.\u00a0Sagiv (Ed.). Springer-Verlag, 21\u201330."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_18_1","volume-title":"Cddlib reference manual. Report version 093a","author":"Fukuda Komei","year":"2003","unstructured":"Komei Fukuda. 2003. Cddlib reference manual. Report version 093a, McGill University, Montr\u00e9al, Quebec, Canada (2003)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.11.003"},{"key":"e_1_3_2_1_21_1","volume-title":"Verification of linear hybrid systems by means of convex approximations","author":"Halbwachs Nicolas","unstructured":"Nicolas Halbwachs, Yann\u00a0Eric Proy, and Pascal Raymond. 1994. Verification of linear hybrid systems by means of convex approximations. In Static Analysis, Baudouin Le\u00a0Charlier (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 223\u2013237."},{"key":"e_1_3_2_1_22_1","volume-title":"Henzinger and Pei-Hsin Ho","author":"A.","year":"1995","unstructured":"Thomas\u00a0A. Henzinger and Pei-Hsin Ho. 1995. A note on abstract interpretation strategies for hybrid automata. In Hybrid Systems II, Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 252\u2013264."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2017.8046890"},{"key":"e_1_3_2_1_24_1","series-title":"SIAM Journal on optimization 11, 3","volume-title":"Global optimization with polynomials and the problem of moments","author":"Lasserre B","year":"2001","unstructured":"Jean\u00a0B Lasserre. 2001. Global optimization with polynomials and the problem of moments. SIAM Journal on optimization 11, 3 (2001), 796\u2013817."},{"key":"e_1_3_2_1_25_1","unstructured":"Beno\u00eet Legat. 2023. Polyhedral Computation. In JuliaCon. https:\/\/pretalx.com\/juliacon2023\/talk\/JP3SPX\/"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038659"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/S009753970544727X"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"James\u00a0D. Meiss. 2017. Differential Dynamical Systems. SIAM.","DOI":"10.1137\/1.9781611974645"},{"key":"e_1_3_2_1_29_1","volume-title":"d.]. Verifying Cyber-Physical Systems: A Path to Safe Autonomy","author":"Mitra Sayan","unstructured":"Sayan Mitra. [n. d.]. Verifying Cyber-Physical Systems: A Path to Safe Autonomy. MIT Press. https:\/\/mitpress.mit.edu\/contributors\/sayan-mitra"},{"key":"e_1_3_2_1_30_1","volume-title":"Uber die lage der integralkurven gew\u00f6hnlicher differentialgleichungen. 24","author":"Nagumo M.","year":"1942","unstructured":"M. Nagumo. 1942. Uber die lage der integralkurven gew\u00f6hnlicher differentialgleichungen. 24 (1942), 551\u2013559. Issue 3."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"Pablo\u00a0A. Parrilo. [n. d.]. Polynomial Optimization Sums of Squares and Applications. Chapter\u00a03 47\u2013157. https:\/\/doi.org\/10.1137\/1.9781611972290.ch3","DOI":"10.1137\/1.9781611972290.ch3"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9385-1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"e_1_3_2_1_35_1","volume-title":"Computing Differential Invariants of Hybrid Systems as Fixedpoints","author":"Platzer Andr\u00e9","unstructured":"Andr\u00e9 Platzer and Edmund\u00a0M. Clarke. 2008. Computing Differential Invariants of Hybrid Systems as Fixedpoints. In Computer Aided Verification, Aarti Gupta and Sharad Malik (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 176\u2013189."},{"key":"e_1_3_2_1_36_1","volume-title":"Hybrid Systems: Computation and Control, Rajeev Alur and George\u00a0J","author":"Prajna Stephen","unstructured":"Stephen Prajna and Ali Jadbabaie. 2004. Safety Verification of Hybrid Systems Using Barrier Certificates. In Hybrid Systems: Computation and Control, Rajeev Alur and George\u00a0J. Pappas (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 477\u2013492."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185651"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Ricardo Sanfelice. 2021. Hybrid Feedback Control.","DOI":"10.2307\/j.ctv131btfx"},{"key":"e_1_3_2_1_40_1","volume-title":"Hybrid Systems: Computation and Control (HSCC)","author":"Sankaranarayanan Sriram","unstructured":"Sriram Sankaranarayanan. 2011. Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations. In Hybrid Systems: Computation and Control (HSCC). ACM Press, 143\u2013152."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2015.08.006"},{"key":"e_1_3_2_1_42_1","volume-title":"HSCC(Lecture Notes in Computer Science, Vol.\u00a03927)","author":"Sankaranarayanan Sriram","unstructured":"Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna. 2006. Fixed Point Iteration for Computing the Time Elapse Operator. In HSCC(Lecture Notes in Computer Science, Vol.\u00a03927). Springer, 537\u2013551."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0046-1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446568"},{"key":"e_1_3_2_1_45_1","volume-title":"An Approach to Obtaining Global Extrema in Polynomial Problems of Mathematical Programming. Kibernetika (Kiev)5","author":"Shor Z.","year":"1987","unstructured":"Naum\u00a0Z. Shor. 1987. An Approach to Obtaining Global Extrema in Polynomial Problems of Mathematical Programming. Kibernetika (Kiev)5 (1987), 102\u20136. Issue 136."},{"key":"e_1_3_2_1_46_1","volume-title":"FM\u201918, K.\u00a0Havelund, J.\u00a0Peleska, B.\u00a0Roscoe, and E.\u00a0de\u00a0Vink (Eds.). Vol.\u00a010951","author":"Sogokon Andrew","unstructured":"Andrew Sogokon, Khalil Ghorbal, Yong\u00a0Kiam Tan, and Andr\u00e9 Platzer. 2018. Vector barrier certificates and comparison systems. In FM\u201918, K.\u00a0Havelund, J.\u00a0Peleska, B.\u00a0Roscoe, and E.\u00a0de\u00a0Vink (Eds.). Vol.\u00a010951. Springer, 418\u2013437."},{"key":"e_1_3_2_1_47_1","unstructured":"Yunfei Song. 2022. Positive Invariance Condition for Continuous Dynamical Systems Based on Nagumo Theorem. arxiv:2207.05429\u00a0[math.DS]"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993935"},{"key":"e_1_3_2_1_49_1","unstructured":"Ankur Taly and Ashish Tiwari. 2009. Deductive Verification of Continuous Dynamical Systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(Leibniz International Proceedings in Informatics (LIPIcs) Vol.\u00a04). 383\u2013394."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"A. Tiwari and G. Khanna. 2002. Series of Abstractions for Hybrid Automata. In Hybrid Systems: Computation and Control HSCC(LNCS Vol.\u00a02289) C.\u00a0J. Tomlin and M.\u00a0R. Greenstreet (Eds.). Springer 465\u2013478.","DOI":"10.1007\/3-540-45873-5_36"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"A. Tiwari and G. Khanna. 2004. Nonlinear systems: Approximating reach sets. In Hybrid Systems: Computation and Control HSCC(LNCS Vol.\u00a02993) R.\u00a0Alur and G.\u00a0Pappas (Eds.). Springer 600\u2013614.","DOI":"10.1007\/978-3-540-24743-2_40"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_53_1","unstructured":"Tillmann Weisser Beno\u00eet Legat Chris Coey Lea Kapelevich and Juan\u00a0Pablo Vielma. 2019. Polynomial and Moment Optimization in Julia and JuMP. In JuliaCon. https:\/\/pretalx.com\/juliacon2019\/talk\/QZBKAU\/"}],"event":{"name":"HSCC '24: Computation and Control","location":"Hong Kong SAR China","acronym":"HSCC '24","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:12:20Z","timestamp":1755907940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":53,"alternative-id":["10.1145\/3641513.3650127","10.1145\/3641513"],"URL":"https:\/\/doi.org\/10.1145\/3641513.3650127","relation":{},"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}