{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:04:00Z","timestamp":1729623840314,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6314741","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:55:22Z","timestamp":1405547722000},"page":"1488-1493","source":"Crossref","is-referenced-by-count":12,"title":["Trajectory enclosures for nonlinear systems with uncertain initial conditions and parameters"],"prefix":"10.1109","author":[{"given":"E.","family":"August","sequence":"first","affiliation":[]},{"given":"J.","family":"Lu","sequence":"additional","affiliation":[]},{"given":"H.","family":"Koeppl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470374"},{"journal-title":"SOSTOOLS - Sum of Squares Optimization Toolbox User's Guide","year":"2002","author":"prajna","key":"18"},{"journal-title":"Mathematical Biology","year":"1990","author":"murray","key":"15"},{"journal-title":"Geometric Numerical Integration Structure-Preserving Algorithms for Ordinary Differential Equations","year":"2006","author":"hairer","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1186\/1752-0509-4-38","article-title":"Discriminating between rival biochemical network models: Three approaches to optimal experiment design","volume":"4","author":"me?lyku?ti","year":"2010","journal-title":"BMC Systems Biology"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.871776"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"12","first-page":"9218","article-title":"Invariant funnels around trajectories using sum-of-squares programming","author":"tobenkin","year":"2011","journal-title":"18th IFAC World Congress"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"20","first-page":"370","article-title":"Verified simulation of ODEs and DAEs in ValEncIA-IVP","volume":"15","author":"rauh","year":"2011","journal-title":"Reliable Computing"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0602767103"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011432","author":"alon","year":"2006","journal-title":"An Introduction to Systems Biology Design Principles of Biological Circuits"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1230759100"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.01.032"},{"key":"28","first-page":"442","article-title":"Stability and dissipativity theory for nonnegative dynamical systems: A thermodynamic framework for biological and physiological systems","author":"haddad","year":"2001","journal-title":"Proc IEEE Conf Dec Contr"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2009.04.047"},{"key":"3","first-page":"4","article-title":"Interval tools for ODEs and DAEs","author":"nedialkov","year":"2006","journal-title":"12th GAMM - Imacs International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics"},{"key":"2","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"makino","year":"2003","journal-title":"International Journal of Pure and Applied Mathematics"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1134\/S0081543810070072"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/050638448"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592948"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6918-6_14"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1577190.1577206"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.apnum.2006.10.006"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7946(06)80041-6"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2005.01.009"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06314741.pdf?arnumber=6314741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T08:23:13Z","timestamp":1649665393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6314741\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6314741","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}