{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T10:45:16Z","timestamp":1790505916415,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006021","name":"Direction G\u00e9n\u00e9rale de l\u00f0Armement","doi-asserted-by":"publisher","award":["Validation de drones et essaims de drones autonomes"],"award-info":[{"award-number":["Validation de drones et essaims de drones autonomes"]}],"id":[{"id":"10.13039\/501100006021","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Direction G\u00e9n\u00e9rale de l\u00f0Armement, Thal\u00e8s, Dassault Aviation, Naval Group","award":["Chaire Ingenierie des Systemes Industriels Complexes"],"award-info":[{"award-number":["Chaire Ingenierie des Systemes Industriels Complexes"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311794","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"11-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Inner and outer reachability for the verification of control systems"],"prefix":"10.1145","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[{"name":"CNRS, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[{"name":"CNRS, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/S036301290036968X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"S. Bansal M. Chen S. L. Herbert and C. J. Tomlin. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances. In CDC.  S. Bansal M. Chen S. L. Herbert and C. J. Tomlin. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances. In CDC.","DOI":"10.1109\/CDC.2017.8263977"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"P. Cardaliaguet M. Quincampoix and P. Saint-Pierre. 1999. Set-Valued Numerical Analysis for Optimal Control and Differential Games. Birkh\u00e4user.  P. Cardaliaguet M. Quincampoix and P. Saint-Pierre. 1999. Set-Valued Numerical Analysis for Optimal Control and Differential Games. Birkh\u00e4user.","DOI":"10.1007\/978-1-4612-1592-9_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"e_1_3_2_1_6_1","unstructured":"X. Chen S. Sankaranarayanan and E. Abraham. 2014. Under-approximate Flow-pipes for Non-linear Continuous Systems. In FMCAD.   X. Chen S. Sankaranarayanan and E. Abraham. 2014. Under-approximate Flow-pipes for Non-linear Continuous Systems. In FMCAD."},{"key":"e_1_3_2_1_7_1","unstructured":"J. Comba and J. Stolfi. 1993. Affine arithmetic and its applications to computer graphics. In SIBGRAPI (1993).  J. Comba and J. Stolfi. 1993. Affine arithmetic and its applications to computer graphics. In SIBGRAPI (1993)."},{"key":"e_1_3_2_1_8_1","volume-title":"Benchmark: Quadrotor Attitude Control. In ARCH'14--15","volume":"34","author":"Da Cunha A. E. C.","year":"2015","unstructured":"A. E. C. Da Cunha . 2015 . Benchmark: Quadrotor Attitude Control. In ARCH'14--15 , Vol. 34 . EasyChair, 57--72. A. E. C. Da Cunha. 2015. Benchmark: Quadrotor Attitude Control. In ARCH'14--15, Vol. 34. EasyChair, 57--72."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755956"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"I. Filippidis S. Dathathri S. C. Livingston N. Ozay and R. M. Murray. 2016. Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In CCA. IEEE 1030--1041.  I. Filippidis S. Dathathri S. C. Livingston N. Ozay and R. M. Murray. 2016. Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In CCA. IEEE 1030--1041.","DOI":"10.1109\/CCA.2016.7587949"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"e_1_3_2_1_12_1","unstructured":"J. F\u00f6rster. 2015. System Identification of the Crazyflie 2.0 Nano Quadrocopter. Bachelor Thesis.  J. F\u00f6rster. 2015. System Identification of the Crazyflie 2.0 Nano Quadrocopter. Bachelor Thesis."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141665"},{"key":"e_1_3_2_1_16_1","first-page":"130","article-title":"Modal Intervals Revisited","volume":"16","author":"Goldsztejn Alexandre","year":"2012","unstructured":"Alexandre Goldsztejn . 2012 . Modal Intervals Revisited , Part 1: A Generalized Interval Natural Extension. Reliable Computing 16 (2012), 130 -- 183 . Alexandre Goldsztejn. 2012. Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension. Reliable Computing 16 (2012), 130--183.","journal-title":"Part 1: A Generalized Interval Natural Extension. Reliable Computing"},{"key":"e_1_3_2_1_17_1","first-page":"184","article-title":"Modal Intervals Revisited","volume":"16","author":"Goldsztejn Alexandre","year":"2012","unstructured":"Alexandre Goldsztejn . 2012 . Modal Intervals Revisited , Part 2: A Generalized Interval Mean Value Extension. Reliable Computing 16 (2012), 184 -- 209 . Alexandre Goldsztejn. 2012. Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension. Reliable Computing 16 (2012), 184--209.","journal-title":"Part 2: A Generalized Interval Mean Value Extension. Reliable Computing"},{"key":"e_1_3_2_1_18_1","volume-title":"QCP'05","author":"Goldsztejn A.","unstructured":"A. Goldsztejn , D. Daney , M. Rueher , and P. Taillibert . 2005. Modal intervals revisited: a mean-value extension to generalized intervals . In QCP'05 . A. Goldsztejn, D. Daney, M. Rueher, and P. Taillibert. 2005. Modal intervals revisited: a mean-value extension to generalized intervals. In QCP'05."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"E. Goubault S. Putot and L. Sahlman. 2018. Inner and Outer Approximating Flowpipes for Delay Differential Equations. In CAV.  E. Goubault S. Putot and L. Sahlman. 2018. Inner and Outer Approximating Flowpipes for Delay Differential Equations. In CAV.","DOI":"10.1007\/978-3-319-96142-2_31"},{"key":"e_1_3_2_1_21_1","volume-title":"Numerical Solving of Ballistic Flight Equations for Big Bore Air Rifle. Technical Gazette 16","author":"Cumin R. Scitovski J.","year":"2009","unstructured":"R. Scitovski J. Cumin , B. Grizelj . 2009. Numerical Solving of Ballistic Flight Equations for Big Bore Air Rifle. Technical Gazette 16 ( 2009 ). R. Scitovski J. Cumin, B. Grizelj. 2009. Numerical Solving of Ballistic Flight Equations for Big Bore Air Rifle. Technical Gazette 16 (2009)."},{"key":"e_1_3_2_1_22_1","volume-title":"Interval analysis in the extended interval space IR. Comput. (Supplementum) 2","author":"Kaucher E.W.","year":"1980","unstructured":"E.W. Kaucher . 1980. Interval analysis in the extended interval space IR. Comput. (Supplementum) 2 ( 1980 ). E.W. Kaucher. 1980. Interval analysis in the extended interval space IR. Comput. (Supplementum) 2 (1980)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185644"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"S. Kaynama M. Oishi I. M. Mitchell and G. A. Dumont. 2011. The continual reachability set and its computation using maximal reachability techniques. In IEEE CDC.  S. Kaynama M. Oishi I. M. Mitchell and G. A. Dumont. 2011. The continual reachability set and its computation using maximal reachability techniques. In IEEE CDC.","DOI":"10.1109\/CDC.2011.6161424"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"M. Korda D. Henrion and C. N. Jones. 2013. Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. In NOLCOS.  M. Korda D. Henrion and C. N. Jones. 2013. Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. In NOLCOS.","DOI":"10.23919\/ECC.2013.6669153"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"A. B Kurzhanski and P. Varaiya. 2000. Ellipsoidal techniques for reachability analysis: internal approximation. Systems & control letters (2000).  A. B Kurzhanski and P. Varaiya. 2000. Ellipsoidal techniques for reachability analysis: internal approximation. Systems & control letters (2000).","DOI":"10.1007\/3-540-46430-1_19"},{"key":"e_1_3_2_1_27_1","volume-title":"Switching in Systems and Control","author":"Liberzon D.","unstructured":"D. Liberzon . 2003. Switching in Systems and Control . Birkhauser . D. Liberzon. 2003. Switching in Systems and Control. Birkhauser."},{"key":"e_1_3_2_1_28_1","unstructured":"C. Luis and J. Le Ny. 2016. Design of a Trajectory Tracking Controller for a Nanoquadcopter. https:\/\/arxiv.org\/abs\/1608.05786v1.  C. Luis and J. Le Ny. 2016. Design of a Trajectory Tracking Controller for a Nanoquadcopter. https:\/\/arxiv.org\/abs\/1608.05786v1."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2017.07.036"},{"key":"e_1_3_2_1_31_1","unstructured":"I. M. Mitchell. 2007. Comparing Forward and Backward Reachability as Tools for Safety Analysis. In HSCC.   I. M. Mitchell. 2007. Comparing Forward and Backward Reachability as Tools for Safety Analysis. In HSCC."},{"key":"e_1_3_2_1_32_1","unstructured":"Ramon E. Moore. 1966. Interval analysis.  Ramon E. Moore. 1966. Interval analysis."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"M. Amin Ben Sassi R. Testylier T. Dang and A. Girard. 2012. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. In ATVA.  M. Amin Ben Sassi R. Testylier T. Dang and A. Girard. 2012. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. In ATVA.","DOI":"10.1007\/978-3-642-33386-6_12"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178133"},{"key":"e_1_3_2_1_38_1","volume-title":"Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS (LNCS)","volume":"10419","author":"Xue B.","unstructured":"B. Xue , P. Nazier Mosaad , M. Fr\u00e4nzle , M. Chen , Y. Li , and N. Zhan . 2017 . Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS (LNCS) , Vol. 10419 . Springer, 281--299. B. Xue, P. Nazier Mosaad, M. Fr\u00e4nzle, M. Chen, Y. Li, and N. Zhan. 2017. Safe Over-and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS (LNCS), Vol. 10419. Springer, 281--299."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Bai Xue Zhikun She and Arvind Easwaran. 2016. Under-Approximating Backward Reachable Sets by Polytopes. In CAV.  Bai Xue Zhikun She and Arvind Easwaran. 2016. Under-Approximating Backward Reachable Sets by Polytopes. In CAV.","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Z. Zhou J. Ding H. Huang R. Takei and C. Tomlin. 2018. Efficient path planning algorithms in reach-avoid problems. Automatica 89 (2018).  Z. Zhou J. Ding H. Huang R. Takei and C. Tomlin. 2018. Efficient path planning algorithms in reach-avoid problems. Automatica 89 (2018).","DOI":"10.1016\/j.automatica.2017.11.035"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311794","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":40,"alternative-id":["10.1145\/3302504.3311794","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311794","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}