{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:40:09Z","timestamp":1750203609805,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:00:00Z","timestamp":1558915200000},"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":[[2019,5,27]]},"DOI":"10.1145\/3323439.3323980","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:10:25Z","timestamp":1558008625000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics"],"prefix":"10.1145","author":[{"given":"Viktorio S.","family":"el Hakim","sequence":"first","affiliation":[{"name":"Computer Architectures for Embedded Systems, University of Twente Enschede, The Netherlands"}]},{"given":"Marco J. G.","family":"Bekooij","sequence":"additional","affiliation":[{"name":"Algorithms and Software Innovation, NXP Semiconductors, Eindhoven, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2019,5,27]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1016\/j.ifacol.2015.11.200"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/j.ifacol.2017.08.745"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/3049797.3049808"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/235815.235821"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.3182\/20080706-5-KR-1001.01513"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/3178126.3178128"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/63494"},{"volume-title":"Simulation Based Verification of Linear Systems. In International Conference on Computer Aided Verification. Springer, 477--494","author":"Duggirala P.S.","unstructured":"P.S. Duggirala and M. Viswanathan . 2016. Parsimonious , Simulation Based Verification of Linear Systems. In International Conference on Computer Aided Verification. Springer, 477--494 . P.S. Duggirala and M. Viswanathan. 2016. Parsimonious, Simulation Based Verification of Linear Systems. In International Conference on Computer Aided Verification. Springer, 477--494.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/DSD.2018.00062"},{"unstructured":"J.A. Ferrez K. Fukuda and T.M. Liebling. 2001. Cuts Zonotopes and Arrangements. The sharpest Cut. SIAM Series on Optimization (2001).  J.A. Ferrez K. Fukuda and T.M. Liebling. 2001. Cuts Zonotopes and Arrangements. The sharpest Cut. SIAM Series on Optimization (2001).","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.5555\/2032305.2032335"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/2461328.2461361"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-540-31954-2_19"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/978-3-540-78929-1_16"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/11730637_21"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/2228360.2228484"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/j.nahs.2009.03.002"},{"unstructured":"J. Lygeros. 2004. Lecture notes on hybrid systems. In Notes for an ENSIETA workshop.  J. Lygeros. 2004. Lecture notes on hybrid systems. In Notes for an ENSIETA workshop.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","volume-title":"IFAC Proceedings Volumes 43","author":"Maschuw J.P.","year":"2010","unstructured":"J.P. Maschuw and D. Abel . 2010. Longitudinal Vehicle Guidance in Networks with changing Communication Topology . IFAC Proceedings Volumes 43 , 7 ( 2010 ), 785--790. J.P. Maschuw and D. Abel. 2010. Longitudinal Vehicle Guidance in Networks with changing Communication Topology. IFAC Proceedings Volumes 43, 7 (2010), 785--790."},{"key":"e_1_3_2_1_21_1","volume-title":"IFAC Proceedings Volumes 41","author":"Maschuw J.P.","year":"2008","unstructured":"J.P. Maschuw , G.C. Ke\u00dfler , and D. Abel . 2008. LMI-based control of vehicle platoons for robust longitudinal guidance . IFAC Proceedings Volumes 41 , 2 ( 2008 ), 12111--12116. J.P. Maschuw, G.C. Ke\u00dfler, and D. Abel. 2008. LMI-based control of vehicle platoons for robust longitudinal guidance. IFAC Proceedings Volumes 41, 2 (2008), 12111--12116."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-319-57288-8_20"},{"key":"e_1_3_2_1_23_1","volume-title":"Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 287--302","author":"Schupp S.","year":"2018","unstructured":"S. Schupp and E. \u00c1brah\u00e1m . 2018 . Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 287--302 . S. Schupp and E. \u00c1brah\u00e1m. 2018. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 287--302."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17)","volume":"250","author":"Schupp S.","unstructured":"S. Schupp , J. Nellen , and E. Abraham . 2017. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis . In Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17) (EPTCS), Vol. 250 . Open Publishing Association, 1--14. S. Schupp, J. Nellen, and E. Abraham. 2017. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. In Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17) (EPTCS), Vol. 250. Open Publishing Association, 1--14."},{"volume-title":"Context-Dependent Reachability Analysis for Hybrid Systems. In 2018 IEEE International Conference on Information Reuse and Integration (IRI). IEEE, 518--525","author":"Schupp S.","unstructured":"S. Schupp , J. Winkens , and E. Abraham . 2018 . Context-Dependent Reachability Analysis for Hybrid Systems. In 2018 IEEE International Conference on Information Reuse and Integration (IRI). IEEE, 518--525 . S. Schupp, J. Winkens, and E. Abraham. 2018. Context-Dependent Reachability Analysis for Hybrid Systems. In 2018 IEEE International Conference on Information Reuse and Integration (IRI). IEEE, 518--525.","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/s10766-008-0082-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1109\/CDCIEM.2012.157"}],"event":{"sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems"],"acronym":"SCOPES '19","name":"SCOPES '19: 22nd International Workshop on Software and Compilers for Embedded Systems","location":"Sankt Goar Germany"},"container-title":["Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3323439.3323980","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3323439.3323980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:17Z","timestamp":1750202597000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3323439.3323980"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,27]]},"references-count":26,"alternative-id":["10.1145\/3323439.3323980","10.1145\/3323439"],"URL":"https:\/\/doi.org\/10.1145\/3323439.3323980","relation":{},"subject":[],"published":{"date-parts":[[2019,5,27]]},"assertion":[{"value":"2019-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}