{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:41:51Z","timestamp":1777459311634,"version":"3.51.4"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T00:00:00Z","timestamp":1501545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"French Government Defense Procurement and Technology Agency (DGA)"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/tac.2017.2685241","type":"journal-article","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T01:53:20Z","timestamp":1490147600000},"page":"4236-4242","source":"Crossref","is-referenced-by-count":11,"title":["An Interval Approach to Compute Invariant Sets"],"prefix":"10.1109","volume":"62","author":[{"given":"Thomas","family":"Le Mezo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Jaulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Zerr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"ref30","author":"spivak","year":"1965","journal-title":"Calculus on Manifolds A Modern Approach to Classical Theorems of Advanced Calculus"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2013.2262776"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583327"},{"key":"ref35","author":"jaulin","year":"2001","journal-title":"Applied Interval Analysis with Examples in Parameter and State Estimation Robust Control and Robotics"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.11.004"},{"key":"ref10","author":"slotine","year":"1991","journal-title":"Applied nonlinear control"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_45"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0764-4442(99)80439-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/100819011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"ref14","author":"berz","year":"1996","journal-title":"Computational Differentiation Techniques Applications and Tools"},{"key":"ref15","first-page":"9","article-title":"Cr-Lohner algorithm","volume":"20","author":"wilczak","year":"2011","journal-title":"Schedae Informaticae"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"ref17","first-page":"56","article-title":"Validated explicit and implicit Runge-Kutta methods","volume":"22","author":"dit sandretto","year":"2016","journal-title":"Reliable Comput"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.033"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039472"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2352692"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-8089-3_11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.535215"},{"key":"ref6","article-title":"Robust control design with guaranteed state ultimate bound","author":"kofman","year":"2007","journal-title":"Proc 3rd Int Conf Integr Model Anal Appl Control Autom"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49481-2_13"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/TAC.2005.843854","article-title":"Invariant approximations of the minimal robust positively invariant set","volume":"50","author":"rakovic","year":"2005","journal-title":"IEEE Trans Automat Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-008-9334-6"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/TAC.2005.843854","article-title":"Invariant approximations of the minimal robustly positively invariant set","volume":"50","author":"rakovic","year":"2005","journal-title":"IEEE Trans Automat Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353861"},{"key":"ref9","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref1","author":"blanchini","year":"2007","journal-title":"Set-Theoretic Methods in Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/acs.1195"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562113"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BF01204182"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2217794"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-007-9042-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/090749955"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364907076790"},{"key":"ref43","first-page":"261","article-title":"Outer approximation of attractors using an interval quantization","volume":"19","author":"jaulin","year":"2014","journal-title":"Reliable Comput"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01695169"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7993115\/07883895.pdf?arnumber=7883895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:04:10Z","timestamp":1642003450000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7883895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":45,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2017.2685241","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8]]}}}