{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:54Z","timestamp":1742635974117,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160403","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"7069-7074","source":"Crossref","is-referenced-by-count":7,"title":["On a problem of stochastic reach-avoid set characterization"],"prefix":"10.1109","author":[{"given":"Peyman","family":"Mohajerin Esfahani","sequence":"first","affiliation":[]},{"given":"Debasish","family":"Chatterjee","sequence":"additional","affiliation":[]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Controlled Markov Processes and Viscosity Solution","year":"2006","author":"fleming","key":"19"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316658.ch4","article-title":"Markov processes: Characterization and convergence","author":"ethier","year":"1986","journal-title":"Wiley Series in Probability and Mathematical Statistics"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/9.769372"},{"journal-title":"Probabilities and Potential Vol 29 of North-holland Mathematics Studies","year":"1978","author":"dellacherie","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530460"},{"key":"13","first-page":"177","article-title":"Stochastic viability for compact sets in terms of the distance function","volume":"10","author":"da prato","year":"2001","journal-title":"Dynamic Systems and Applications"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2004.01.007"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012998349327"},{"key":"12","first-page":"1","volume":"27","author":"crandall","year":"1992","journal-title":"User's Guide to Viscosity Solutions of Second Order Partial Differential Equations"},{"journal-title":"Controlled Diffusion Processes Vol 14 of Stochastic Modelling and Applied Probability","year":"2009","author":"krylov","key":"21"},{"key":"20","first-page":"242","article-title":"The reachability problem for uncertain hybrid systems revisited: A viability theory perspective","author":"gao","year":"2006","journal-title":"Hybrid Systems Computation and Control Vol 3927 of Lecture Notes in Comput Sci"},{"key":"22","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":"2005","journal-title":"Automatica"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"journal-title":"Hamilton-jacobi Formulation for Reach-avoid Differential Games","year":"2009","author":"margellos","key":"24"},{"key":"25","first-page":"418","article-title":"Validating a hamilton-jacobi approximation to hybrid system reachable sets","author":"mitchell","year":"2001","journal-title":"Hybrid Systems Computation and Control Vol 2034 of Lecture Notes in Comput Sci"},{"key":"26","first-page":"310","article-title":"Level set methods for computation in hybrid systems","author":"mitchell","year":"2002","journal-title":"Hybrid Systems Computation and Control Vol 1790 of Lecture Notes in Comput Sci"},{"journal-title":"Reachability of Diffusions Via Optimal Control","year":"2011","author":"mohajerin","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90002-2"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s100970100039"},{"key":"3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/07362999808809512","article-title":"The viability theorem for stochastic differential inclusions","volume":"16","author":"aubin","year":"1998","journal-title":"Stochastic Analysis and Applications"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.981719"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s002459900053"},{"journal-title":"Viability Theory Systems & Control Foundations & Applications","year":"1991","author":"aubin","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1214\/154957805100000131","article-title":"Controlled diffusion processes","volume":"2","author":"borkar","year":"2005","journal-title":"Probability Surveys"},{"key":"6","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1016596318432","article-title":"A geometric characterization of viable sets for controlled degenerate diffusions","volume":"10","author":"bardi","year":"2002","journal-title":"Set-Valued Analysis"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1784-8_11"},{"key":"4","first-page":"181","article-title":"Stochastic invariance for differential inclusions, set-valued analysis","volume":"8","author":"aubin","year":"2000","journal-title":"An International Journal Devoted to the Theory of Multifunctions and its Applications"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/S036301299427223X"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/090752328"}],"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\/06160403.pdf?arnumber=6160403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:20:21Z","timestamp":1497972021000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160403\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160403","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}