{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:35:09Z","timestamp":1773246909275,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T00:00:00Z","timestamp":1302566400000},"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":[[2011,4,12]]},"DOI":"10.1145\/1967701.1967717","type":"proceedings-article","created":{"date-parts":[[2011,4,19]],"date-time":"2011-04-19T12:45:23Z","timestamp":1303217123000},"page":"93-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":66,"title":["Reachable set computation for uncertain time-varying linear systems"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]},{"given":"Colas","family":"Le Guernic","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,4,12]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980715"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.10.148-162"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"T.\n      Henzinger\n    .\n  The theory of hybrid automata volume \n  170\n   of \n  NATO ASI Series F: Computer and Systems Sciences pages \n  265\n  --\n  292\n  . \n  Springer 2000\n  .  T. Henzinger. The theory of hybrid automata volume 170 of NATO ASI Series F: Computer and Systems Sciences pages 265--292. Springer 2000.","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664156"},{"key":"e_1_3_2_1_15_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_16_1","volume-title":"Applied Interval Analysis","author":"Jaulin L.","year":"2006","unstructured":"L. Jaulin , M. Kieffer , and O. Didrit . Applied Interval Analysis . Springer , 2006 . L. Jaulin, M. Kieffer, and O. Didrit. Applied Interval Analysis. Springer, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/002071700411304"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-7091-6282-8_13","volume-title":"Perspectives on Enclosure Methods","author":"Nedialkov N. S.","year":"2001","unstructured":"N. S. Nedialkov and K. R. Jackson . Perspectives on Enclosure Methods , chapter A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations, pages 219 -- 264 . Springer-Verlag , 2001 . N. S. Nedialkov and K. R. Jackson. Perspectives on Enclosure Methods, chapter A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations, pages 219--264. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01515"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_30"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.10.002"},{"key":"e_1_3_2_1_25_1","volume-title":"Linear System Theory","author":"Rugh W. J.","year":"1996","unstructured":"W. J. Rugh . Linear System Theory . Prentice Hall , 1996 . W. J. Rugh. Linear System Theory. Prentice Hall, 1996."},{"key":"e_1_3_2_1_26_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."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"}],"event":{"name":"HSCC '11: Hybrid Systems: Computation and Control","location":"Chicago IL USA","acronym":"HSCC '11","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE"]},"container-title":["Proceedings of the 14th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967701.1967717","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1967701.1967717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:30Z","timestamp":1750243950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967701.1967717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,12]]},"references-count":25,"alternative-id":["10.1145\/1967701.1967717","10.1145\/1967701"],"URL":"https:\/\/doi.org\/10.1145\/1967701.1967717","relation":{},"subject":[],"published":{"date-parts":[[2011,4,12]]},"assertion":[{"value":"2011-04-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}