On infinite-horizon probabilistic properties and stochastic bisimulation functions

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 526-531

  Tkachev, Ilya ^a   Abate, Alessandro ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

ABSORBING SET; APPROXIMATION BOUNDS; BISIMULATIONS; CONTINUOUS STATE SPACE; DISCRETE TIME; INFINITE HORIZONS; PROBABILISTIC PROPERTIES; STRUCTURAL FEATURE;

STOCHASTIC MODELS;

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

References (14)

1. A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry. Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. In Proceedings of the 45th IEEE Conference of Decision and Control, pages 258-263, 2006.
2. A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control, 16:624-641, December 2010.
3. A. Abate, J.-P. Katoen, and A. Mereacre. Quantitative automata model checking of autonomous stochastic hybrid systems. In Proceedings of the 14th ACM international conference on Hybrid Systems: Computation and Control, pages 83-92, 2011.
4. A. Abate, M. Prandini, J. Lygeros, and S. Sastry. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica, 44(11):2724-2734, 2008.
5. M.L. Bujorianu and J. Lygeros. New insights on stochastic reachability. In Proceedings of the 46th IEEE Conference on Decision and Control, pages 6172-6177, 2007.
6. R. Durrett. Probability: Theory and Examples - Third Edition. Duxbury Press, 2004.
7. M. Fränzle, T. Teige, and A. Eggers. Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Journal of Logic and Algebraic Programming, 79(7):436-466, 2010.
8. O. Hernández-Lerma and J.B. Lasserre. Discrete-time Markov control processes. Appl. Math, 30, 1996.
9. A.A. Julius and G.J. Pappas. Approximations of stochastic hybrid systems. Automatic Control, IEEE Transactions on, 54(6):1193-1203, 2009.
10. H.J. Kushner. Stochastic stability and control, volume 33. Academic Press, 1967.
11. S.P. Meyn and R.L. Tweedie. Markov chains and stochastic stability. Springer Verlag, 1993.
12. G. Peškir and A. Shiryaev. Optimal stopping and free-boundary problems. Birkhauser, 2006.
13. F. Ramponi, D. Chatterjee, S. Summers, and J. Lygeros. On the connections between PCTL and dynamic programming. In Proceedings of the 13th ACM international conference on Hybrid Systems: Computation and Control, pages 253-262, 2010.
14. A. Shiryaev, B. Rozovskii, and G. Grimmett. Optimal stopping rules. Springer-Verlag Berlin Heidelberg, 2008.