{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T23:27:22Z","timestamp":1770679642619,"version":"3.49.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T00:00:00Z","timestamp":1582675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T00:00:00Z","timestamp":1582675200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"crossref","award":["FA9550-16-1- 0158"],"award-info":[{"award-number":["FA9550-16-1- 0158"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Control Signals Syst."],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s00498-020-00254-y","type":"journal-article","created":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T06:02:57Z","timestamp":1582696977000},"page":"101-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities"],"prefix":"10.1007","volume":"32","author":[{"given":"Kai","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1518-0721","authenticated-orcid":false,"given":"Joseph K.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,26]]},"reference":[{"issue":"4","key":"254_CR1","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","volume":"30","author":"M Althoff","year":"2014","unstructured":"Althoff M, Dolan JM (2014) Online verification of automated road vehicles using reachability analysis. IEEE Trans Rob 30(4):903\u2013918","journal-title":"IEEE Trans Rob"},{"key":"254_CR2","doi-asserted-by":"crossref","unstructured":"Althoff M, Stursberg O, Buss M (2008) Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: 47th IEEE conference on decision and control, pp 4042\u20134048","DOI":"10.1109\/CDC.2008.4738704"},{"issue":"4","key":"254_CR3","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1002\/bit.10036","volume":"75","author":"O Bernard","year":"2001","unstructured":"Bernard O, Hadj-Sadok Z, Dochain D, Genovesi A, Steyer JP (2001) Dynamical model development and parameter identification for an anaerobic wastewater treatment process. Biotechnol Bioeng 75(4):424\u2013438","journal-title":"Biotechnol Bioeng"},{"issue":"8","key":"254_CR4","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1016\/j.micpro.2015.10.006","volume":"39","author":"D Bresolin","year":"2015","unstructured":"Bresolin D, Geretti L, Muradore R, Fiorini P, Villa T (2015) Formal verification of robotic surgery tasks by reachability analysis. Microprocess Microsyst 39(8):836\u2013842","journal-title":"Microprocess Microsyst"},{"key":"254_CR5","volume-title":"Optimal control with engineering applications","author":"H Geering","year":"2007","unstructured":"Geering H (2007) Optimal control with engineering applications. Springer, Berlin"},{"key":"254_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-54862-8_19","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"K Ghorbal","year":"2014","unstructured":"Ghorbal K, Platzer A (2014) Characterizing algebraic invariants by differential radical invariants. In: \u00c1brah\u00e1m E, Havelund K (eds) Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 279\u2013294"},{"key":"254_CR7","doi-asserted-by":"crossref","unstructured":"Hariprasad K, Bhartiya S (2014) Adaptive robust model predictive control of nonlinear systems using tubes based on interval inclusions. In: 53rd IEEE conference on decision and control, pp 2032\u20132037","DOI":"10.1109\/CDC.2014.7039697"},{"key":"254_CR8","unstructured":"Harrison GW (1977) Dynamic models with uncertain parameters. In: Avula X (ed.) Proceedings of the first international conference on mathematical modeling, vol\u00a01, pp 295\u2013304"},{"issue":"1","key":"254_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/s00498-015-0153-2","volume":"28","author":"SM Harwood","year":"2016","unstructured":"Harwood SM, Barton PI (2016) Efficient polyhedral enclosures for the reachable set of nonlinear control systems. Math Control Signal 28(1):8","journal-title":"Math Control Signal"},{"key":"254_CR10","first-page":"1","volume":"39","author":"SM Harwood","year":"2017","unstructured":"Harwood SM, Barton PI (2017) Affine relaxations for the solutions of constrained parametric ordinary differential equations. Optim Control Appl Methods 39:1\u201322","journal-title":"Optim Control Appl Methods"},{"issue":"2","key":"254_CR11","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1093\/imamci\/dnu054","volume":"33","author":"SM Harwood","year":"2016","unstructured":"Harwood SM, Scott JK, Barton PI (2016) Bounds on reachable sets using ordinary differential equations with linear programs embedded. IMA J Math Control Inf 33(2):519\u2013541","journal-title":"IMA J Math Control Inf"},{"key":"254_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"AC Hindmarsh","year":"2005","unstructured":"Hindmarsh AC, Brown PN, Grant KE, Lee SL, Serban R, Shumaker DE, Woodward CS (2005) SUNDIALS, suite of nonlinear and differential\/algebraic equation solvers. ACM Trans Math Softw 31:363\u2013396","journal-title":"ACM Trans Math Softw"},{"issue":"1","key":"254_CR13","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/s10957-013-0426-1","volume":"162","author":"B Houska","year":"2014","unstructured":"Houska B, Chachuat B (2014) Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control. J Optim Theor Appl 162(1):208\u2013248","journal-title":"J Optim Theor Appl"},{"key":"254_CR14","doi-asserted-by":"crossref","unstructured":"Houska B, Villanueva M, Chachuat B (2013) A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus. In: 52nd IEEE conference on decision and control, pp 484\u2013489","DOI":"10.1109\/CDC.2013.6759928"},{"issue":"5","key":"254_CR15","doi-asserted-by":"publisher","first-page":"2307","DOI":"10.1137\/140976807","volume":"53","author":"B Houska","year":"2015","unstructured":"Houska B, Villanueva ME, Chachuat B (2015) Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations. SIAM J Numer Anal 53(5):2307\u20132328","journal-title":"SIAM J Numer Anal"},{"key":"254_CR16","first-page":"223","volume-title":"Trajectory based verification using local finite-time invariance","author":"AA Julius","year":"2009","unstructured":"Julius AA, Pappas GJ (2009) Trajectory based verification using local finite-time invariance. Springer, Berlin, pp 223\u2013236"},{"issue":"14","key":"254_CR17","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1049\/iet-cta.2013.0607","volume":"8","author":"M Kishida","year":"2014","unstructured":"Kishida M, Braatz RD (2014) Skewed structured singular value-based approach for the construction of design spaces: theory and applications. IET Control Theory A 8(14):1321\u20131327","journal-title":"IET Control Theory A"},{"issue":"3","key":"254_CR18","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1002\/acs.1207","volume":"25","author":"A Kurzhanski","year":"2011","unstructured":"Kurzhanski A (2011) Hamiltonian techniques for the problem of set-membership state estimation. Int J Adapt Control Signal Process 25(3):249\u2013263","journal-title":"Int J Adapt Control Signal Process"},{"key":"254_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036069","volume-title":"Robot motion planning and control","author":"JPP Laumond","year":"1998","unstructured":"Laumond JPP (1998) Robot motion planning and control. Springer, New York"},{"issue":"3","key":"254_CR20","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1049\/ip-cta:20040480","volume":"152","author":"D Limon","year":"2005","unstructured":"Limon D, Bravo JM, Alamo T, Camacho EF (2005) Robust MPC of constrained nonlinear systems based on interval arithmetic. IEE Proc Control Theor Appl 152(3):325\u2013332","journal-title":"IEE Proc Control Theor Appl"},{"issue":"10","key":"254_CR21","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y Lin","year":"2007","unstructured":"Lin Y, Stadtherr MA (2007) Validated solutions of initial value problems for parametric ODEs. Appl Numer Math 57(10):1145\u20131162","journal-title":"Appl Numer Math"},{"issue":"9","key":"254_CR22","doi-asserted-by":"publisher","first-page":"2335","DOI":"10.1002\/aic.11535","volume":"54","author":"Y Lin","year":"2008","unstructured":"Lin Y, Stadtherr MA (2008) Fault detection in nonlinear continuous-time systems with uncertain parameters. AIChE J 54(9):2335\u20132345","journal-title":"AIChE J"},{"issue":"1","key":"254_CR23","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 (2015) Reachability analysis of nonlinear systems using matrix measures. IEEE Trans Autom Control 60(1):265\u2013270","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"254_CR24","first-page":"379","volume":"4","author":"K Makino","year":"2003","unstructured":"Makino K, Berz M (2003) Taylor models and other validated functional inclusion methods. Int J Pure Appl Math 4(4):379\u2013456","journal-title":"Int J Pure Appl Math"},{"issue":"7","key":"254_CR25","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1109\/TAC.2005.851439","volume":"50","author":"IM Mitchell","year":"2005","unstructured":"Mitchell IM, Bayen AM, Tomlin CJ (2005) A time-dependent Hamilton\u2013Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans Autom Control 50(7):947\u2013957","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"254_CR26","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.automatica.2008.07.006","volume":"45","author":"M Moisan","year":"2009","unstructured":"Moisan M, Bernard O, Gouze JL (2009) Near optimal interval observers bundle for uncertain bioreactors. Automatica 45(1):291\u2013295","journal-title":"Automatica"},{"issue":"1","key":"254_CR27","first-page":"21","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov NS, Jackson KR, Corliss GF (1999) Validated solutions of initial value problems for ordinary differential equations. Appl Math Comput 105(1):21\u201368","journal-title":"Appl Math Comput"},{"key":"254_CR28","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier A (1990) Interval methods for systems of equations. Cambridge University Press, Cambridge"},{"key":"254_CR29","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.automatica.2016.07.033","volume":"74","author":"D Raimondo","year":"2016","unstructured":"Raimondo D, Marseglia G, Braatz R, Scott J (2016) Closed-loop input design for guaranteed fault diagnosis using set-valued observers. Automatica 74:107\u2013117","journal-title":"Automatica"},{"issue":"10","key":"254_CR30","doi-asserted-by":"publisher","first-page":"1771","DOI":"10.1016\/j.automatica.2004.05.006","volume":"40","author":"T Raissi","year":"2004","unstructured":"Raissi T, Ramdani N, Candau Y (2004) Set membership state and parameter estimation for systems described by nonlinear differential equations. Automatica 40(10):1771\u20131777","journal-title":"Automatica"},{"issue":"1","key":"254_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s00211-013-0532-x","volume":"125","author":"J Scott","year":"2011","unstructured":"Scott J, Barton P (2011) Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation. Numer Math 125(1):27\u201360","journal-title":"Numer Math"},{"key":"254_CR32","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-319-22428-2_2","volume-title":"Surveys in differential algebraic equations III","author":"J Scott","year":"2015","unstructured":"Scott J, Barton P (2015) Reachability analysis and deterministic global optimization of DAE models. In: Ilchman A, Reis T (eds) Surveys in differential algebraic equations III, vol 3. Springer, Berlin, pp 61\u2013116"},{"key":"254_CR33","unstructured":"Scott JK (2012) Reachability analysis and deterministic global optimization of differential-algebraic systems. Ph.D. thesis, Massachusetts Institute of Technology"},{"key":"254_CR34","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.compchemeng.2009.11.021","volume":"34","author":"JK Scott","year":"2010","unstructured":"Scott JK, Barton PI (2010) Tight, efficient bounds on the solutions of chemical kinetics models. Comput Chem Eng 34:717\u2013731","journal-title":"Comput Chem Eng"},{"issue":"1","key":"254_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00211-013-0531-y","volume":"125","author":"JK Scott","year":"2011","unstructured":"Scott JK, Barton PI (2011) Interval bounds on the solutions of semi-explicit index-one DAEs. Part 1: analysis. Numer Math 125(1):1\u201325","journal-title":"Numer Math"},{"issue":"1","key":"254_CR36","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.automatica.2012.09.020","volume":"49","author":"JK Scott","year":"2013","unstructured":"Scott JK, Barton PI (2013) Bounds on the reachable sets of nonlinear control systems. Automatica 49(1):93\u2013100","journal-title":"Automatica"},{"key":"254_CR37","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.automatica.2016.02.036","volume":"69","author":"JK Scott","year":"2016","unstructured":"Scott JK, Raimondo DM, Marseglia GR, Braatz RD (2016) Constrained zonotopes: a new tool for set-based estimation and fault detection. Automatica 69:126\u2013136","journal-title":"Automatica"},{"key":"254_CR38","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/j.compchemeng.2017.08.001","volume":"106","author":"K Shen","year":"2017","unstructured":"Shen K, Scott JK (2017) Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy. Comput Chem Eng 106:596\u2013608","journal-title":"Comput Chem Eng"},{"key":"254_CR39","doi-asserted-by":"crossref","unstructured":"Shen K, Scott JK (2018) Tight reachability bounds for nonlinear systems using nonlinear and uncertain solution invariants. In: 2018 annual american control conference (ACC), pp 6236\u20136241","DOI":"10.23919\/ACC.2018.8431526"},{"key":"254_CR40","series-title":"Atlantis studies in differential equations","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-6239-021-8","volume-title":"Ordinary differential equations and dynamical systems","author":"T Sideris","year":"2013","unstructured":"Sideris T (2013) Ordinary differential equations and dynamical systems. Atlantis studies in differential equations. Atlantis Press, Paris"},{"key":"254_CR41","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10898-005-7074-4","volume":"34","author":"A Singer","year":"2006","unstructured":"Singer A, Barton P (2006) Global optimization with nonlinear ordinary differential equations. J Glob Optim 34:159\u2013190","journal-title":"J Glob Optim"},{"key":"254_CR42","doi-asserted-by":"crossref","unstructured":"Villanueva ME, Feng X, Paulen R, Chachuat B, Houska B (2019) Convex enclosures for constrained reachability tubes. IFAC-PapersOnLine 52(1):118\u2013123. In: 12th IFAC symposium on dynamics and control of process systems, including biosystems DYCOPS 2019","DOI":"10.1016\/j.ifacol.2019.06.047"},{"issue":"3","key":"254_CR43","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s10898-014-0235-6","volume":"62","author":"ME Villanueva","year":"2015","unstructured":"Villanueva ME, Houska B, Chachuat B (2015) Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs. J Glob Optim 62(3):575\u2013613","journal-title":"J Glob Optim"},{"key":"254_CR44","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.automatica.2016.11.022","volume":"77","author":"ME Villanueva","year":"2017","unstructured":"Villanueva ME, Quirynen R, Diehl M, Chachuat B, Houska B (2017) Robust MPC via minmax differential inequalities. Automatica 77:311\u2013321","journal-title":"Automatica"},{"issue":"22","key":"254_CR45","doi-asserted-by":"publisher","first-page":"12678","DOI":"10.1021\/ie200996f","volume":"50","author":"Y Zhao","year":"2011","unstructured":"Zhao Y, Stadtherr MA (2011) Rigorous global optimization for dynamic systems subject to inequality path constraints. Ind Eng Chem Res 50(22):12678\u201312693","journal-title":"Ind Eng Chem Res"}],"container-title":["Mathematics of Control, Signals, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00498-020-00254-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00498-020-00254-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00498-020-00254-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T00:26:59Z","timestamp":1614212819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00498-020-00254-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,26]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s00498-020-00254-y","relation":{},"ISSN":["0932-4194","1435-568X"],"issn-type":[{"value":"0932-4194","type":"print"},{"value":"1435-568X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,26]]},"assertion":[{"value":"18 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}