{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:27:45Z","timestamp":1778498865376,"version":"3.51.4"},"reference-count":81,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T00:00:00Z","timestamp":1550534400000},"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":["ACM SIGLOG News"],"published-print":{"date-parts":[[2019,2,19]]},"abstract":"<jats:p>Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with automata capturing switching behavior. Since the introduction of the computational model more than a quarter of a century ago [Maler et al. 1992], its algorithmic verification has been an area of intense research. Within this note, which is dedicated to Oded Maler (1957--2018) as one of the inventors of the model, we are trying to delineate major lines of attack to the reachability problem for hybrid automata. Due to its relation to system safety, the reachability problem is a prototypical verification problem for hybrid discrete-continuous system dynamics.<\/jats:p>","DOI":"10.1145\/3313909.3313913","type":"journal-article","created":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T09:06:12Z","timestamp":1585991172000},"page":"19-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["In memory of Oded Maler"],"prefix":"10.1145","volume":"6","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[{"name":"CAS &amp; UCAS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Kr\u00f6ger","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,19]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.04.010"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"e_1_2_1_3_1","volume-title":"5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018","author":"Althoff Matthias","year":"2018"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"e_1_2_1_5_1","volume-title":"Lecture Notes in Computer Science","volume":"736","author":"Alur Rajeev","year":"1993"},{"key":"e_1_2_1_6_1","volume-title":"17th International Colloquium, ICALP90","author":"Alur Rajeev","year":"1990"},{"key":"e_1_2_1_7_1","volume-title":"4th International Workshop, HSCC 2001, Rome, Italy, March 28--30, 2001, Proceedings. Springer Berlin Heidelberg","author":"Anai Hirokazu","year":"2001"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/871816.871847"},{"key":"e_1_2_1_9_1","volume-title":"6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3--5, 2003, Proceedings (Lecture Notes in Computer Science), Oded Maler and Amir Pnueli (Eds.)","volume":"2623","author":"Asarin Eugene","year":"2003"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.022"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1006"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Alberto Bemporad and Manfred Morari. 1999. Verification of hybrid systems via mathematical programming (Lecture Notes in Computer Science) Frits W. Vaandrager and Jan H. van Schuppen (Eds.) Vol. 1569. Springer 31--45.   Alberto Bemporad and Manfred Morari. 1999. Verification of hybrid systems via mathematical programming (Lecture Notes in Computer Science) Frits W. Vaandrager and Jan H. van Schuppen (Eds.) Vol. 1569. Springer 31--45.","DOI":"10.1007\/3-540-48983-5_7"},{"key":"e_1_2_1_15_1","volume-title":"Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99","author":"Biere Armin","year":"1999"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"e_1_2_1_17_1","volume-title":"FMCAD 2014","author":"Chen Xin","year":"2014"},{"key":"e_1_2_1_18_1","volume-title":"1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014","volume":"34","author":"Chen Xin","year":"2015"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701462"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_10"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755956"},{"key":"e_1_2_1_22_1","volume-title":"10th International Workshop, HSCC 2007, Pisa, Italy, April 3--5, 2007, Proceedings (Lecture Notes in Computer Science), Alberto Bemporad, Antonio Bicchi, and Giorgio C. Buttazzo (Eds.)","volume":"4416","author":"Donz\u00e9 Alexandre","year":"2007"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555780"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_14"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0295-3"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_13"},{"key":"e_1_2_1_27_1","volume-title":"Computer Science Logic: 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, September 20--25","author":"Fr\u00e4nzle Martin","year":"1999"},{"key":"e_1_2_1_28_1","volume-title":"45th International Colloquium on Automata, Languages, and Programming, ICALP 2018","author":"Fr\u00e4nzle Martin","year":"2018"},{"key":"e_1_2_1_29_1","volume-title":"CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings (Lecture Notes in Computer Science), Ganesh Gopalakrishnan and Shaz Qadeer (Eds.)","volume":"6806","author":"Frehse Goran","year":"2011"},{"key":"e_1_2_1_30_1","volume-title":"ATVA 2015, Shanghai, China, October 12--15, 2015, Proceedings. Springer International Publishing, Cham, 482--499","author":"Gan Ting","year":"2015"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810321"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2763785"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"e_1_2_1_34_1","volume-title":"FMCAD 2013","author":"Gao Sicun","year":"2013"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562113"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"e_1_2_1_39_1","volume-title":"Computer Aided Verification - 30th International Conference, CAV","author":"Goubault Eric","year":"2018"},{"key":"e_1_2_1_40_1","volume-title":"Compass '95: 10th Annual Conference on Computer Assurance. National Institute of Standards and Technology","author":"Groote Jan F."},{"key":"e_1_2_1_41_1","volume-title":"Oded Maler (Ed.)","volume":"1201","author":"Gupta Vineet","year":"1997"},{"key":"e_1_2_1_42_1","unstructured":"Godfrey H. Hardy Edward M. Wright and E.W. Wright. 1979. An Introduction to the Theory of Numbers. Clarendon Press.  Godfrey H. Hardy Edward M. Wright and E.W. Wright. 1979. An Introduction to the Theory of Numbers. Clarendon Press."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185551"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"e_1_2_1_47_1","volume-title":"10th International Workshop, HSCC 2007, Pisa, Italy, April 3--5, 2007, Proceedings (Lecture Notes in Computer Science), Alberto Bemporad, Antonio Bicchi, and Giorgio C. Buttazzo (Eds.)","volume":"4416","author":"Julius A. Agung"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC","author":"Kapur Deepak","year":"2017"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"e_1_2_1_50_1","volume-title":"Hybrid Systems: Computation and Control, Frits W","author":"Lafferriere Gerardo"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/827267.828919"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.021"},{"key":"e_1_2_1_54_1","volume-title":"FORMATS 2018, Beijing, China, September 4--6, 2018, Proceedings (Lecture Notes in Computer Science), David N. Jansen and Pavithra Prabhakar (Eds.)","volume":"11022","author":"Li Meilun","year":"2018"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038659"},{"key":"e_1_2_1_56_1","volume-title":"Real-Time: Theory in Practice, REX Workshop","author":"Maler Oded","year":"1991"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(92)90051-P"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1137\/050638448"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_13"},{"key":"e_1_2_1_61_1","volume-title":"10th International Workshop, HSCC 2007, Pisa, Italy, April 3--5, 2007, Proceedings (Lecture Notes in Computer Science), Alberto Bemporad, Antonio Bicchi, and Giorgio C. Buttazzo (Eds.)","volume":"4416","author":"Platzer Andr\u00e9"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.11.018"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"e_1_2_1_64_1","volume-title":"Anders P. Ravn and Hans Rischel (Eds.)","volume":"1486","author":"Puri Anuj","year":"1998"},{"key":"e_1_2_1_65_1","volume-title":"Hybrid Systems III","author":"Puri Anuj"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005098"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0196-2"},{"key":"e_1_2_1_70_1","volume-title":"FORMATS 2017, Berlin, Germany, September 5--7, 2017, Proceedings (Lecture Notes in Computer Science), Alessandro Abate and Gilles Geeraerts (Eds.)","volume":"10419","author":"Ratschan Stefan","year":"2017"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_37"},{"key":"e_1_2_1_72_1","volume-title":"5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS","author":"Ren Hao","year":"2015"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.002"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967723"},{"key":"e_1_2_1_75_1","volume-title":"7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004, Proceedings (Lecture Notes in Computer Science), Rajeev Alur and George J. Pappas (Eds.)","volume":"2993","author":"Sankaranarayanan Sriram","year":"2004"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2005.09.077"},{"key":"e_1_2_1_77_1","doi-asserted-by":"crossref","unstructured":"Alfred Tarski. 1951. A Decision Method for Elementary Algebra and Geometry. University of California Press Berkeley.  Alfred Tarski. 1951. A Decision Method for Elementary Algebra and Geometry. University of California Press Berkeley.","DOI":"10.1525\/9780520348097"},{"key":"e_1_2_1_78_1","unstructured":"Thomas Wilke. 1994. Automaten und Logiken zur Beschreibung zeitabh\u00e4ngiger Systeme. Ph.D. Dissertation. University of Kiel Germany.  Thomas Wilke. 1994. Automaten und Logiken zur Beschreibung zeitabh\u00e4ngiger Systeme. Ph.D. Dissertation. University of Kiel Germany."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1080\/03081079.2012.757604"},{"key":"e_1_2_1_80_1","unstructured":"Bai Xue. 2013. Computing Rigor Quadratic Lyapunov Functions and Under-approximate Reachable Sets for Ordinary Differential Equations. Ph.D. Dissertation. Beihang University.  Bai Xue. 2013. Computing Rigor Quadratic Lyapunov Functions and Under-approximate Reachable Sets for Ordinary Differential Equations. Ph.D. Dissertation. Beihang University."},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"}],"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313909.3313913","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313909.3313913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:47Z","timestamp":1750202627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313909.3313913"}},"subtitle":["automatic reachability analysis of hybrid-state automata"],"short-title":[],"issued":{"date-parts":[[2019,2,19]]},"references-count":81,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2,19]]}},"alternative-id":["10.1145\/3313909.3313913"],"URL":"https:\/\/doi.org\/10.1145\/3313909.3313913","relation":{},"ISSN":["2372-3491"],"issn-type":[{"value":"2372-3491","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,19]]},"assertion":[{"value":"2019-02-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}