{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T14:22:23Z","timestamp":1790432543190,"version":"4.1.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319961415","type":"print"},{"value":"9783319961422","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96142-2_31","type":"book-chapter","created":{"date-parts":[[2018,7,20]],"date-time":"2018-07-20T19:55:08Z","timestamp":1532116508000},"page":"523-541","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Inner and Outer Approximating Flowpipes for Delay Differential Equations"],"prefix":"10.1007","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"}]},{"given":"Lorenz","family":"Sahlmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,7,18]]},"reference":[{"key":"31_CR1","unstructured":"Sandretto, J.A.D., Chapoutot, A.: DynIBEX: a differential constraint library for studying dynamical systems. In: HSCC, April 2016. Poster"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: HSCC 2013, pp. 173\u2013182. ACM (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"31_CR3","unstructured":"Althoff, M.: An introduction to CORA 2015. In: ARCH 2014 and ARCH 2015, pp. 120\u2013151 (2015)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of CDC, pp. 4042\u20134048 (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-38088-4_8","volume-title":"NASA Formal Methods","author":"O Bouissou","year":"2013","unstructured":"Bouissou, O., Chapoutot, A., Djoudi, A.: Enclosing temporal evolution of dynamical systems using numerical methods. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 108\u2013123. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_8"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: RTSS, pp. 183\u2013192 (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S., Abraham, E.: Under-approximate flowpipes for non-linear continuous systems. In: FMCAD, pp. 59\u201366. IEEE\/ACM (2014)","DOI":"10.1109\/FMCAD.2014.6987596"},{"key":"31_CR9","unstructured":"Comba, J., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: SIBGRAPI (1993)"},{"key":"31_CR10","first-page":"128","volume":"17","author":"T Dang","year":"2012","unstructured":"Dang, T., Testylier, R.: Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Reliab. Comput. 17, 128\u2013152 (2012)","journal-title":"Reliab. Comput."},{"key":"31_CR11","series-title":"Surveys and Tutorials in the Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-74372-1","volume-title":"Applied Delay Differential Equations","author":"T Erneux","year":"2009","unstructured":"Erneux, T.: Applied Delay Differential Equations. Surveys and Tutorials in the Applied Mathematical Sciences. Springer, New York (2009). https:\/\/doi.org\/10.1007\/978-0-387-74372-1"},{"key":"31_CR12","unstructured":"Falbo, C.E.: Some elementary methods for solving functional Differential equations (2004)"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291\u2013305. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_19"},{"key":"31_CR15","unstructured":"Goldsztejn, A., Daney, D., Rueher, M., Taillibert, P.: Modal intervals revisited: a mean-value extension to generalized intervals. In: QCP 2005 (2005)"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Goubault, E., Putot, S.: Forward inner-approximated reachability of non-linear continuous systems. In: HSCC, pp. 1\u201310. ACM (2017)","DOI":"10.1145\/3049797.3049811"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-642-02658-4_40","volume-title":"Computer Aided Verification","author":"C Guernic Le","year":"2009","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 540\u2013554. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_40"},{"key":"31_CR18","series-title":"Computing Supplementum","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-7091-8577-3_3","volume-title":"Fundamentals of Numerical Computation","author":"EW Kaucher","year":"1980","unstructured":"Kaucher, E.W.: Interval analysis in the extended interval space IR. In: Alefeld, G., Grigorieff, R.D. (eds.) Fundamentals of Numerical Computation. Computing Supplementum, vol. 2, pp. 33\u201349. Springer, Vienna (1980). https:\/\/doi.org\/10.1007\/978-3-7091-8577-3_3"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Korda, M., Henrion, D., Jones, C.N.: Inner approximations of the region of attraction for polynomial dynamical systems. In: NOLCOS (2013)","DOI":"10.23919\/ECC.2013.6669153"},{"key":"31_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","volume-title":"Hybrid Systems: Computation and Control","author":"AB Kurzhanski","year":"2000","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 202\u2013214. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_19"},{"key":"31_CR21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0167-6911(00)00059-1","volume":"41","author":"AB Kurzhanski","year":"2000","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reachability analysis: internal approximation. Syst. Control Lett. 41, 201\u2013211 (2000)","journal-title":"Syst. Control Lett."},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal toolbox. Technical report, EECS, Berkeley, May 2006","DOI":"10.1109\/CDC.2006.377036"},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/1141885.1141893","volume":"32","author":"M Lerch","year":"2006","unstructured":"Lerch, M., Tischler, G., von Gudenberg, J.W., Hofschuster, W., Kramer, W.: FILIB++, a fast interval library supporting containment computations. ACM Trans. Math. Softw. 32, 299\u2013324 (2006)","journal-title":"ACM Trans. Math. Softw."},{"key":"31_CR24","first-page":"70","volume":"318","author":"T M\u00e9zo Le","year":"2017","unstructured":"Le M\u00e9zo, T., Jaulin, L., Zerr, B.: Bracketing the solutions of an ordinary Differential equation with uncertain initial conditions. Appl. Math. Comput. 318, 70\u201379 (2017)","journal-title":"Appl. Math. Comput."},{"key":"31_CR25","unstructured":"Nedialkov, N.S.: VNODE-LP\u2014a validated solver for initial value problems in ordinary differential equations. Technical report CAS-06-06-NN (2006)"},{"key":"31_CR26","first-page":"21","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K., Corliss, G.: Validated solutions of initial value problems for ordinary Differential equations. Appl. Math. Comput. 105, 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"31_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-0-387-85595-0_9","volume-title":"Delay Differential Equations","author":"LF Shampine","year":"2009","unstructured":"Shampine, L.F., Thompson, S.: Numerical solution of delay Differential equations. In: Gilsinn, D.E., Kalm\u00e1r-Nagy, T., Balachandran, B. (eds.) Delay Differential Equations, pp. 1\u201327. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-85595-0_9"},{"key":"31_CR28","unstructured":"Szczelina, R.: Rigorous integration of delay differential equations. Ph.D. thesis, Faculty of Mathematics and Computer Science, Jagiellonian University, Krakow (2014)"},{"key":"31_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-319-02444-8_37","volume-title":"Automated Technology for Verification and Analysis","author":"R Testylier","year":"2013","unstructured":"Testylier, R., Dang, T.: NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 469\u2013473. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-02444-8_37"},{"key":"31_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-319-65765-3_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B Xue","year":"2017","unstructured":"Xue, B., et al.: Safe over- and under-approximation of reachable sets for delay Differential equations. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 281\u2013299. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65765-3_16"},{"key":"31_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-319-41528-4_25","volume-title":"Computer Aided Verification","author":"B Xue","year":"2016","unstructured":"Xue, B., She, Z., Easwaran, A.: Under-approximating backward reachable sets by polytopes. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 457\u2013476. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_25"},{"key":"31_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-319-21668-3_20","volume-title":"Computer Aided Verification","author":"L Zou","year":"2015","unstructured":"Zou, L., Fr\u00e4nzle, M., Zhan, N., Mosaad, P.N.: Automatic verification of stability and safety for delay Differential equations. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 338\u2013355. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_20"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96142-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T22:59:16Z","timestamp":1751756356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96142-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319961415","9783319961422"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96142-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}