{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T01:40:06Z","timestamp":1750556406499,"version":"3.41.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319633862"},{"type":"electronic","value":"9783319633879"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63387-9_19","type":"book-chapter","created":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T08:53:43Z","timestamp":1499849623000},"page":"379-400","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Lagrangian Reachabililty"],"prefix":"10.1007","author":[{"given":"Jacek","family":"Cyranka","sequence":"first","affiliation":[]},{"given":"Md. Ariful","family":"Islam","sequence":"additional","affiliation":[]},{"given":"Greg","family":"Byrne","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"issue":"6","key":"19_CR1","doi-asserted-by":"publisher","first-page":"1516","DOI":"10.1109\/TAC.2011.2175058","volume":"57","author":"J Anderson","year":"2012","unstructured":"Anderson, J., Papachristodoulou, A.: A decomposition technique for nonlinear dynamical system analysis. IEEE Trans. Autom. Control 57(6), 1516\u20131521 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"19_CR2","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.1109\/9.863594","volume":"45","author":"D Angeli","year":"2000","unstructured":"Angeli, D., Sontag, E.D., Wang, Y.: A characterization of integral input-to-state stability. IEEE Trans. Autom. Control 45(6), 1082\u20131097 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"19_CR3","doi-asserted-by":"publisher","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":"19_CR4","unstructured":"Capinski, M., Cyranka, J., Galias, Z., Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyski, P., zelawski, M.: CAPD - computer assisted proofs in dynamics, a package for rigorous numerics. Technical report, Jagiellonian University, Krak\u00f3w (2016). http:\/\/capd.ii.edu.pl"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Proceedings of 2012 IEEE 33rd Real-Time Systems Symposium, RTSS 2012, pp. 183\u2013192. IEEE Computer Society, Washington, DC (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"19_CR6","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). doi:10.1007\/978-3-642-39799-8_18"},{"key":"19_CR7","series-title":"Transactions of the Royal Institute of Technology","volume-title":"Stability and Error Bounds in the Numerical Intgration of Ordinary Differential Equations","author":"G Dahlquist","year":"1958","unstructured":"Dahlquist, G.: Stability and Error Bounds in the Numerical Intgration of Ordinary Differential Equations. Transactions of the Royal Institute of Technology. Almqvist & Wiksells, Uppsala (1958)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, A toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167\u2013170. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-14295-6_17"},{"key":"19_CR9","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":"19_CR10","doi-asserted-by":"crossref","unstructured":"Fan, C., Kapinski, J., Jin, X., Mitra, S.: Locally optimal reach set over-approximation for nonlinear systems. In: Proceedings of 13th International Conference on Embedded Software, EMSOFT 2016, pp. 6:1\u20136:10. ACM, New York (2016)","DOI":"10.1145\/2968478.2968482"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","volume-title":"Automated Technology for Verification and Analysis","author":"C Fan","year":"2015","unstructured":"Fan, C., Mitra, S.: Bounded verification with on-the-fly discrepancy computation. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 446\u2013463. Springer, Cham (2015). doi:10.1007\/978-3-319-24953-7_32"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0167-2789(97)00233-9","volume":"115","author":"Z Galias","year":"1998","unstructured":"Galias, Z., Zgliczyski, P.: Computer assisted proof of chaos in the Lorenz equations. Phys. D: Nonlinear Phenom. 115(3), 165\u2013188 (1998)","journal-title":"Phys. D: Nonlinear Phenom."},{"key":"19_CR13","series-title":"Wiley Series in Computational Mechanics","doi-asserted-by":"publisher","DOI":"10.1002\/9781118437711","volume-title":"Introduction to Finite Strain Theory for Continuum Elasto-Plasticity","author":"K Hashiguchi","year":"2012","unstructured":"Hashiguchi, K., Yamakawa, Y.: Introduction to Finite Strain Theory for Continuum Elasto-Plasticity. Wiley Series in Computational Mechanics. Wiley, Hoboken (2012)"},{"key":"19_CR14","unstructured":"Islam, M.A., Cyranka, J.: LRT prototype implementation (2017). http:\/\/www.cs.cmu.edu\/~mdarifui\/cav_codes.html"},{"issue":"6","key":"19_CR15","doi-asserted-by":"publisher","first-page":"1899","DOI":"10.1088\/0951-7715\/16\/6\/302","volume":"16","author":"T Kapela","year":"2003","unstructured":"Kapela, T., Zgliczyski, P.: The existence of simple choreographies for the N-body problem\u2014a computer-assisted proof. Nonlinearity 16(6), 1899 (2003)","journal-title":"Nonlinearity"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Lofberg, J.: YALMIP: a toolbox for modeling and optimization in MATLAB. In: 2004 IEEE International Symposium on Computer Aided Control Systems Design, pp. 284\u2013289. IEEE (2005)","DOI":"10.1109\/CACSD.2004.1393890"},{"issue":"6","key":"19_CR17","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","volume":"34","author":"W Lohmiller","year":"1998","unstructured":"Lohmiller, W., Slotine, J.-J.E.: On contraction analysis for non-linear systems. Automatica 34(6), 683\u2013696 (1998)","journal-title":"Automatica"},{"issue":"2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"EN Lorenz","year":"1963","unstructured":"Lorenz, E.N.: Deterministic nonperiodic flow. J. Atmos. Sci. 20(2), 130\u2013141 (1963)","journal-title":"J. Atmos. Sci."},{"key":"19_CR19","first-page":"52","volume":"6","author":"SM Lozinskii","year":"1958","unstructured":"Lozinskii, S.M.: Error estimates for the numerical integration of ordinary differential equations, part i. Izv. Vyss. Uceb. Zaved. Matematica 6, 52\u201390 (1958)","journal-title":"Izv. Vyss. Uceb. Zaved. Matematica"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/TAC.2014.2325635","volume":"60","author":"J Maidens","year":"2015","unstructured":"Maidens, J., Arcak, M.: Reachability analysis of nonlinear systems using matrix measures. IEEE Trans. Autom. Control 60(1), 265\u2013270 (2015)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"19_CR21","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.nima.2005.11.109","volume":"558","author":"K Makino","year":"2006","unstructured":"Makino, K., Berz, M.: Cosy infinity version 9. Nucl. Instrum. Methods Phys. Res., Sect. A 558(1), 346\u2013350 (2006)","journal-title":"Nucl. Instrum. Methods Phys. Res., Sect. A"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Rigorous integration of flows and odes using Taylor models. In: Symbolic Numeric Computation, pp. 79\u201384 (2009)","DOI":"10.1145\/1577190.1577206"},{"issue":"5","key":"19_CR23","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0092-8240(03)00041-7","volume":"65","author":"CC Mitchell","year":"2003","unstructured":"Mitchell, C.C., Schaeffer, D.G.: A two-current model for the dynamics of cardiac membrane. Bull. Math. Biol. 65(5), 767\u2013793 (2003)","journal-title":"Bull. Math. Biol."},{"key":"19_CR24","unstructured":"MOSEK ApS: The MOSEK optimization tools version 3.2 (revision 8) user\u2019s manual and reference (2002)"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S.: Interval tools for ODEs and DAEs. In: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), p. 4, September 2006","DOI":"10.1109\/SCAN.2006.28"},{"key":"19_CR26","unstructured":"Nedialkov, N.S.: Vnode-Ip\u2013a validated solver for initial value problems in ordinary differential equations. Technical report CAS-06-06-NN (2006)"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"S1049","DOI":"10.1002\/zamm.19980781593","volume":"78","author":"J Rohn","year":"1998","unstructured":"Rohn, J.: Bounds on eigenvalues of interval matrices. ZAMM-Z. Angew. Math. Mech. 78(3), S1049 (1998)","journal-title":"ZAMM-Z. Angew. Math. Mech."},{"key":"19_CR28","unstructured":"Rohn, J.: Versoft: Guide. Technical report (2011)"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S Rump","year":"1999","unstructured":"Rump, S.: Developments in Reliable Computing, pp. 77\u2013104. INTLAB - INTerval LABoratory, Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"13","key":"19_CR30","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1080\/14786440108564176","volume":"3","author":"B Van Der Pol","year":"1927","unstructured":"Van Der Pol, B.: Vii. forced oscillations in a circuit with non-linear resistance. (reception with reactive triode). London, Edinb. Dublin Phil. Mag. J. Sci. 3(13), 65\u201380 (1927)","journal-title":"London, Edinb. Dublin Phil. Mag. J. Sci."},{"issue":"3","key":"19_CR31","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/s00220-005-1374-x","volume":"259","author":"D Wilczak","year":"2005","unstructured":"Wilczak, D., Zgliczy\u0144ski, P.: Heteroclinic connections between periodic orbits in planar restricted circular three body problem. Part ii. Commun. Math. Phys. 259(3), 561\u2013576 (2005)","journal-title":"Part ii. Commun. Math. Phys."},{"key":"19_CR32","unstructured":"Wilczak, D., Zgliczyski, P.: $$C^r$$-Lohner algorithm. In: Schedae Informaticae, 2011. vol. 20 (2012)"},{"issue":"4","key":"19_CR33","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s102080010025","volume":"2","author":"P Zgliczynski","year":"2002","unstructured":"Zgliczynski, P.: $$C^1$$ Lohner algorithm. Found. Comput. Math. 2(4), 429\u2013465 (2002)","journal-title":"Found. Comput. Math."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63387-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T01:09:45Z","timestamp":1750554585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-63387-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319633862","9783319633879"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63387-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heidelberg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cavconference.org\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}