{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:28:55Z","timestamp":1729614535655,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717641","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"5695-5700","source":"Crossref","is-referenced-by-count":3,"title":["Convex enclosures for the reachable sets of nonlinear parametric ordinary differential equations"],"prefix":"10.1109","author":[{"given":"Joseph K.","family":"Scott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul I.","family":"Barton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.919848"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623499350013"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","volume":"1790","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026497115405"},{"key":"ref12","first-page":"295","article-title":"Dynamic models with uncertain parameters","volume":"1","author":"harrison","year":"1977","journal-title":"Proceedings of the First International Conference on Mathematical Modeling"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/040604388"},{"key":"ref15","article-title":"Tight, efficient bounds on the solutions of chemical kinetics models","author":"scott","year":"2009","journal-title":"Computers and Chemical Engineering"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1134\/S000511790709007X"},{"key":"ref17","first-page":"2089","article-title":"Computing polyhedral approximations to flow pipes for dynamic systems","volume":"2","author":"chutinan","year":"1998","journal-title":"Proc 37th IEEE Conference on Decision and Control"},{"key":"ref18","first-page":"255","article-title":"Convexity of the reachable sets of nonlinear systems under L2bounded controls","volume":"11","author":"polyak","year":"2004","journal-title":"Dynamics of Continuous Discrete and Impulsive Systems Series A Mathematical Analysis"},{"journal-title":"A Unified Computational Approach to Optimal Control Problems","year":"1991","author":"teo","key":"ref19"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/aic.11535"},{"journal-title":"Nonlinear Programming","year":"1995","author":"bertsekas","key":"ref27"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582901"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1063\/1.4822377"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690480110"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_7"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","volume":"1569","author":"chutinan","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377614"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"553","DOI":"10.23919\/ACC.2004.1383661","article-title":"Geometric programming relaxations for linear system reachability","volume":"1","author":"yazarel","year":"2004","journal-title":"Proceedings of the 2004 American Control Conference ACC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1991.261702"},{"journal-title":"Nonlinear Convex and Concave Relaxations for the Solutions of Parametric ODEs","year":"2009","author":"scott","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580665"},{"journal-title":"Generalized McCormick relaxations","year":"2009","author":"scott","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/080717341"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","article-title":"Validated Solutions of initial value problems for parametric ODEs","volume":"57","author":"stadtherr","year":"2007","journal-title":"Applied Numerical Mathematics"},{"journal-title":"libMC A numeric library for McCormick relaxation of factorable functions","year":"2007","author":"chachuat","key":"ref25"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717641.pdf?arnumber=5717641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T15:12:49Z","timestamp":1560006769000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717641","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}