{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:31:13Z","timestamp":1729675873362,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160728","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"7317-7324","source":"Crossref","is-referenced-by-count":3,"title":["Reachability set subspace computation for nonlinear systems using sampling methods"],"prefix":"10.1109","author":[{"given":"Marcus J.","family":"Holzinger","sequence":"first","affiliation":[]},{"given":"Daniel J.","family":"Scheeres","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-007-9174-4"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1416-8_5"},{"journal-title":"Level Set Methods Evolving Interfaces In Geometry Fluid Mechanics Computer Vision And Materials Science","year":"1996","author":"sethian","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.981139"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.2307\/1999247"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90002-2"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"14","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11730637_21","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"12","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"2008","journal-title":"Proc of the 17th IFAC World Congress"},{"journal-title":"Analytical Methods of Optimization","year":"2003","author":"lawden","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184805"},{"journal-title":"Controlled Markov Processes and Viscosity Solutions","year":"2006","author":"fleming","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026497115405"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_15"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1242451"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9029-4"},{"key":"4","doi-asserted-by":"crossref","first-page":"917","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":"9","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/11730637_27","article-title":"Reachability analysis of multi-affine systems","author":"kloetzer","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"8","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"Hybrid Systems Computation and Control"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160728.pdf?arnumber=6160728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T02:01:37Z","timestamp":1561428097000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160728","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}