{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:09Z","timestamp":1750220829414,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141712577"],"award-info":[{"award-number":["N000141712577"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1552668"],"award-info":[{"award-number":["1552668"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361210","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems"],"prefix":"10.1145","author":[{"given":"Ratan","family":"Lal","sequence":"first","affiliation":[{"name":"Kansas State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"R. Alur C. Courcoubetis N. Halbwachs T.A. Henzinger P.-H. Ho X. Nicollin A. Olivero J. Sifakis and S. Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science.","DOI":"10.1016\/0304-3975(94)00202-T"},{"volume-title":"Counter-Example Guided Predicate Abstraction of Hybrid Systems. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems.","author":"Alur R.","key":"e_1_3_2_1_2_1","unstructured":"R. Alur, T. Dang, and F. Ivancic. 2003. Counter-Example Guided Predicate Abstraction of Hybrid Systems. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Thao Dang and Franjo Ivancic. 2006. Predicate abstraction for reachability analysis of hybrid systems. ACM Transactions on Embedded Computing Systems.","DOI":"10.1145\/1132357.1132363"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"E. Asarin T. Dang and A. Girard. 2007. Hybridization methods for the analysis of nonlinear systems. Acta Informatica.","DOI":"10.1007\/s00236-006-0035-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"e_1_3_2_1_6_1","volume-title":"Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. In Haifa Verification Conference.","author":"Bogomolov Sergiy","year":"2014","unstructured":"Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, and Thomas Strump. 2014. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. In Haifa Verification Conference."},{"key":"e_1_3_2_1_7_1","volume-title":"Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In IEEE Real-Time Systems Symposium (RTSS).","author":"Chen Xin","year":"2012","unstructured":"Xin Chen, Erika Abraham, and Sriram Sankaranarayanan. 2012. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In IEEE Real-Time Systems Symposium (RTSS)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_44"},{"key":"e_1_3_2_1_9_1","volume-title":"Kwiatkowska","author":"Chilton Chris","year":"2014","unstructured":"Chris Chilton, Bengt Jonsson, and Marta Z. Kwiatkowska. 2014. Compositional assume-guarantee reasoning for input\/output component theories. Sci. Comput. Program."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"volume-title":"International Conference on Hybrid Systems: Computation and Control.","author":"Dang T.","key":"e_1_3_2_1_12_1","unstructured":"T. Dang, O. Maler, and R. Testylier. 2010. Accurate hybridization of nonlinear systems. In International Conference on Hybrid Systems: Computation and Control."},{"key":"e_1_3_2_1_13_1","volume-title":"SpaceEx: Scalable Verification of Hybrid Systems. In International Conference on Computer Aided Verification.","author":"Frehse Goran","year":"2011","unstructured":"Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable Verification of Hybrid Systems. In International Conference on Computer Aided Verification."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_15_1","unstructured":"Antoine Girard. 2013. A composition theorem for bisimulation functions. CoRR."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"volume-title":"ACM Symposium on Theory of Computation.","author":"Henzinger T.A.","key":"e_1_3_2_1_17_1","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. 1995. What's decidable about hybrid automata?. In ACM Symposium on Theory of Computation."},{"key":"e_1_3_2_1_18_1","volume-title":"The Theory of Hybrid Automata. In IEEE Symposium on Logic in Computer Science.","author":"Henzinger Thomas A.","year":"1996","unstructured":"Thomas A. Henzinger. 1996. The Theory of Hybrid Automata. In IEEE Symposium on Logic in Computer Science."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2830865.2830891"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263997"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054113500123"},{"key":"e_1_3_2_1_22_1","volume-title":"Vaandrager","author":"Lynch Nancy A.","year":"2003","unstructured":"Nancy A. Lynch, Roberto Segala, and Frits W. Vaandrager. 2003. Hybrid I\/O automata. Inf. Comput."},{"key":"e_1_3_2_1_23_1","volume-title":"Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. In International Symposium on Automated Technology for Verification and Analysis.","author":"Nam Wonhong","year":"2006","unstructured":"Wonhong Nam and Rajeev Alur. 2006. Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. In International Symposium on Automated Technology for Verification and Analysis."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967722"},{"key":"e_1_3_2_1_26_1","volume-title":"Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems.","author":"Roohi Nima","year":"2016","unstructured":"Nima Roohi, Pavithra Prabhakar, and Mahesh Viswanathan. 2016. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049821"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728615"},{"key":"e_1_3_2_1_29_1","volume-title":"Lima","author":"Tabuada Paulo","year":"2004","unstructured":"Paulo Tabuada, George J. Pappas, and Pedro U. Lima. 2004. Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems."},{"key":"e_1_3_2_1_30_1","volume-title":"Bisimilar Finite Abstractions of Interconnected Systems. In International Conference on Hybrid Systems: Computation and Control.","author":"Tazaki Yuichi","year":"2008","unstructured":"Yuichi Tazaki and Jun-ichi Imura. 2008. Bisimilar Finite Abstractions of Interconnected Systems. In International Conference on Hybrid Systems: Computation and Control."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Ashish Tiwari. 2008. Abstractions for hybrid systems. Formal Methods in System Design.","DOI":"10.1007\/s10703-007-0044-3"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"L. van den Dries and C. Miller. 1994. On the real exponential field with restricted analytic functions. Israel Journal of MAthematics.","DOI":"10.1007\/BF02758635"}],"event":{"name":"MEMOCODE '19: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"La Jolla California","acronym":"MEMOCODE '19"},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361210","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361210","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":32,"alternative-id":["10.1145\/3359986.3361210","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361210","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}