{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:03:56Z","timestamp":1729620236943,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/itsc.2011.6083102","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T21:42:48Z","timestamp":1321911768000},"page":"1174-1180","source":"Crossref","is-referenced-by-count":0,"title":["Control of Hidden Mode Hybrid Systems: Algorithm termination"],"prefix":"10.1109","author":[{"given":"Rajeev","family":"Verma","sequence":"first","affiliation":[]},{"given":"Domitilla","family":"Del Vecchio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"804","article-title":"Provable systemwide safety in intelligent intersections","volume":"60","author":"caveney","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400532"},{"key":"ref12","article-title":"Optimized vehicle control\/communication interaction in an automated highway system","author":"hedrick","year":"2008","journal-title":"Report No VPI-2006–06"},{"article-title":"Automotive Control Systems, For Engine, Driveline, and Vehicle","year":"2005","author":"kiencke","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/10984413_12"},{"journal-title":"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics","year":"2009","author":"le guernic","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903370"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_39"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160759"},{"key":"ref3","first-page":"76","article-title":"Design of observers for hybrid systems. In In Hybrid Systems: Computation and Control","volume":"2289","author":"balluchi","year":"2002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1377"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_15"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.automatica.2005.10.006","article-title":"Discrete state estimators for systems on a lattice","volume":"42","author":"del vecchio","year":"2006","journal-title":"Automatica"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160025"},{"key":"ref2","article-title":"Viability Theory","author":"aubin","year":"1991","journal-title":"Birkhäuser"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"2085","DOI":"10.1016\/S0005-1098(03)00250-4","article-title":"Decomposition of human motion into dynamics-based primitives with application to drawing tasks","volume":"39","author":"del vecchio","year":"2003","journal-title":"Automatica"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399541"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2008.915820"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718205"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/11730637_14","article-title":"A lattice theory for solving games of imperfect information","volume":"3927","author":"de wulf","year":"2006","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"ref23","article-title":"Safety control of hidden mode hybrid systems","author":"verma","year":"2011","journal-title":"IEEE Transactions on Automatic Control"}],"event":{"name":"2011 14th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2011)","start":{"date-parts":[[2011,10,5]]},"location":"Washington, DC, USA","end":{"date-parts":[[2011,10,7]]}},"container-title":["2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6069628\/6082792\/06083102.pdf?arnumber=6083102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T10:07:00Z","timestamp":1497953220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6083102\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/itsc.2011.6083102","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}