{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:28:32Z","timestamp":1755217712342,"version":"3.43.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/ecc.2014.6862491","type":"proceedings-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T12:08:34Z","timestamp":1406722114000},"page":"234-239","source":"Crossref","is-referenced-by-count":1,"title":["Nonlinear hybrid reachability using set integration and zonotopic enclosures"],"prefix":"10.1109","author":[{"given":"Moussa","family":"Ma\u00efga","sequence":"first","affiliation":[{"name":"Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Combastel","sequence":"additional","affiliation":[{"name":"ENSEA, ECS-Lab, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nacim","family":"Ramdani","sequence":"additional","affiliation":[{"name":"Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8s","sequence":"additional","affiliation":[{"name":"CNRS, LAAS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/3-540-36580-X_35","article-title":"Efficient representation and computation of reachable sets for hybrid systems","author":"stursberg","year":"2003","journal-title":"Proceedings of the 6th International Conference on Hybrid Systems Computation and Control HSCC'03"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2004.01.009"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00991005"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"13","first-page":"17","article-title":"An effective highorder interval method for validating existence and uniqueness of the solution of an ivp for an ode","author":"nedialkov","year":"2001","journal-title":"Computing"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6759932"},{"journal-title":"Interval Analysis","year":"1996","author":"moore","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"2"},{"key":"1","article-title":"A state bounding algorithm for linear systems with bounded input and bounded slew-rate","author":"lalami","year":"2007","journal-title":"European Control Conference"},{"key":"10","first-page":"255","article-title":"Enclosing the solutions of ordinary initial and boundary value problems","author":"lohner","year":"1987","journal-title":"Computer Arithmetic Scientific Computation and Programming Languages"},{"key":"7","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2324409","article-title":"Computing the volume of a zonotope","volume":"97","author":"montgomery","year":"1989","journal-title":"Amer Math Monthly"},{"key":"6","article-title":"Zonotopes as bounding volumes","author":"guibas","year":"2003","journal-title":"Proc 10th Annual ACM-SIAM Symposium on Discrete Algorithms"},{"key":"5","first-page":"228","article-title":"Validating an a priori enclosure using high-order taylor series","author":"corliss","year":"1996","journal-title":"Scientific Computing Computer Arithmetic and Validated Numerics"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.2000.1127"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5640"}],"event":{"name":"2014 European Control Conference (ECC)","start":{"date-parts":[[2014,6,24]]},"location":"Strasbourg, France","end":{"date-parts":[[2014,6,27]]}},"container-title":["2014 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851788\/6862131\/06862491.pdf?arnumber=6862491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T18:01:28Z","timestamp":1754416888000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6862491\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ecc.2014.6862491","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}