On a problem of stochastic reach-avoid set characterization

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 7069-7074

  Mohajerin Esfahani, Peyman ^a   Chatterjee, Debasish ^a   Lygeros, John ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAMMING; OPTIMAL CONTROL SYSTEMS; STOCHASTIC CONTROL SYSTEMS;

DISCONTINUOUS VISCOSITY SOLUTIONS; DYNAMIC PROGRAMMING PRINCIPLE; NAVIGATION PROBLEM; PAYOFF FUNCTION; PROBABILISTIC SPECIFICATIONS; REACHABILITY PROBLEM; STATE CONSTRAINTS; STOCHASTIC OPTIMAL CONTROL PROBLEM;

STOCHASTIC SYSTEMS;

EID: 84860655309     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2011.6160403     Document Type: Conference Paper

References (29)

1. J. AUBIN, Viability Theory, Systems & Control: Foundations & Applications, Birkhäuser Boston Inc., Boston, MA, 1991.
2. J. AUBIN, J. LYGEROS, M. QUINCAMPOIX, S. SASTRY, AND N. SEUBE, Impulse differential inclusions: a viability approach to hybrid systems, Institute of Electrical and Electronics Engineers. Transactions on Automatic Control, 47 (2002), pp. 2-20.
3. J. AUBIN AND G. D. PRATO, The viability theorem for stochastic differential inclusions, Stochastic Analysis and Applications, 16 (1998), pp. 1-15.
4. J. AUBIN, G. D. PRATO, AND H. FRANKOWSKA, Stochastic invariance for differential inclusions, Set-Valued Analysis. An International Journal Devoted to the Theory of Multifunctions and its Applications, 8 (2000), pp. 181-201.
5. M. BARDI AND P. G OATIN, Invariant sets for controlled degenerate diffusions: a viscosity solutions approach, in Stochastic analysis, control, optimization and applications, Systems Control Found. Appl., Birkhäuser Boston, Boston, MA, 1999, pp. 191-208.
6. M. BARDI AND R. JENSEN, A geometric characterization of viable sets for controlled degenerate diffusions, Set-Valued Analysis, 10 (2002), pp. 129-141. Calculus of variations, nonsmooth analysis and related topics.
7. V. S. BORKAR, Controlled diffusion processes, Probability Surveys, 2 (2005), pp. 213-244 (electronic).
8. B. BOUCHARD AND N. TOUZI, Weak dynamic programming principle for viscosity solutions, to appear in SIAM Journal on Control and Optimization, (2009).
9. P. CARDALIAGUET, A differential game with two players and one target, SIAM Journal on Control and Optimization, 34 (1996), pp. 1441-1460.
10. P. CARDALIAGUET, M. QUINCAMPOIX, AND P. SAINT-PIERRE, Optimal times for constrained nonlinear control problems without local controllability, Applied Mathematics and Optimization, 36 (1997), pp. 21-42.
11. -, Differential Games with State-Constraints, in ISDG2002, Vol. I, II (St. Petersburg), St. Petersburg State Univ. Inst. Chem., St. Petersburg, 2002, pp. 179-182.
12. M. G. CRANDALL, H. ISHII, AND P. L. LIONS, User's guide to viscosity solutions of second order partial differential equations, American Mathematical Society, 27 (1992), pp. 1-67.
13. G. DA PRATO AND H. FRANKOWSKA, Stochastic viability for compact sets in terms of the distance function, Dynamic Systems and Applications, 10 (2001), pp. 177-184.
14. -, Invariance of stochastic control systems with deterministic arguments, Journal of Differential Equations, 200 (2004), pp. 18-52.
15. C. DELLACHERIE AND P.-A. MEYER, Probabilities and Potential, vol. 29 of North-Holland Mathematics Studies, North-Holland Publishing Co., Amsterdam, 1978.
16. P. M. ESFAHANI, M. VRAKOPOULOU, K. MARGELLOS, J. LYGEROS, AND G. ANDERSSON, Cyber attack in a two-area power system: Impact identification using reachability, in American Control Conference, 2010, pp. 962-967.
17. S. ETHIER AND T. KURTZ, Markov Processes: Characterization and Convergence, Wiley Series in Probability and Mathematical Statistics, John Wiley & Sons, Ltd., New York, 1986.
18. I. J. FIALHO AND T. GEORGIOU, Worst case analysis of nonlinear systems, IEEE transactions on Automatic Control, 44(6) (1999), pp. 4292-4316.
19. W. FLEMING AND H. SONER, Controlled Markov Processes and Viscosity Solution, Springer-Verlag, 3 ed., 2006.
20. Y. GAO, J. LYGEROS, AND M. QUINCAMPOIX, The Reachability Problem for Uncertain Hybrid Systems Revisited: a Viability Theory Perspective, in Hybrid systems: computation and control, vol. 3927 of Lecture Notes in Comput. Sci., Springer, Berlin, 2006, pp. 242-256.
21. N. KRYLOV, Controlled Diffusion Processes, vol. 14 of Stochastic Modelling and Applied Probability, Springer-Verlag, Berlin Heidelberg, 2009. Reprint of the 1980 Edition.
22. J. LYGEROS, On reachability and minimum cost optimal control, Automatica. A Journal of IFAC, the International Federation of Automatic Control, 40 (2004), pp. 917-927 (2005).
23. J. LYGEROS, C. TOMLIN, AND S. SASTRY, A game theorretic approach to controller design for hybrid systems, Proceedings of IEEE, 88 (2000), pp. 949-969.
24. K. MARGELLOS AND J. LYGEROS, Hamilton-Jacobi formulation for reach-avoid differential games. http://arxiv.org/abs/0911.4625, 2009.
25. I. MITCHELL, A. BAYEN, AND C. J. TOMLIN, Validating a Hamilton-Jacobi approximation to hybrid system reachable sets, in Hybrid systems: computation and control, vol. 2034 of Lecture Notes in Comput. Sci., Springer, New York, 2001, pp. 418-432.
26. I. MITCHELL AND C. J. TOMLIN, Level set methods for computation in hybrid systems, in Hybrid systems: computation and control, vol. 1790 of Lecture Notes in Comput. Sci., Springer-Verlag, New York, 2002, pp. 310-323.
27. P. MOHAJERIN, D. CHATTERJEE, AND J. LYGEROS, Reachability of diffusions via optimal control. Technical note. http://control.ee.ethz.ch/index.cgi?page= publications;action=details;id=3772, Mar. 2011.
28. S. OSHER AND J. SETHIAN, Fronts propagating with curvature-dependent speed: algorithms based on hamilton-jacobi formulations, Journal of Computational Physics, 79 (1988), pp. 12-49.
29. H. SONER AND N. TOUZI, Dynamic programming for stochastic target problems and geometric flows, Journal of the European Mathematical Society (JEMS), 4 (2002), pp. 201-236.