{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T21:27:43Z","timestamp":1782336463383,"version":"3.54.5"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319657646","type":"print"},{"value":"9783319657653","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65765-3_16","type":"book-chapter","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T09:08:38Z","timestamp":1501664918000},"page":"281-299","source":"Crossref","is-referenced-by-count":14,"title":["Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations"],"prefix":"10.1007","author":[{"given":"Bai","family":"Xue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter Nazier","family":"Mosaad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yangjia","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,3]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Belta, C., Ivancic, F. (eds.) Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, 8\u201311 April 2013, pp. 173\u2013182. ACM (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"16_CR2","unstructured":"Althoff, M.: CORA 2016 Manual (2016). http:\/\/www6.in.tum.de\/Main\/SoftwareCORA"},{"key":"16_CR3","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 the 47th IEEE Conference on Decision and Control (CDC 2008), Canc\u00fan, 9\u201311 December 2008, pp. 4042\u20134048. IEEE (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"key":"16_CR4","unstructured":"Bellman, R., Cooke, K.L.: Differential-difference equations. Technical report R-374-PR, The RAND Corporation, Santa Monica, California, January 1963"},{"issue":"4","key":"16_CR5","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1215\/S0012-7094-43-01059-2","volume":"10","author":"R Bellman","year":"1943","unstructured":"Bellman, R., et al.: The stability of solutions of linear differential equations. Duke Math. J. 10(4), 643\u2013647 (1943)","journal-title":"Duke Math. J."},{"issue":"4","key":"16_CR6","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput. 4(4), 361\u2013369 (1998)","journal-title":"Reliab. Comput."},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-48989-6_9","volume-title":"FM 2016: Formal Methods","author":"M Chen","year":"2016","unstructured":"Chen, M., Fr\u00e4nzle, M., Li, Y., Mosaad, P.N., Zhan, N.: Validated simulation-based verification of delayed differential dynamics. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 137\u2013154. Springer, Cham (2016). doi: 10.1007\/978-3-319-48989-6_9"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S., \u00c1brah\u00e1m, E.: Under-approximate flowpipes for non-linear continuous systems. In: Formal Methods in Computer-Aided Design (FMCAD 2014), Lausanne, 21\u201324 October 2014, pp. 59\u201366. IEEE (2014)","DOI":"10.1109\/FMCAD.2014.6987596"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computing polyhedral approximations to flow pipes for dynamic systems. In: Proceedings of the 37th IEEE Conference on Decision and Control, vol. 2, pp. 2089\u20132094. IEEE (1998)","DOI":"10.1109\/CDC.1998.758642"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174\u2013189. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71493-4_16"},{"key":"16_CR11","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). doi: 10.1007\/978-3-540-31954-2_19"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Goubault, E., Mullier, O., Putot, S., Kieffer, M.: Inner approximated reachability analysis. In: Fr\u00e4nzle, M., Lygeros, J. (eds.) 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (HSCC 2014), Berlin, 15\u201317 April 2014, pp. 163\u2013172. ACM (2014)","DOI":"10.1145\/2562059.2562113"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.nahs.2016.05.005","volume":"23","author":"Z Huang","year":"2017","unstructured":"Huang, Z., Fan, C., Mitra, S.: Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Anal. Hybrid Syst. 23, 211\u2013229 (2017)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Kaynama, S., Maidens, J.N., Oishi, M., Mitchell, I.M., Dumont, G.A.: Computing the viability kernel using maximal reachable sets. In: Dang, T., Mitchell, I.M. (eds.) Hybrid Systems: Computation and Control (part of CPS Week 2012) (HSCC 2012), Beijing, 17\u201319 April 2012, pp. 55\u201364. ACM (2012)","DOI":"10.1145\/2185632.2185644"},{"issue":"23","key":"16_CR15","doi-asserted-by":"crossref","first-page":"534","DOI":"10.3182\/20130904-3-FR-2041.00002","volume":"46","author":"M Korda","year":"2013","unstructured":"Korda, M., Henrion, D., Jones, C.N.: Inner approximations of the region of attraction for polynomial dynamical systems. IFAC Proc. Vol. 46(23), 534\u2013539 (2013)","journal-title":"IFAC Proc. Vol."},{"key":"16_CR16","volume-title":"Delay Differential Equations: With Applications in Population Dynamics","author":"Y Kuang","year":"1993","unstructured":"Kuang, Y.: Delay Differential Equations: With Applications in Population Dynamics, vol. 191. Academic Press, Boston (1993)"},{"key":"16_CR17","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). doi: 10.1007\/3-540-46430-1_19"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/10984413_12","volume-title":"New Directions and Applications in Control Theory","author":"AB Kurzhanski","year":"2005","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for hybrid dynamics: the reachability problem. In: Dayawansa, W.P., Lindquist, A., Zhou, Y. (eds.) New Directions and Applications in Control Theory, vol. 321, pp. 193\u2013205. Springer, Heidelberg (2005). doi: 10.1007\/10984413_12"},{"issue":"2","key":"16_CR19","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1016\/j.nahs.2009.03.002","volume":"4","author":"C Guernic Le","year":"2010","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of linear systems using support functions. Nonlinear Anal. Hybrid Syst. 4(2), 250\u2013262 (2010)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"16_CR20","first-page":"103","volume":"2","author":"RE Moore","year":"1965","unstructured":"Moore, R.E.: Automatic local coordinate transformations to reduce the growth of error bounds in interval computation of solutions of ordinary differential equations. Error Digit. Comput. 2, 103\u2013140 (1965)","journal-title":"Error Digit. Comput."},{"issue":"1","key":"16_CR21","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1137\/050638448","volume":"45","author":"M Neher","year":"2007","unstructured":"Neher, M., Jackson, K.R., Nedialkov, N.S.: On Taylor model based integration of ODEs. SIAM J. Numer. Anal. 45(1), 236\u2013262 (2007)","journal-title":"SIAM J. Numer. Anal."},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24743-2_32"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A.: Methods for safety verification of time-delay systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4348\u20134353. IEEE (2005)","DOI":"10.1109\/CDC.2005.1582846"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-540-31954-2_37","volume-title":"Hybrid Systems: Computation and Control","author":"S Ratschan","year":"2005","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 573\u2013589. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31954-2_37"},{"key":"16_CR25","unstructured":"Stauning, O., Madsen, K.: Automatic validation of numerical solutions. Ph.D. thesis, Technical University of DenmarkDanmarks Tekniske Universitet, Department of Informatics and Mathematical ModelingInstitut for Informatik og Matematisk Modellering (1997)"},{"key":"16_CR26","unstructured":"Taylor, S.R.: Probabilistic properties of delay differential equations (2004)"},{"issue":"1","key":"16_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0024-3795(75)90112-3","volume":"11","author":"JM Varah","year":"1975","unstructured":"Varah, J.M.: A lower bound for the smallest singular value of a matrix. Linear Algebra Appl. 11(1), 3\u20135 (1975)","journal-title":"Linear Algebra Appl."},{"issue":"10","key":"16_CR28","doi-asserted-by":"crossref","first-page":"2508","DOI":"10.1109\/TAC.2013.2263916","volume":"58","author":"T Wang","year":"2013","unstructured":"Wang, T., Lall, S., West, M.: Polynomial level-set method for polynomial system reachable set estimation. IEEE Trans. Autom. Control 58(10), 2508\u20132521 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR29","unstructured":"Xue, B., Easwaran, A., Cho, N.-J., Franzle, M.: Reach-avoid verification for nonlinear systems based on boundary analysis. IEEE Trans. Autom. Control 62(7), 3518\u20133523 (2017)"},{"key":"16_CR30","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). doi: 10.1007\/978-3-319-41528-4_25"},{"key":"16_CR31","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). doi: 10.1007\/978-3-319-21668-3_20"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65765-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:58:01Z","timestamp":1750795081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65765-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319657646","9783319657653"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65765-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}