{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T05:50:05Z","timestamp":1775541005768,"version":"3.50.1"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030897154","type":"print"},{"value":"9783030897161","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-89716-1_6","type":"book-chapter","created":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T13:08:02Z","timestamp":1635167282000},"page":"85-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Reachability of Weakly Nonlinear Systems Using Carleman Linearization"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9831-7801","authenticated-orcid":false,"given":"Marcelo","family":"Forets","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3658-1065","authenticated-orcid":false,"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Althoff, M., Frehse, G.: Combining zonotopes and support functions for efficient reachability analysis of linear systems. In: CDC, pp. 7439\u20137446. IEEE (2016). https:\/\/doi.org\/10.1109\/CDC.2016.7799418","DOI":"10.1109\/CDC.2016.7799418"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","volume":"4","author":"M Althoff","year":"2020","unstructured":"Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Ann. Rev. Control Robot. Auton. Syst. 4, 369\u2013395 (2020)","journal-title":"Ann. Rev. Control Robot. Auton. Syst."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-319-63387-9_20","volume-title":"Computer Aided Verification","author":"S Bak","year":"2017","unstructured":"Bak, S., Duggirala, P.S.: Simulation-equivalent reachability of large linear systems with inputs. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 401\u2013420. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_20"},{"issue":"36","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.21105\/joss.01043","volume":"4","author":"L Benet","year":"2019","unstructured":"Benet, L., Sanders, D.P.: TaylorSeries.jl: Taylor expansions in one and several variables in Julia. J. Open Sour. Softw. 4(36), 1043 (2019). https:\/\/doi.org\/10.21105\/joss.01043","journal-title":"J. Open Sour. Softw."},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Benet, L., Sanders, D.P.: JuliaIntervals\/IntervalArithmetic.jl, May 2021. https:\/\/github.com\/JuliaIntervals\/IntervalArithmetic.jl. https:\/\/doi.org\/10.5281\/zenodo.3336308","DOI":"10.5281\/zenodo.3336308"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Benet, L., Sanders, D.P.: JuliaIntervals\/TaylorModels.jl, June 2021. https:\/\/github.com\/JuliaIntervals\/TaylorModels.jl. https:\/\/doi.org\/10.5281\/zenodo.2613102","DOI":"10.5281\/zenodo.2613102"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: HSCC, pp. 39\u201344. ACM (2019). https:\/\/doi.org\/10.1145\/3302504.3311804","DOI":"10.1145\/3302504.3311804"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Viry, F., Podelski, A., Schilling, C.: Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. In: HSCC, pp. 41\u201350. ACM (2018). https:\/\/doi.org\/10.1145\/3178126.3178128","DOI":"10.1145\/3178126.3178128"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Viry, F., Podelski, A., Schilling, C.: Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 41\u201350 (2018)","DOI":"10.1145\/3178126.3178128"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1686-9","volume-title":"Mathematical Models in Population Biology and Epidemiology","author":"F Brauer","year":"2012","unstructured":"Brauer, F., Castillo-Chavez, C., Castillo-Chavez, C.: Mathematical Models in Population Biology and Epidemiology, vol. 2. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-1-4614-1686-9"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Burgers, J.: A mathematical model illustrating the theory of turbulence. In: Advances in Applied Mechanics, vol. 1, pp. 171\u2013199. Elsevier (1948). https:\/\/doi.org\/10.1016\/S0065-2156(08)70100-5","DOI":"10.1016\/S0065-2156(08)70100-5"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF02546499","volume":"59","author":"T Carleman","year":"1932","unstructured":"Carleman, T.: Application de la th\u00e9orie des \u00e9quations int\u00e9grales lin\u00e9aires aux syst\u00e8mes d\u2019\u00e9quations diff\u00e9rentielles non lin\u00e9aires. Acta Math. 59(1), 63\u201387 (1932)","journal-title":"Acta Math."},{"key":"6_CR13","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":"6_CR14","doi-asserted-by":"crossref","unstructured":"Collado, J., S\u00e1nchez, I.: Modified Carleman linearization and its use in oscillators. In: 2008 5th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2008, pp. 13\u201319. IEEE (2008)","DOI":"10.1109\/ICEEE.2008.4723445"},{"key":"6_CR15","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). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_17"},{"key":"6_CR16","unstructured":"Forets, M., Pouly, A.: Explicit error bounds for carleman linearization. arXiv preprint arXiv:1711.02552 (2017)"},{"key":"6_CR17","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":"6_CR18","doi-asserted-by":"crossref","unstructured":"Gaude, B.W.: Solving nonlinear aeronautical problems using the Carleman linearization method (2001)","DOI":"10.2172\/787644"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Germani, A., Manes, C., Palumbo, P.: Filtering of differential nonlinear systems via a Carleman approximation approach. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference, CDC-ECC 2005, pp. 5917\u20135922. IEEE (2005)","DOI":"10.1109\/CDC.2005.1583108"},{"key":"6_CR20","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":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11730637_21","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2006","unstructured":"Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 257\u2013271. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11730637_21"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11730637_23","volume-title":"Hybrid Systems: Computation and Control","author":"Z Han","year":"2006","unstructured":"Han, Z., Krogh, B.H.: Reachability analysis of large-scale affine systems using low-dimensional polytopes. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 287\u2013301. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11730637_23"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Hashemian, N., Armaou, A.: Fast moving horizon estimation of nonlinear processes via Carleman linearization. In: American Control Conference, ACC 2015, Chicago, IL, USA, 1\u20133 July 2015, pp. 3379\u20133385. IEEE (2015). https:\/\/doi.org\/10.1109\/ACC.2015.7171854. https:\/\/doi.org\/10.1109\/ACC.2015.7171854","DOI":"10.1109\/ACC.2015.7171854"},{"key":"6_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139020411","volume-title":"Matrix Analysis","author":"RA Horn","year":"2012","unstructured":"Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (2012)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-662-05148-1_2","volume-title":"Algebra, Geometry and Software Systems","author":"V Kaibel","year":"2003","unstructured":"Kaibel, V., Pfetsch, M.E.: Some algorithmic problems in polytope theory. In: Joswig, M., Takayama, N. (eds.) Algebra, Geometry and Software Systems, pp. 23\u201347. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-05148-1_2"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1080\/00207179.2010.543703","volume":"84","author":"S Kaynama","year":"2011","unstructured":"Kaynama, S., Oishi, M.: Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. Int. J. Control 84(1), 165\u2013179 (2011). https:\/\/doi.org\/10.1080\/00207179.2010.543703","journal-title":"Int. J. Control"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Kowalski, K., Steeb, W.H.: Nonlinear Dynamical Systems and Carleman Linearization. World Scientific (1991)","DOI":"10.1142\/1347"},{"key":"6_CR28","unstructured":"Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Universit\u00e9 Grenoble 1 - Joseph Fourier (2009)"},{"issue":"2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.nahs.2009.03.002","volume":"4","author":"C Le Guernic","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). https:\/\/doi.org\/10.1016\/j.nahs.2009.03.002","journal-title":"Nonlinear Anal.: Hybrid Syst."},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-030-57628-8_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D Li","year":"2020","unstructured":"Li, D., Bak, S., Bogomolov, S.: Reachability analysis of nonlinear systems using hybridization and dynamics scaling. In: Bertrand, N., Jansen, N. (eds.) FORMATS 2020. LNCS, vol. 12288, pp. 265\u2013282. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57628-8_16"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Liu, J.P., Kolden, H.\u00d8., Krovi, H.K., Loureiro, N.F., Trivisa, K., Childs, A.M.: Efficient quantum algorithm for dissipative nonlinear differential equations. Proc. Natl. Acad. Sci. 118(35) (2021)","DOI":"10.1073\/pnas.2026805118"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM (2009)","DOI":"10.1137\/1.9780898717716"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-69532-5_17","volume-title":"Mathematical Control Theory and Finance","author":"D Mozyrska","year":"2008","unstructured":"Mozyrska, D., Bartosiewicz, Z.: Carleman linearization of linearly observable polynomial systems. In: Sarychev, A., Shiryaev, A., Guerra, M., Grossinho, M.R. (eds.) Mathematical Control Theory and Finance, pp. 311\u2013323. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-69532-5_17"},{"issue":"19","key":"6_CR34","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1001\/jama.2020.6130","volume":"323","author":"A Pan","year":"2020","unstructured":"Pan, A., et al.: Association of public health interventions with the epidemiology of the COVID-19 outbreak in Wuhan. China. JAMA 323(19), 1915\u20131923 (2020). https:\/\/doi.org\/10.1001\/jama.2020.6130","journal-title":"China. JAMA"},{"key":"6_CR35","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Hern\u00e1ndez, J.A., Benet, L.: PerezHz\/TaylorIntegration.jl, May 2021. https:\/\/github.com\/PerezHz\/TaylorIntegration.jl. https:\/\/doi.org\/10.5281\/zenodo.2562352","DOI":"10.5281\/zenodo.2562352"},{"issue":"13","key":"6_CR36","doi-asserted-by":"publisher","first-page":"455","DOI":"10.3182\/20090819-3-PL-3002.00079","volume":"42","author":"A Rauh","year":"2009","unstructured":"Rauh, A., Minisini, J., Aschemann, H.: Carleman linearization for control and for state and disturbance estimation of nonlinear dynamical processes. IFAC Proc. Vol. 42(13), 455\u2013460 (2009)","journal-title":"IFAC Proc. Vol."},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.nahs.2015.08.006","volume":"19","author":"S Sankaranarayanan","year":"2016","unstructured":"Sankaranarayanan, S.: Change-of-bases abstractions for non-linear hybrid systems. Nonlinear Anal.: Hybrid Syst. 19, 107\u2013133 (2016). https:\/\/doi.org\/10.1016\/j.nahs.2015.08.006","journal-title":"Nonlinear Anal.: Hybrid Syst."},{"key":"6_CR38","doi-asserted-by":"publisher","unstructured":"Schilling, C., Forets, M.: JuliaReach\/LazySets.jl: v1.45.1, June 2021. https:\/\/github.com\/JuliaReach\/LazySets.jl. https:\/\/doi.org\/10.5281\/zenodo.4896008. Accessed 31 May 2021","DOI":"10.5281\/zenodo.4896008"},{"issue":"6","key":"6_CR39","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/0375-9601(89)90631-2","volume":"140","author":"WH Steeb","year":"1989","unstructured":"Steeb, W.H.: A note on Carleman linearization. Phys. Lett. A 140(6), 336\u2013338 (1989). https:\/\/doi.org\/10.1016\/0375-9601(89)90631-2","journal-title":"Phys. Lett. A"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Steeb, W.H., Hardy, Y.: Matrix Calculus and Kronecker Product: A Practical Approach to Linear and Multilinear Algebra. World Scientific (2011)","DOI":"10.1142\/8030"},{"issue":"3","key":"6_CR41","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/j.biosystems.2008.05.004","volume":"93","author":"G Zaman","year":"2008","unstructured":"Zaman, G., Han Kang, Y., Jung, I.H.: Stability analysis and optimal vaccination of an sir epidemic model. Biosystems 93(3), 240\u2013249 (2008). https:\/\/doi.org\/10.1016\/j.biosystems.2008.05.004","journal-title":"Biosystems"},{"key":"6_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1099-7","volume-title":"Matrix Theory: Basic Results and Techniques","author":"F Zhang","year":"2011","unstructured":"Zhang, F.: Matrix Theory: Basic Results and Techniques. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-1-4614-1099-7"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89716-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T19:08:19Z","timestamp":1725995299000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89716-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030897154","9783030897161"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89716-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reachability Problems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Liverpool","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rp2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rp2021.csc.liv.ac.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}