{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:31Z","timestamp":1763468071644,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T00:00:00Z","timestamp":1334620800000},"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":[[2012,4,17]]},"DOI":"10.1145\/2185632.2185643","type":"proceedings-article","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T12:53:22Z","timestamp":1334667202000},"page":"45-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Avoiding geometric intersection operations in reachability analysis of hybrid systems"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Technische Universit\u00e4t M\u00fcnchen, 2010","author":"Althoff M.","year":"2010","unstructured":"M. Althoff . Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars. Dissertation , Technische Universit\u00e4t M\u00fcnchen, 2010 . http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn:nbn:de:bvb:91-diss- 2010 0715--963752--1--4. M. Althoff. Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars. Dissertation, Technische Universit\u00e4t M\u00fcnchen, 2010. http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn:nbn:de:bvb:91-diss-20100715--963752--1--4."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160872"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(96)00023-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_7_1","first-page":"73","volume-title":"Hybrid Systems: Computation and Control, LNCS 1790","author":"Botchkarev O.","year":"2000","unstructured":"O. Botchkarev and S. Tripakis . Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations . In Hybrid Systems: Computation and Control, LNCS 1790 , pages 73 -- 88 . Springer , 2000 . O. Botchkarev and S. Tripakis. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In Hybrid Systems: Computation and Control, LNCS 1790, pages 73--88. Springer, 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-36577-X_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Clarke E.","year":"2003","unstructured":"E. Clarke , A. Fehnker , Z. Han , B. Krogh , O. Stursberg , and M. Theobald . Tools and Algorithms for the Construction and Analysis of Systems , chapter Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement, pages 192 -- 207 . LNCS 2619. Springer , 2003 . E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald. Tools and Algorithms for the Construction and Analysis of Systems, chapter Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement, pages 192--207. LNCS 2619. Springer, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779046.1779078"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.05.023"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646875.710007"},{"key":"e_1_3_2_1_18_1","first-page":"130","volume-title":"Hybrid Systems: Computation and Control, LNCS 1790","author":"Henzinger T. A.","year":"2000","unstructured":"T. A. Henzinger , B. Horowitz , R. Majumdar , and H. Wong-Toi . Beyond HyTech: Hybrid systems analysis using interval numerical methods . In Hybrid Systems: Computation and Control, LNCS 1790 , pages 130 -- 144 . Springer , 2000 . T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Hybrid Systems: Computation and Control, LNCS 1790, pages 130--144. Springer, 2000."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"e_1_3_2_1_21_1","first-page":"137","volume-title":"Hybrid Systems: Computation and Control, LNCS 1569","author":"Lafferriere G.","year":"1999","unstructured":"G. Lafferriere , G. J. Pappas , and S. Yovine . A new class of decidable hybrid systems . In Hybrid Systems: Computation and Control, LNCS 1569 , pages 137 -- 151 . Springer , 1999 . G. Lafferriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, LNCS 1569, pages 137--151. Springer, 1999."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024794"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00047-X"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430242"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1099928"},{"key":"e_1_3_2_1_30_1","first-page":"482","volume-title":"Hybrid Systems: Computation and Control, LNCS 2623","author":"Stursberg O.","year":"2003","unstructured":"O. Stursberg and B. H. Krogh . Efficient representation and computation of reachable sets for hybrid systems . In Hybrid Systems: Computation and Control, LNCS 2623 , pages 482 -- 497 . Springer , 2003 . O. Stursberg and B. H. Krogh. Efficient representation and computation of reachable sets for hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2623, pages 482--497. Springer, 2003."}],"event":{"name":"HSCC'12: Hybrid Systems: Computation and Control","sponsor":["IEEE","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Beijing China","acronym":"HSCC'12"},"container-title":["Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185643","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2185632.2185643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:45Z","timestamp":1750236525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,17]]},"references-count":28,"alternative-id":["10.1145\/2185632.2185643","10.1145\/2185632"],"URL":"https:\/\/doi.org\/10.1145\/2185632.2185643","relation":{},"subject":[],"published":{"date-parts":[[2012,4,17]]},"assertion":[{"value":"2012-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}