{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:23:44Z","timestamp":1771572224854,"version":"3.50.1"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Aerosp. Electron. Syst."],"published-print":{"date-parts":[[2012]]},"DOI":"10.1109\/taes.2012.6178080","type":"journal-article","created":{"date-parts":[[2012,4,11]],"date-time":"2012-04-11T18:51:14Z","timestamp":1334170274000},"page":"1583-1600","source":"Crossref","is-referenced-by-count":39,"title":["Reachability Results for Nonlinear Systems with Ellipsoidal Initial Sets"],"prefix":"10.1109","volume":"48","author":[{"given":"Marcus J.","family":"Holzinger","sequence":"first","affiliation":[]},{"given":"Daniel J.","family":"Scheeres","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2514\/4.861550"},{"key":"ref31","author":"mitchell","year":"2007","journal-title":"A toolbox of level set methods UBC Department of Computer Science Technical Report TR-2007–11"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.981139"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"ref13","first-page":"477","author":"prajna","year":"2004","journal-title":"Safety verification of hybrid systems using barrier certificates In Hybrid Systems Computation and Control"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/11730637_27","author":"kloetzer","year":"2006","journal-title":"Reachability analysis of multi-affine systems In Hybrid Systems Computation and Control"},{"key":"ref15","article-title":"Applications of poly topic approximations of reachable sets to linear dynamic games and a class of nonlinear systems","author":"hwang","year":"2003","journal-title":"Proceedings of the American Control Conference"},{"key":"ref16","first-page":"257","author":"girard","year":"2006","journal-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs In Hybrid Systems Computation and Control"},{"key":"ref17","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","author":"kurzhanski","year":"2000","journal-title":"Ellipsoidal techniques for reachability analysis In Hybrid Systems Computation and Control"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90002-2"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2004.01.012","article-title":"On reachability and minimum cost optimal control.","volume":"40","author":"lygeros","year":"2004","journal-title":"Automatica"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/1999247"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184805"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref29","author":"sethian","year":"1996","journal-title":"Level Set Methods Evolving Interfaces In Geometry Fluid Mechanics Computer Vision And Materials Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9029-4"},{"key":"ref8","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":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026497115405"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-45351-2_34","article-title":"Validating a Hamilton-Jacobi approximation to hybrid system reachable sets","author":"mitchell","year":"2001","journal-title":"Proceedings of the 4th International Workshop of Hybrid Systems Computation and Control"},{"key":"ref1","first-page":"377","article-title":"Reach set computation using optimal control","author":"varaiya","year":"1998","journal-title":"Proceedings of the KIT Workshop on Verification of Hybrid Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012999361093"},{"key":"ref22","author":"gelb","year":"1974","journal-title":"(Ed ) Applied Optimal Estimation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377784"},{"key":"ref24","author":"fleming","year":"2006","journal-title":"Controlled Markov Processes and Viscosity Solutions"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912904"},{"key":"ref26","first-page":"140","author":"sussmann","year":"1998","journal-title":"Geometry and optimal control In Mathematical Control Theory"},{"key":"ref25","author":"lawden","year":"2003","journal-title":"Analytical Methods of Optimization"}],"container-title":["IEEE Transactions on Aerospace and Electronic Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7\/6178035\/06178080.pdf?arnumber=6178080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:42:27Z","timestamp":1642005747000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6178080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":32,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/taes.2012.6178080","relation":{},"ISSN":["0018-9251"],"issn-type":[{"value":"0018-9251","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}