{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T01:31:03Z","timestamp":1768872663325,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004362","name":"Toyota USA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004362","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1319457, CNS-0953941"],"award-info":[{"award-number":["CNS-1319457, CNS-0953941"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656061","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Multiple shooting, CEGAR-based falsification for hybrid systems"],"prefix":"10.1145","author":[{"given":"Aditya","family":"Zutshi","sequence":"first","affiliation":[{"name":"University of Colorado, Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"Toyota Technical Center"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[{"name":"Toyota Technical Center"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2337\/diab.38.12.1512"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1172\/JCI110398"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_10"},{"key":"e_1_3_2_1_7_1","volume-title":"A multiple shooting algorithm for direct solution of optimal control problems","author":"Bock H. G.","year":"1983","unstructured":"H. G. Bock and K.-J. Plitt . A multiple shooting algorithm for direct solution of optimal control problems . 1983 . H. G. Bock and K.-J. Plitt. A multiple shooting algorithm for direct solution of optimal control problems. 1983."},{"key":"e_1_3_2_1_8_1","unstructured":"A. Casagrande A. Balluchi L. Benvenuti A. Policriti T. Villa and A. Sangiovanni-Vincentelli. A new algorithm for reachability analysis of hybrid automata. Technical report Citeseer.  A. Casagrande A. Balluchi L. Benvenuti A. Policriti T. Villa and A. Sangiovanni-Vincentelli. A new algorithm for reachability analysis of hybrid automata. Technical report Citeseer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"issue":"1","key":"e_1_3_2_1_12_1","first-page":"57","article-title":"A semiclosed-loop algorithm for the control of blood glucose levels in diabetics. Biomedical Engineering","volume":"38","author":"Fisher M. E.","year":"1991","unstructured":"M. E. Fisher . A semiclosed-loop algorithm for the control of blood glucose levels in diabetics. Biomedical Engineering , IEEE Transactions on , 38 ( 1 ): 57 -- 61 , 1991 . M. E. Fisher. A semiclosed-loop algorithm for the control of blood glucose levels in diabetics. Biomedical Engineering, IEEE Transactions on, 38(1):57--61, 1991.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_13_1","first-page":"209","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. JSAT---Journal on Satisfiability, Boolean Modeling and Computation","volume":"1","author":"Fr\u00e4nzle M.","year":"2007","unstructured":"M. Fr\u00e4nzle , C. Herde , S. Ratschan , T. Schubert , and T. Teige . Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. JSAT---Journal on Satisfiability, Boolean Modeling and Computation , Special Issue on SAT\/CP Integration , 1 : 209 -- 236 , 2007 . M. Fr\u00e4nzle, C. Herde, S. Ratschan, T. Schubert, and T. Teige. Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. JSAT---Journal on Satisfiability, Boolean Modeling and Computation, Special Issue on SAT\/CP Integration, 1:209--236, 2007.","journal-title":"Special Issue on SAT\/CP Integration"},{"key":"e_1_3_2_1_14_1","first-page":"105","volume-title":"Formal Methods in Computer-Aided Design (FMCAD), 2013","author":"Gao S.","year":"2013","unstructured":"S. Gao , S. Kong , and E. M. Clarke . Satisfiability modulo odes . In Formal Methods in Computer-Aided Design (FMCAD), 2013 , pages 105 -- 112 , 2013 . S. Gao, S. Kong, and E. M. Clarke. Satisfiability modulo odes. In Formal Methods in Computer-Aided Design (FMCAD), 2013, pages 105--112, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032336"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2008.17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580266"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_3"},{"key":"e_1_3_2_1_20_1","volume-title":"SIAM publishers","author":"Meiss J. D.","year":"2007","unstructured":"J. D. Meiss . Differential Dynamical Systems . SIAM publishers , 2007 . J. D. Meiss. Differential Dynamical Systems. SIAM publishers, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_31"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_37"},{"key":"e_1_3_2_1_25_1","volume-title":"Perseus Books Group, 1 edition","author":"Strogatz S. H.","year":"1994","unstructured":"S. H. Strogatz . Nonlinear Dynamics And Chaos . Perseus Books Group, 1 edition , 1994 . S. H. Strogatz. Nonlinear Dynamics And Chaos. Perseus Books Group, 1 edition, 1994."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","volume-title":"An introduction to hybrid dynamical systems","author":"van der Schaft A. J.","year":"2000","unstructured":"A. J. van der Schaft and J. M. Schumacher . An introduction to hybrid dynamical systems , volume 251 . Springer London , 2000 . A. J. van der Schaft and J. M. Schumacher. An introduction to hybrid dynamical systems, volume 251. Springer London, 2000."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760488"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","location":"New Delhi India","acronym":"ESWEEK'14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":26,"alternative-id":["10.1145\/2656045.2656061","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656061","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}