{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T21:30:28Z","timestamp":1791063028409,"version":"4.1.0"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":["ieeexplore.ieee.org\n                      ieee.org"],"crossmark-restriction":true},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/tac.2011.2150370","type":"journal-article","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T15:53:26Z","timestamp":1304956406000},"page":"62-77","update-policy":"https:\/\/doi.org\/10.1109\/crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Safety Control of Hidden Mode Hybrid Systems"],"prefix":"10.1109","volume":"57","author":[{"given":"R.","family":"Verma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Domitilla","family":"Del Vecchio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","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":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1049\/pe:19940105","article-title":"electric railway traction. i. electric traction and dc traction motor drives","volume":"8","author":"hill","year":"1994","journal-title":"Power Engineering Journal"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume":"1790","author":"henzinger","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref30","first-page":"41","volume":"1019","author":"henzinger","year":"1995","journal-title":"TACAS 95 Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/10984413_12"},{"key":"ref36","first-page":"196","author":"kuhn","year":"1953","journal-title":"Contributions to the Theory of Games"},{"key":"ref35","first-page":"29","article-title":"Modeling of human driving behavior based on piecewise linear model","volume":"46","author":"kim","year":"2005","journal-title":"Automatika"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90073-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400532"},{"key":"ref27","first-page":"903","article-title":"Solving two-person zero-sum repeated games of incomplete information","author":"gilpin","year":"2008","journal-title":"Proc 7th Int Conf Auton Agents Multiagent Syst"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-540-39983-4_9","article-title":"Interconnections of monotone systems with steady-state characteristics","volume":"301","author":"angeli","year":"2004","journal-title":"Optimal Control Stabilization Nonsmooth Anal Lecture Notes Control Inf Sci Springer"},{"key":"ref1","year":"0","journal-title":"U S DOT Joint Program Office ITS"},{"key":"ref20","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"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152656"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10339-007-0168-9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5649789"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282543"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/11730637_20","article-title":"The reachability problem for uncertain hybrid systems revisited: A viability theory perspective","author":"gao","year":"2006","journal-title":"Lecture Notes Comput Sci LNCS"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60472-3_1","volume":"999","author":"maler","year":"1995","journal-title":"Hybrid Systems II"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399541"},{"key":"ref54","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/11730637_14","volume":"3927","author":"de wulf","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184923"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2008.915820"},{"key":"ref10","author":"clarke","year":"1983","journal-title":"Optimization and Nonsmooth Analysis"},{"key":"ref11","first-page":"661","article-title":"The RoboFlag game","author":"d'andrea","year":"2003","journal-title":"Proc Amer Control Conf"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903370"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-540-71493-4_15","volume":"4416","author":"del vecchio","year":"2007","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2008.03.016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1377"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271662"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160025"},{"key":"ref18","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":"ref19","article-title":"Primitives for human motion: A dynamical approach","author":"del vecchio","year":"2002","journal-title":"Proc IFAC World Congr"},{"key":"ref4","author":"aubin","year":"1991","journal-title":"Viability Theory"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.911320"},{"key":"ref6","author":"aumann","year":"1995","journal-title":"Repeated Games With Incomplete Information"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.981719"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45873-5_9","volume":"2289","author":"balluchi","year":"2002","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.006"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377236"},{"key":"ref46","volume":"1790","author":"shakernia","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.2514\/1.40127"},{"key":"ref48","volume":"2034","author":"shakernia","year":"2001","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912129"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6050"},{"key":"ref41","author":"pachl","year":"2002","journal-title":"Railway Operation and Control"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.822860"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90034-5"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6111555\/05763761.pdf?arnumber=5763761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:53:43Z","timestamp":1641988423000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763761\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"URL":"https:\/\/doi.org\/10.1109\/tac.2011.2150370","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}