{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:39:28Z","timestamp":1768005568581,"version":"3.49.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160872","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"6814-6821","source":"Crossref","is-referenced-by-count":94,"title":["Zonotope bundles for the efficient computation of reachable sets"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"17","first-page":"202","article-title":"Ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control LNCS 1790"},{"key":"18","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"2008","journal-title":"Proc of the 17th IFAC World Congress"},{"key":"15","first-page":"8972","article-title":"Reachability analysis of uncertain nonlinear systems using guaranteed set integration","author":"ramdani","year":"2008","journal-title":"Proc of the 17th IFAC World Congress"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6282-8_13"},{"key":"13","first-page":"482","article-title":"Efficient representation and computation of reachable sets for hybrid systems","author":"stursberg","year":"2003","journal-title":"Hybrid Systems Computation and Control LNCS 2623"},{"key":"14","first-page":"11","article-title":"Accurate hybridization of nonlinear systems","author":"dang","year":"2010","journal-title":"Hybrid Systems Computation and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control LNCS 3414"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05148-1_2"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.08.007"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"24","author":"althoff","year":"2010","journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars"},{"key":"25","author":"kvasnica","year":"2004","journal-title":"Multi-Parametric Toolbox (MPT)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"29","article-title":"Cooperative intersection collision avoidance system for violations (CICAS-V) for avoidance of violation-based intersection crashes","author":"maile","year":"2009","journal-title":"National Highway Traffic Safety Administration Tech Rep 09-0118"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430242"},{"key":"2","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-36577-X_14","author":"clarke","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser LNCS 2619"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099781"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"7","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","author":"frehse","year":"2005","journal-title":"Hybrid Systems Computation and Control Ser LNCS 3413"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/9.664156"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/87.736743"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271935"},{"key":"31","author":"rajamani","year":"2006","journal-title":"Vehicle Dynamics and Control"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1099928"},{"key":"9","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11730637_21","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control Ser LNCS 3927"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","location":"Orlando, FL, USA","start":{"date-parts":[[2011,12,12]]},"end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160872.pdf?arnumber=6160872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:20:32Z","timestamp":1497972032000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160872\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160872","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}