{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:04:24Z","timestamp":1762560264050,"version":"3.37.3"},"reference-count":72,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/tac.2015.2491740","type":"journal-article","created":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T14:37:50Z","timestamp":1445006270000},"page":"2341-2356","source":"Crossref","is-referenced-by-count":31,"title":["A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems"],"prefix":"10.1109","volume":"61","author":[{"given":"Moussa","family":"Maiga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nacim","family":"Ramdani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trave-Massuye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Combastel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1038\/35002125"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"journal-title":"Handbook of Global Optimization D C Optimization Theory Methods and Algorithms (pp 149–216)","year":"1995","author":"tuy","key":"ref70"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039612"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_14"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161050"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_8"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2004.01.009"},{"key":"ref62","article-title":"Zonotopes as bounding volumes","author":"guibas","year":"0","journal-title":"Proc ACM-SIAM Symp Discrete Algorithms"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"ref61"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_35"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2005.12.016"},{"key":"ref64","first-page":"234","article-title":"Nonlinear hybrid reachability using set integration and zonotope enclosures","author":"ma\u00efga","year":"0","journal-title":"Proc European Control Conf (ECC)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_13"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.12.008"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_27"},{"key":"ref67","first-page":"3318","article-title":"A state bounding algorithm for linear systems with bounded input and bounded slew-rate","author":"lalami","year":"0","journal-title":"Proc European Control Conf (ECC)"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"ref69","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8431-1","author":"ziegler","year":"1995","journal-title":"Lectures on Polytopes"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2191174"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.594093"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_19"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/BF00991005"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.2000.1127"},{"journal-title":"Applied Interval Analysis with Examples in Parameter and State Estimation Robust Control and Robotics","year":"2001","author":"jaulin","key":"ref57"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6759932"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5640"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.3182\/20120606-3-NL-3011.00053"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2009.2015280"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.014"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024794"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2005.01.009"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.03.002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185634"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758644"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.664155"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.07.008"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/232807.232809"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2010.02.001"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0295-3"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/103147.103149"},{"key":"ref47","first-page":"189","article-title":"A robust procedure for discontinuity handling in continuous system simulation","volume":"2","author":"birta","year":"1985","journal-title":"Trans Soc Comput Simul Int"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210276"},{"key":"ref41","first-page":"355","article-title":"Interval methods for simulation of dynamical systems with state-dependent switching characteristics","author":"rauh","year":"0","journal-title":"IEEE CCA\/CACSD\/ISIC 2006"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_14"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_18"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7553586\/07299615.pdf?arnumber=7299615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:45:07Z","timestamp":1641987907000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7299615\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":72,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2491740","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}