{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:54:44Z","timestamp":1791219284621,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T00:00:00Z","timestamp":1397520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-12-INSE-0007-02"],"award-info":[{"award-number":["ANR-12-INSE-0007-02"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Digiteo SANSCRIT"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,15]]},"DOI":"10.1145\/2562059.2562113","type":"proceedings-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T13:50:00Z","timestamp":1397224200000},"page":"163-172","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Inner approximated reachability analysis"],"prefix":"10.1145","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Mullier","sequence":"additional","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Kieffer","sequence":"additional","affiliation":[{"name":"L2S - CNRS - Sup\u00e9lec - Univ Paris-Sud, Gif sur Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"e_1_3_2_1_2_1","volume-title":"Set-Valued Analysis","author":"Aubin J.","year":"1990","unstructured":"J. Aubin and H. Frankowska . Set-Valued Analysis . Birkh\u00e4user , Boston , 1990 . J. Aubin and H. Frankowska. Set-Valued Analysis. Birkh\u00e4user, Boston, 1990."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2958031.2958094"},{"key":"e_1_3_2_1_6_1","volume-title":"SIBGRAPI","author":"Comba J. L. D.","year":"1993","unstructured":"J. L. D. Comba and J. Stolfi . Affine arithmetic and its applications to computer graphics . SIBGRAPI , 1993 . J. L. D. Comba and J. Stolfi. Affine arithmetic and its applications to computer graphics. SIBGRAPI, 1993."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967721"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011465930178"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_22"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_14_1","volume-title":"QCP'05","author":"Goldsztejn A.","year":"2005","unstructured":"A. Goldsztejn , D. Daney , M. Rueher , and P. Taillibert . Modal intervals revisited: a mean-value extension to generalized intervals . In QCP'05 , 2005 . A. Goldsztejn, D. Daney, M. Rueher, and P. Taillibert. Modal intervals revisited: a mean-value extension to generalized intervals. In QCP'05, 2005."},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Inner approximation of the range of vector-valued functions","volume":"14","author":"Goldsztejn A.","year":"2010","unstructured":"A. Goldsztejn , L. Jaulin , Inner approximation of the range of vector-valued functions . Reliable Computing , 14 : 1 -- 23 , 2010 . A. Goldsztejn, L. Jaulin, et al. Inner approximation of the range of vector-valued functions. Reliable Computing, 14:1--23, 2010.","journal-title":"Reliable Computing"},{"key":"e_1_3_2_1_16_1","first-page":"117","article-title":"General inner approximation of vector-valued functions","volume":"18","author":"Goubault E.","year":"2013","unstructured":"E. Goubault , M. Kieffer , O. Mullier , and S. Putot . General inner approximation of vector-valued functions . Reliable Computing , 18 : 117 -- 143 , 2013 . E. Goubault, M. Kieffer, O. Mullier, and S. Putot. General inner approximation of vector-valued functions. Reliable Computing, 18:117--143, 2013.","journal-title":"Reliable Computing"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391451.2391462"},{"key":"e_1_3_2_1_18_1","volume-title":"A zonotopic framework for functional abstractions. CoRR, abs\/0910.1763","author":"Goubault E.","year":"2009","unstructured":"E. Goubault and S. Putot . A zonotopic framework for functional abstractions. CoRR, abs\/0910.1763 , 2009 . E. Goubault and S. Putot. A zonotopic framework for functional abstractions. CoRR, abs\/0910.1763, 2009."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2012.675521"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-012-9126-y"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_33"},{"key":"e_1_3_2_1_25_1","first-page":"2","article-title":"Interval analysis in the extended interval space IR","author":"Kaucher E.","year":"1980","unstructured":"E. Kaucher . Interval analysis in the extended interval space IR . Comput. (Supplementum) 2 , 1980 . E. Kaucher. Interval analysis in the extended interval space IR. Comput. (Supplementum) 2, 1980.","journal-title":"Comput. (Supplementum)"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710463"},{"key":"e_1_3_2_1_27_1","first-page":"255","volume-title":"Computer Arithmetic: Scientific Computation and Programming Languages","author":"Lohner R. J.","year":"1987","unstructured":"R. J. Lohner . Enclosing the solutions of ordinary initial and boundary value problems . In Computer Arithmetic: Scientific Computation and Programming Languages , pages 255 -- 286 . Wiley-Teubner , 1987 . R. J. Lohner. Enclosing the solutions of ordinary initial and boundary value problems. In Computer Arithmetic: Scientific Computation and Programming Languages, pages 255--286. Wiley-Teubner, 1987."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_12"}],"event":{"name":"HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control","location":"Berlin Germany","acronym":"HSCC'14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 17th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562113","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2562059.2562113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:14:52Z","timestamp":1750263292000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,15]]},"references-count":29,"alternative-id":["10.1145\/2562059.2562113","10.1145\/2562059"],"URL":"https:\/\/doi.org\/10.1145\/2562059.2562113","relation":{},"subject":[],"published":{"date-parts":[[2014,4,15]]},"assertion":[{"value":"2014-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}