{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T04:39:55Z","timestamp":1780461595938,"version":"3.54.1"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"DGA AID Project \u201cValidation de drones et essaims de drones autonomes\u201d"},{"name":"Academic Chair \u201cComplex Systems Engineering\u201d of Ecole Polytechnique-ENSTA-Telecom-Thales-Dassault-DCNS-DGA-FX-FDO-Fondation ParisTech"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/lcsys.2020.2997261","type":"journal-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T23:19:25Z","timestamp":1590448765000},"page":"928-933","source":"Crossref","is-referenced-by-count":25,"title":["Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances"],"prefix":"10.1109","volume":"4","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"70","article-title":"Bracketing the solutions of an ordinary differential equation with uncertain initial conditions","volume":"318","author":"m\u00e9zo","year":"2018","journal-title":"Appl Math Comput"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989015"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2797194"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2923049"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00002"},{"key":"ref15","first-page":"59","article-title":"Under-approximate flowpipes for non-linear continuous systems","author":"chen","year":"2014","journal-title":"Proc Formal Methods in Computer Aided Design (FMCAD)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2977993"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-007-0240-4"},{"key":"ref19","first-page":"41","article-title":"ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics","volume":"61","author":"immler","year":"2019","journal-title":"Proc 6th Int Workshop Appl Verif Continuous Hybrid Syst (ARCH19)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"ref3","first-page":"184","article-title":"Modal intervals revisited, part 2: A generalized interval mean value extension","volume":"16","author":"goldsztejn","year":"2012","journal-title":"Rel Comput"},{"key":"ref6","first-page":"117","article-title":"General inner approximation of vector-valued functions","volume":"18","author":"mullier","year":"2013","journal-title":"Rel Comput"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311794"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_12"},{"key":"ref7","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"makino","year":"2003","journal-title":"Int J Pure Appl Math"},{"key":"ref2","first-page":"51","article-title":"Modal intervals revisited: A mean-value extension to generalized intervals","author":"goldsztejn","year":"2005","journal-title":"Proc 1st Int Workshop Quantification Constraint Program (QCP)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref9","first-page":"1","article-title":"Inner approximation of the range of vector-valued functions","volume":"14","author":"goldsztejn","year":"2010","journal-title":"Rel Comput"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7782633\/9099341\/09099222.pdf?arnumber=9099222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T12:51:02Z","timestamp":1651063862000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/9099222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":19,"journal-issue":{"issue":"4"},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/lcsys.2020.2997261","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10]]}}}