A probabilistic reach-avoid problem for controlled discrete time stochastic hybrid systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 3, Issue PART 1, 2009, Pages 150-155

  Summers, Sean ^a   Lygeros, John ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Dynamic programming; Hybrid systems; Optimal control; Reachability; Safety; Stochastic systems; Target hitting

Indexed keywords

ACCIDENT PREVENTION; COST FUNCTIONS; HYBRID SYSTEMS; OPTIMAL CONTROL SYSTEMS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

CONTROL POLICY; OPTIMAL CONTROL PROBLEM; OPTIMAL CONTROLS; PROBABILISTIC SAFETY; REACHABILITY; STOCHASTIC HYBRID SYSTEMS; STOCHASTIC TARGETS; TARGET HITTING;

DYNAMIC PROGRAMMING;

EID: 79960939894     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090916-3-es-3003.00027     Document Type: Conference Paper

References (16)

1. Abate, A., Prandini, M., Lygeros, J., and Sastry, S. (2008). Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica, 44(11), 2724-2734.
2. Abate, A., Amin, S., Prandini, M., Lygeros, J., and Sastry, S. (2007). Computational approaches to reachability analysis of stochastic hybrid systems. In A. Bemporad, A. Bicchi, and G.C. Buttazzo (eds.), HSCC, volume 4416 of Lecture Notes in Computer Science, 4-17. Springer.
3. Amin, S., Abate, A., Prandini, M., Lygeros, J., and Sastry, S. (2006). Reachability analysis for controlled discrete time stochastic hybrid systems. In Hespanha and Tiwari (2006), 49-63. (Pubitemid 44019578)
4. Aubin, J.P. (1991). Viability theory. Birkhauser Boston Inc., Cambridge, MA, USA.
5. Bertsekas, D.P. and Shreve, S.E. (2007). Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific.
6. Boda, K., Filar, J.A., Lin, Y., and Spanjers, L. (2004). Stochastic target hitting time and the problem of early retirement. IEEE Transactions on Automatic Control, 49(3), 409-419.
7. Bujorianu, M.L. and Lygeros, J. (2003). Reachability questions in piecewise deterministic markov processes. In O. Maler and A. Pnueli (eds.), HSCC, volume 2623 of Lecture Notes in Computer Science, 126-140. Springer.
8. Davis, M. (1993). Markov Models and Optimization. Chapman & Hall, London.
9. Fehnker, A. and Ivancic', F. (2004). Benchmarks for hybrid systems verification. In In Hybrid Systems: Computation and Control (HSCC 2004) (2004, 326-341. Springer.
10. Ghosh, M.K., Arapostathis, A., and Marcus, S.I. (1997). Ergodic control of switching diffusions. SIAM J. Control Optim., 35(6), 1952-1988. (Pubitemid 127618694)
11. Hespanha, J.P. and Tiwari, A. (eds.) (2006). Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, volume 3927 of Lecture Notes in Computer Science. Springer.
12. Hu, J., Lygeros, J., and Sastry, S. (2000). Towards a theory of stochastic hybrid systems. In N.A. Lynch and B.H. Krogh (eds.), HSCC, volume 1790 of Lecture Notes in Computer Science, 160-173. Springer.
13. Koutsoukos, X.D. and Riley, D. (2008). Computational methods for verification of stochastic hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 38(2), 385-396. (Pubitemid 351425591)
14. Koutsoukos, X.D. and Riley, D. (2006). Computational methods for reachability analysis of stochastic hybrid systems. In Hespanha and Tiwari (2006), 377-391. (Pubitemid 44019599)
15. Lygeros, J. (2004). On reachability and minimum cost optimal control. Automatica, 40(6), 917-927.
16. Mitchell, I. (2008). The flexible, extensible and efficient toolbox of level set methods. J. Sci. Comput., 35(2-3), 300-329. doi:http://dx.doi.org/10. 1007/s10915-007-9174-4.