{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:15:04Z","timestamp":1725747304040},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/isic.2016.7579990","type":"proceedings-article","created":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T17:56:23Z","timestamp":1475776583000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["On enlarging backward reachable sets via Zonotopic set membership"],"prefix":"10.1109","author":[{"given":"Dongkun","family":"Han","sequence":"first","affiliation":[]},{"given":"Albert","family":"Rizaldi","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"El-Guindy","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.33.616"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2010.01.031"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0277-6"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref36","first-page":"502","article-title":"Multi-Parametric Toolbox 3.0","author":"herceg","year":"2013","journal-title":"Proceedings of the European Control Conference"},{"key":"ref35","article-title":"An introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S0959-1524(99)00056-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/10997703_2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400954"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_10"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026497115405"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"journal-title":"Methods of A M Lyapunov and their Application","year":"1964","author":"zubov","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2012.6377982"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272309"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810817"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912314"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586833"},{"article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","year":"2000","author":"parrilo","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040487"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.01.032"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.2011.0251"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185644"},{"article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","year":"2010","author":"althoff","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402368"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(94)00133-4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/9.256362"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.12.008"}],"event":{"name":"2016 IEEE International Symposium on Intelligent Control (ISIC)","start":{"date-parts":[[2016,9,19]]},"location":"Buenos Aires","end":{"date-parts":[[2016,9,22]]}},"container-title":["2016 IEEE International Symposium on Intelligent Control (ISIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7579453\/7579977\/07579990.pdf?arnumber=7579990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T02:51:56Z","timestamp":1580698316000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7579990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/isic.2016.7579990","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}