{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:13:46Z","timestamp":1758122026915},"reference-count":33,"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.orgieee.org"],"crossmark-restriction":true},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/tac.2011.2142570","type":"journal-article","created":{"date-parts":[[2011,4,15]],"date-time":"2011-04-15T23:55:37Z","timestamp":1302911737000},"page":"3-18","update-policy":"http:\/\/dx.doi.org\/10.1109\/crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Positive Invariance of Constrained Affine Dynamics and Its Applications to Hybrid Systems and Safety Verification"],"prefix":"10.1109","volume":"57","author":[{"family":"Jinglai Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428673"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"553","DOI":"10.23919\/ACC.2004.1383661","article-title":"Geometric programming relaxations for linear system reachability","author":"yazarel","year":"2004","journal-title":"Proc 2004 Amer Control Conf"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4067-7","author":"wiggins","year":"1990","journal-title":"Introduction to Applied Nonlinear Dynamical Systems and Chaos"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363587"},{"key":"ref11","author":"facchinei","year":"2003","journal-title":"Finite-Dimensional Variational Inequalities and Complementarity Problems"},{"key":"ref12","first-page":"99","author":"fan","year":"1956","journal-title":"Linear Inequalities and Related Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582235"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(02)00445-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2010-4111"},{"key":"ref17","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428624"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282333"},{"key":"ref3","author":"aubin","year":"1991","journal-title":"Viability Theory"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_40"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/050645166"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"ref2","author":"anderson","year":"1987","journal-title":"Linear Programming in Infinite-Dimensional Spaces"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.262058"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434569"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume":"1569","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.890477"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1979.1102098"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1051\/cocv\/2009021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.02.016"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6111555\/05750037.pdf?arnumber=5750037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:04Z","timestamp":1633909924000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5750037\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"URL":"https:\/\/doi.org\/10.1109\/tac.2011.2142570","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}