{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:25Z","timestamp":1750307605599,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,12]],"date-time":"2010-04-12T00:00:00Z","timestamp":1271030400000},"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":[[2010,4,12]]},"DOI":"10.1145\/1755952.1755960","type":"proceedings-article","created":{"date-parts":[[2010,4,12]],"date-time":"2010-04-12T18:13:40Z","timestamp":1271096020000},"page":"41-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["From synchronous programs to symbolic representations of hybrid systems"],"prefix":"10.1145","author":[{"given":"Kerstin","family":"Bauer","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2010,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646874.709849"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control (HSCC)","author":"Alur R.","year":"2000","unstructured":"R. Alur , R. Grosu , Y. Hur , V. Kumar , and I. Lee . Modular specification of hybrid systems in Charon . In Hybrid Systems: Computation and Control (HSCC) , volume 1790 of LNCS , pages 6 -- 19 , Pittsburgh, PA , USA, 2000 . Springer . R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in Charon. In Hybrid Systems: Computation and Control (HSCC), volume 1790 of LNCS, pages 6--19, Pittsburgh, PA, USA, 2000. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.703860"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"volume-title":"Workshop on Synchronous Languages, Applications, and Programming (SLAP).","author":"Baldamus M.","key":"e_1_3_2_1_6_1","unstructured":"M. Baldamus and T. Stauner . Modifying Esterel concepts to model hybrid systems. Electronic Notes in Theoretical Computer Science (ENTCS), 65(5), 2002 . Workshop on Synchronous Languages, Applications, and Programming (SLAP). M. Baldamus and T. Stauner. Modifying Esterel concepts to model hybrid systems. Electronic Notes in Theoretical Computer Science (ENTCS), 65(5), 2002. Workshop on Synchronous Languages, Applications, and Programming (SLAP)."},{"key":"e_1_3_2_1_7_1","first-page":"56","volume-title":"Foundations of Computer Science (FOCS)","author":"Basu S.","year":"1997","unstructured":"S. Basu . An improved algorithm for quantifier elimination over real closed fields . In Foundations of Computer Science (FOCS) , pages 56 -- 65 , Washington, DC , USA, 1997 . IEEE Computer Society . S. Basu. An improved algorithm for quantifier elimination over real closed fields. In Foundations of Computer Science (FOCS), pages 56--65, Washington, DC, USA, 1997. IEEE Computer Society."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_10_1","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"Berry G.","year":"1998","unstructured":"G. Berry . The foundations of Esterel . In Proof, Language and Interaction: Essays in Honour of Robin Milner . MIT Press , 1998 . G. Berry. The foundations of Esterel. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998."},{"key":"e_1_3_2_1_11_1","unstructured":"G. Berry. The constructive semantics of pure Esterel. http:\/\/www-sop.inria.fr\/esterel.org July 1999.  G. Berry. The constructive semantics of pure Esterel. http:\/\/www-sop.inria.fr\/esterel.org July 1999."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"G. Berry. The Esterel v5 language primer. http:\/\/www-sop.inria.fr\/esterel.org July 2000.  G. Berry. The Esterel v5 language primer. http:\/\/www-sop.inria.fr\/esterel.org July 2000.","DOI":"10.1016\/S0167-6423(99)00015-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1990.130210"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"Hybrid Systems: Computation and Control (HSCC)","author":"Bornot S.","year":"1998","unstructured":"S. Bornot and J. Sifakis . On the composition of hybrid systems . In Hybrid Systems: Computation and Control (HSCC) , volume 1386 of LNCS , pages 49 -- 63 , Berkeley, California, USA , 1998 . Springer . S. Bornot and J. Sifakis. On the composition of hybrid systems. In Hybrid Systems: Computation and Control (HSCC), volume 1386 of LNCS, pages 49--63, Berkeley, California, USA, 1998. Springer."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2999"},{"key":"e_1_3_2_1_17_1","first-page":"1","volume-title":"Logic in Computer Science (LICS)","author":"Burch J.","year":"1990","unstructured":"J. Burch , E. Clarke , K. McMillan , D. Dill , and L. Hwang . Symbolic model checking: 10^20 states and beyond . In Logic in Computer Science (LICS) , pages 1 -- 33 , Washington, DC , USA, 1990 . IEEE Computer Society . J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 10^20 states and beyond. In Logic in Computer Science (LICS), pages 1--33, Washington, DC, USA, 1990. IEEE Computer Society."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.007"},{"key":"e_1_3_2_1_19_1","volume-title":"Modeling techniques, programming languages, and design toolsets for hybrid systems","author":"Carloni L.","year":"2004","unstructured":"L. Carloni , M. Di Benedetto , R. Passerone , A. Pinto , and A. Sangiovanni-Vincentelli . Modeling techniques, programming languages, and design toolsets for hybrid systems , 2004 . Report on the Columbus Project , http:\/\/www.columbus.gr. L. Carloni, M. Di Benedetto, R. Passerone, A. Pinto, and A. Sangiovanni-Vincentelli. Modeling techniques, programming languages, and design toolsets for hybrid systems, 2004. Report on the Columbus Project, http:\/\/www.columbus.gr."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647770.734253"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"134","volume-title":"Automata Theory and Formal Languages","author":"Collins G.","year":"1975","unstructured":"G. Collins . Quantifier elimination for real closed fields by cylindrical algebraic decomposition . In H. Barkhage, editor, Automata Theory and Formal Languages , volume 33 of LNCS , pages 134 -- 183 , Kaiserslautern, Germany , 1975 . Springer . G. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In H. Barkhage, editor, Automata Theory and Formal Languages, volume 33 of LNCS, pages 134--183, Kaiserslautern, Germany, 1975. Springer."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779046.1779078"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_22"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664163"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"M.\n      Fr\u00e4nzle\n    .\n  What will be eventually true of polynomial hybrid automata? In Theoretical Aspects of Computer Software (TACS) volume \n  2215\n   of \n  LNCS pages \n  340\n  --\n  359 Sendai Japan 2001\n  . \n  Springer\n  .   M. Fr\u00e4nzle. What will be eventually true of polynomial hybrid automata? In Theoretical Aspects of Computer Software (TACS) volume 2215 of LNCS pages 340--359 Sendai Japan 2001. Springer.","DOI":"10.1007\/3-540-45500-0_17"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control (HSCC)","author":"Ghosh R.","year":"2003","unstructured":"R. Ghosh , A. Tiwari , and C. Tomlin . Automated symbolic reachability analysis with application to delta-notch signaling automata . In Hybrid Systems: Computation and Control (HSCC) , volume 2623 of LNCS , pages 233 -- 248 , Prague, Czech Republic , 2003 . Springer . R. Ghosh, A. Tiwari, and C. Tomlin. Automated symbolic reachability analysis with application to delta-notch signaling automata. In Hybrid Systems: Computation and Control (HSCC), volume 2623 of LNCS, pages 233--248, Prague, Czech Republic, 2003. Springer."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"Henzinger T.","year":"2000","unstructured":"T. Henzinger . Masaccio: A formal model for embedded components . In Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics , volume 1872 of LNCS , pages 549 -- 563 , Sendai, Japan , 2000 . Springer . T. Henzinger. Masaccio: A formal model for embedded components. In Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, volume 1872 of LNCS, pages 549--563, Sendai, Japan, 2000. Springer."},{"key":"e_1_3_2_1_35_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-45657-0_4","volume-title":"Computer Aided Verification (CAV)","author":"Henzinger T.","year":"2002","unstructured":"T. Henzinger . The symbolic approach to hybrid systems . In Computer Aided Verification (CAV) , volume 2404 of LNCS , page 57 , Copenhagen, Denmark , 2002 . Springer . T. Henzinger. The symbolic approach to hybrid systems. In Computer Aided Verification (CAV), volume 2404 of LNCS, page 57, Copenhagen, Denmark, 2002. Springer."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/646479.693768"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"e_1_3_2_1_38_1","series-title":"LNCS","first-page":"142","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Henzinger T.","year":"2000","unstructured":"T. Henzinger and R. Majumdar . Symbolic model checking for rectangular hybrid systems . In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , volume 1785 of LNCS , pages 142 -- 156 , Berlin, Germany , 2000 . Springer . T. Henzinger and R. Majumdar. Symbolic model checking for rectangular hybrid systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1785 of LNCS, pages 142--156, Berlin, Germany, 2000. Springer."},{"key":"e_1_3_2_1_39_1","first-page":"1679","volume-title":"American Control Conference","author":"Izaias Silva B.","year":"2000","unstructured":"B. Izaias Silva and B. Krogh . Formal verification of hybrid systems using CheckMate: A case study . In American Control Conference , pages 1679 -- 1683 , Chicago, Illinois , 2000 . IEEE Computer Society. B. Izaias Silva and B. Krogh. Formal verification of hybrid systems using CheckMate: A case study. In American Control Conference, pages 1679--1683, Chicago, Illinois, 2000. IEEE Computer Society."},{"key":"e_1_3_2_1_40_1","series-title":"LNCS","first-page":"137","volume-title":"J. v","author":"Lafferriere G.","year":"1999","unstructured":"G. Lafferriere , J. Pappas , and S. Yovine . A new class of decidable hybrid systems . In J. v . F.W. Vaandrager, editor, Hybrid Systems : Computation and Control (HSCC), volume 1569 of LNCS , pages 137 -- 151 , Berg en Dal, The Netherlands, 1999 . Springer . G. Lafferriere, J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In J. v. F.W. Vaandrager, editor, Hybrid Systems: Computation and Control (HSCC), volume 1569 of LNCS, pages 137--151, Berg en Dal, The Netherlands, 1999. Springer."},{"key":"e_1_3_2_1_41_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-46430-1_26","volume-title":"Hybrid Systems: Computation and Control (HSCC)","author":"Miller J.","year":"2000","unstructured":"J. Miller . Decidability and complexity results for timed automata and semi-linear hybrid automata . In Hybrid Systems: Computation and Control (HSCC) , volume 1790 of LNCS , pages 296 -- 310 , Pittsburgh, PA , USA, 2000 . Springer . J. Miller. Decidability and complexity results for timed automata and semi-linear hybrid automata. In Hybrid Systems: Computation and Control (HSCC), volume 1790 of LNCS, pages 296--310, Pittsburgh, PA, USA, 2000. Springer."},{"key":"e_1_3_2_1_42_1","volume-title":"Modelica - a unified object-oriented language for physical systems modeling, language specification version 2.0","author":"Modelica Association","year":"2002","unstructured":"Modelica Association . Modelica - a unified object-oriented language for physical systems modeling, language specification version 2.0 , 2002 . http:\/\/www.Modelica.org. Modelica Association. Modelica - a unified object-oriented language for physical systems modeling, language specification version 2.0, 2002. http:\/\/www.Modelica.org."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.841071"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_37"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_37"},{"key":"e_1_3_2_1_47_1","volume-title":"Texts in Theoretical Computer Science (EATCS Series)","author":"Schneider K.","year":"2003","unstructured":"K. Schneider . Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series) . Springer , 2003 . K. Schneider. Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series). Springer, 2003."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1205169"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"}],"event":{"name":"HSCC '10: The 13th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Stockholm Sweden","acronym":"HSCC '10"},"container-title":["Proceedings of the 13th ACM international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755952.1755960","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755952.1755960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:34Z","timestamp":1750250734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755952.1755960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,12]]},"references-count":49,"alternative-id":["10.1145\/1755952.1755960","10.1145\/1755952"],"URL":"https:\/\/doi.org\/10.1145\/1755952.1755960","relation":{},"subject":[],"published":{"date-parts":[[2010,4,12]]},"assertion":[{"value":"2010-04-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}