{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:33:03Z","timestamp":1768347183260,"version":"3.49.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T00:00:00Z","timestamp":1455840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100008272","name":"Novartis Pharmaceuticals Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008272","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Control Signals Syst."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s00498-015-0153-2","type":"journal-article","created":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T03:18:54Z","timestamp":1455851934000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Efficient polyhedral enclosures for the reachable set of nonlinear control systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Stuart M.","family":"Harwood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul I.","family":"Barton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,19]]},"reference":[{"key":"153_CR1","doi-asserted-by":"crossref","unstructured":"Althoff M, Stursberg O, Buss M (2008) Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of the 47th IEEE conference on decision and control, pp 4042\u20134048","DOI":"10.1109\/CDC.2008.4738704"},{"key":"153_CR2","first-page":"207","volume-title":"Robustness in identification and control, lecture notes in control and information sciences","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Robust model predictive control: a survey. In: Garulli A, Tesi A (eds) Robustness in identification and control, lecture notes in control and information sciences. Springer, London, pp 207\u2013226"},{"key":"153_CR3","volume-title":"Generalized inverses: theory and applications","author":"A Ben-Israel","year":"2003","unstructured":"Ben-Israel A, Greville TNE (2003) Generalized inverses: theory and applications, 2nd edn. Springer, New York","edition":"2"},{"key":"153_CR4","volume-title":"Introduction to linear optimization","author":"D Bertsimas","year":"1997","unstructured":"Bertsimas D, Tsitsiklis JN (1997) Introduction to linear optimization. Athena Scientific, Belmont"},{"key":"153_CR5","doi-asserted-by":"crossref","unstructured":"Chachuat B, Villanueva M (2012) Bounding the solutions of parametric ODEs: when Taylor models meet differential inequalities. In: Bogle IDL, Fairweather M (eds) Proceedings of the 22nd European symposium on computer aided process engineering, pp 17\u201320","DOI":"10.1016\/B978-0-444-59520-1.50120-2"},{"key":"153_CR6","doi-asserted-by":"crossref","unstructured":"Chutinan A, Krogh BH (1998) 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","DOI":"10.1109\/CDC.1998.758642"},{"issue":"1","key":"153_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/TAC.2002.806655","volume":"48","author":"A Chutinan","year":"2003","unstructured":"Chutinan A, Krogh BH (2003) Computational techniques for hybrid system verification. IEEE Trans Autom Control 48(1):64\u201375","journal-title":"IEEE Trans Autom Control"},{"key":"153_CR8","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid systems: computation and control","author":"T Dang","year":"1998","unstructured":"Dang T, Maler O (1998) Reachability analysis via face lifting. In: Henzinger T, Sastry S (eds) Hybrid systems: computation and control. Springer, Berlin, pp 96\u2013109"},{"issue":"2","key":"153_CR9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1137\/1034050","volume":"34","author":"AL Dontchev","year":"1992","unstructured":"Dontchev AL, Lempio F (1992) Difference methods for differential inclusions: a survey. SIAM Rev 34(2):263\u2013294","journal-title":"SIAM Rev"},{"key":"153_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7793-9","volume-title":"Differential equations with discontinuous righthand sides","author":"AF Filippov","year":"1988","unstructured":"Filippov AF (1988) Differential equations with discontinuous righthand sides. Kluwer Academic, Boston"},{"issue":"409","key":"153_CR11","first-page":"1","volume":"15","author":"JA Gomez","year":"2014","unstructured":"Gomez JA, H\u00f6ffner K, Barton PI (2014) DFBAlab: a fast and reliable MATLAB code for dynamic flux balance analysis. BMC Bioinform 15(409):1\u201310","journal-title":"BMC Bioinform"},{"key":"153_CR12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-64358-3_38","volume-title":"Hybrid systems: computation and control","author":"MR Greenstreet","year":"1998","unstructured":"Greenstreet MR, Mitchell I (1998) Integrating projections. In: Henzinger T, Sastry S (eds) Hybrid systems: computation and control. Springer, Berlin, pp 159\u2013174"},{"key":"153_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-48983-5_12","volume-title":"Hybrid systems: computation and control, lecture notes in computer science","author":"MR Greenstreet","year":"1999","unstructured":"Greenstreet MR, Mitchell I (1999) Reachability analysis using polygonal projections. In: Vaandrager FW, van Schuppen JH (eds) Hybrid systems: computation and control, lecture notes in computer science. Springer, Berlin, pp 103\u2013116"},{"key":"153_CR14","unstructured":"Harrison GW (1977) Dynamic models with uncertain parameters. In: Avula XJR (ed) Proceedings of the first international conference on mathematical modeling, vol 1, pp 295\u2013304. University of Missouri Rolla"},{"key":"153_CR15","author":"SM Harwood","year":"2015","unstructured":"Harwood SM, H\u00f6ffner K, Barton PI (2015) Efficient solution of ordinary differential equations with a parametric lexicographic linear program embedded. Numerische Mathematik. doi: 10.1007\/s00211-015-0760-3","journal-title":"Numerische Mathematik"},{"key":"153_CR16","doi-asserted-by":"crossref","unstructured":"Harwood SM, Scott JK, Barton PI (2013) Bounds on reachable sets using ordinary differential equations with linear programs embedded. In: Tarbouriech S, Krstic M (eds) Nonlinear control systems, vol 9, pp 62\u201367","DOI":"10.3182\/20130904-3-FR-2041.00031"},{"key":"153_CR17","author":"SM Harwood","year":"2015","unstructured":"Harwood SM, Scott JK, Barton PI (2015) Bounds on reachable sets using ordinary differential equations with linear programs embedded. IMA J Math Control Inf. doi: 10.1093\/imamci\/dnu054","journal-title":"IMA J Math Control Inf"},{"issue":"3","key":"153_CR18","doi-asserted-by":"crossref","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 Soft 31(3):363\u2013396","journal-title":"ACM Trans Math Soft"},{"key":"153_CR19","unstructured":"Hwang I, Stipanovic DM, Tomlin CJ (2003) Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems. In: Proceedings of the American control conference, vol 6, pp 4613\u20134619"},{"key":"153_CR20","unstructured":"IBM: IBM ILOG CPLEX: high performance mathematical programming solver. http:\/\/www-01.ibm.com\/software\/commerce\/optimization\/cplex-optimizer\/ (2014)"},{"issue":"2","key":"153_CR21","doi-asserted-by":"crossref","first-page":"365","DOI":"10.3934\/dcdsb.2009.11.365","volume":"11","author":"T Kapela","year":"2009","unstructured":"Kapela T, Zgliczy\u0144ski P (2009) A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete Contin Dyn Syst Ser B 11(2):365\u2013385","journal-title":"Discrete Contin Dyn Syst Ser B"},{"issue":"1\u20134","key":"153_CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/B:NUMA.0000049466.96588.a6","volume":"37","author":"M Kieffer","year":"2004","unstructured":"Kieffer M, Walter E (2004) Guaranteed nonlinear state estimator for cooperative systems. Numer Algorithms 37(1\u20134):187\u2013198","journal-title":"Numer Algorithms"},{"key":"153_CR23","volume-title":"Numerical methods for ordinary differential systems: the initial value problem","author":"JD Lambert","year":"1991","unstructured":"Lambert JD (1991) Numerical methods for ordinary differential systems: the initial value problem. Wiley, New York"},{"key":"153_CR24","unstructured":"Le Guernic C (2009) Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Universit\u00e9 Joseph-Fourier"},{"issue":"10","key":"153_CR25","doi-asserted-by":"crossref","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":"153_CR26","doi-asserted-by":"crossref","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"},{"key":"153_CR27","unstructured":"Makino K, Berz M (1996) Remainder differential algebras and their applications. In: Berz M, Bischof C, Corliss G, Griewank A (eds) Computational differentiation: techniques, applications, and tools, Chap 5, pp 63\u201375. SIAM"},{"issue":"3","key":"153_CR28","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1137\/0325033","volume":"25","author":"OL Mangasarian","year":"1987","unstructured":"Mangasarian OL, Shiau TH (1987) Lipschitz continuity of solutions of linear inequalities, programs, and complementarity problems. SIAM J Control Optim 25(3):583\u2013595","journal-title":"SIAM J Control Optim"},{"key":"153_CR29","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719178","volume-title":"Ordinary differential equations in theory and practice","author":"R Mattheij","year":"2002","unstructured":"Mattheij R, Molenaar J (2002) Ordinary differential equations in theory and practice. SIAM, Philadelphia"},{"key":"153_CR30","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid systems: computation and control","author":"I Mitchell","year":"2000","unstructured":"Mitchell I, Tomlin CJ (2000) Level set methods for computation in hybrid systems. In: Lynch N, Krogh BH (eds) Hybrid systems: computation and control. Springer, Berlin, pp 310\u2013323"},{"issue":"7","key":"153_CR31","doi-asserted-by":"crossref","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":"2","key":"153_CR32","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1137\/080717341","volume":"20","author":"A Mitsos","year":"2009","unstructured":"Mitsos A, Chachuat B, Barton PI (2009) McCormick-based relaxations of algorithms. SIAM J Optim 20(2):573\u2013601","journal-title":"SIAM J Optim"},{"key":"153_CR33","doi-asserted-by":"crossref","unstructured":"Nedialkov NS (1999) Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. Ph.D. thesis, University of Toronto","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"153_CR34","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, New York"},{"issue":"10","key":"153_CR35","doi-asserted-by":"crossref","first-page":"2352","DOI":"10.1109\/TAC.2009.2028974","volume":"54","author":"N Ramdani","year":"2009","unstructured":"Ramdani N, Meslem N, Candau Y (2009) A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems. IEEE Trans Autom Control 54(10):2352\u20132364","journal-title":"IEEE Trans Autom Control"},{"key":"153_CR36","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.nahs.2010.05.010","volume":"5","author":"N Ramdani","year":"2011","unstructured":"Ramdani N, Nedialkov NS (2011) Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Anal Hybrid Syst 5:149\u2013162","journal-title":"Nonlinear Anal Hybrid Syst"},{"key":"153_CR37","unstructured":"Scott JK (2012) Reachability analysis and deterministic global optimization of differential-algebraic systems. Ph.D. thesis, Massachusetts Institute of Technology"},{"issue":"5","key":"153_CR38","doi-asserted-by":"crossref","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(5):717\u2013731","journal-title":"Comput Chem Eng"},{"issue":"1","key":"153_CR39","doi-asserted-by":"crossref","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":"153_CR40","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10898-012-9909-0","volume":"57","author":"JK Scott","year":"2013","unstructured":"Scott JK, Barton PI (2013) Improved relaxations for the parametric solutions of ODEs using differential inequalities. J Glob Optim 57:143\u2013176","journal-title":"J Glob Optim"},{"issue":"2","key":"153_CR41","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/oca.2014","volume":"34","author":"JK Scott","year":"2013","unstructured":"Scott JK, Chachuat B, Barton PI (2013) Nonlinear convex and concave relaxations for the solutions of parametric ODEs. Optimal Control Appl Methods 34(2):145\u2013163","journal-title":"Optimal Control Appl Methods"},{"issue":"6","key":"153_CR42","doi-asserted-by":"crossref","first-page":"2167","DOI":"10.1137\/040604388","volume":"27","author":"AB Singer","year":"2006","unstructured":"Singer AB, Barton PI (2006) Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM J Sci Comput 27(6):2167\u20132182","journal-title":"SIAM J Sci Comput"},{"issue":"2","key":"153_CR43","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10898-005-7074-4","volume":"34","author":"AB Singer","year":"2006","unstructured":"Singer AB, Barton PI (2006) Global optimization with nonlinear ordinary differential equations. J Glob Optim 34(2):159\u2013190","journal-title":"J Glob Optim"},{"issue":"8","key":"153_CR44","doi-asserted-by":"crossref","first-page":"1858","DOI":"10.1002\/aic.690440815","volume":"44","author":"B Srinivasan","year":"1998","unstructured":"Srinivasan B, Amrhein M, Bonvin D (1998) Reaction and flow variants\/invariants in chemical reaction systems with inlet and outlet streams. AIChE J 44(8):1858\u20131867","journal-title":"AIChE J"},{"key":"153_CR45","volume-title":"Differential inequalities","author":"J Szarski","year":"1965","unstructured":"Szarski J (1965) Differential inequalities. Polish Scientific, Warszawa"},{"key":"153_CR46","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/BFb0121040","volume":"24","author":"RJB Wets","year":"1985","unstructured":"Wets RJB (1985) On the continuity of the value of a linear program and of related polyhedral-valued multifunctions. Math Program Study 24:14\u201329","journal-title":"Math Program Study"}],"container-title":["Mathematics of Control, Signals, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00498-015-0153-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00498-015-0153-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00498-015-0153-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T15:20:10Z","timestamp":1567610410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00498-015-0153-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,19]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["153"],"URL":"https:\/\/doi.org\/10.1007\/s00498-015-0153-2","relation":{},"ISSN":["0932-4194","1435-568X"],"issn-type":[{"value":"0932-4194","type":"print"},{"value":"1435-568X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,19]]},"article-number":"8"}}