Computational approaches to reachability analysis of stochastic hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 4-17

  Abate, Alessandro ^a   Amin, Saurabh ^a   Prandini, Maria ^b   Lygeros, John ^c   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b POLITECNICO DI MILANO   (Italy)

^c ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; PROBABILISTIC LOGICS; PROBLEM SOLVING;

HYBRID SYSTEMS; PROBABILISTIC REACHABILITY;

STOCHASTIC CONTROL SYSTEMS;

EID: 38049096324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_4     Document Type: Conference Paper

References (9)

1. Amin, S., Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Reachability analysis for controlled discrete time stochastic hybrid systems. In J. Hespanha and A. Tiwari, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 3927. Springer Verlag, pp. 49-63 (April 2006).
2. Abate, A., Amin, S., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems. In the Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, CA, pp. 258-263 (December 2006).
3. Bertsekas, D.: Convergence of Discretization Procedures in Dynamic Programming. IEEE Transactions on Automatic Control, vol. 20, 3, pp. 415-419 (June 1975).
4. Bertsekas, D.: Distributed Dynamic Programming. IEEE Transactions on Automatic Control, vol. 27, 3, pp. 610-616 (June 1982).
5. Kveton, B., Hauskrecht, M., Guestrin, C.,: Solving factored MDPs with Hybrid State and Action Variables. Journal of Artificial Intelligence Research, vol. 27, pp. 1-49 (September 2006).
6. Prandini, M., and Hu, J.: Stochastic reachability: Theoretical foundations and numerical approximation. In C. Cassandras and J. Lygeros, eds.: Stochastic Hybrid Systems. Taylor & Francis Group/CRC Press (2006).
7. Fehnker, A., Ivancic F.: Benchmarks for Hybrid Systems Verifications. In R. Alur and G.J. Pappas, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 2993. Springer Verlag, pp. 326-341 (April 2004).
8. Mitchell, I., Templeton J.: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. In M. Morari and R. Tiele, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 3414. Springer Verlag, pp. 480-494 (March 2005).
9. Bertsekas, D.P., Tsitsiklis, J.N.: Neuro-Dynamic Programming. Athena Scientific, Belmont, MA (1996).