A contractivity approach for probabilistic bisimulations of diffusion processes

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 2230-2235

  Abate, Alessandro ^a,b  

^a 496 Lomita Mall   (United States)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

STOCHASTIC SYSTEMS;

BISIMULATIONS; DIFFUSION PROCESS; DISCRETE APPROXIMATION; DISCRETIZATIONS; INCREMENTAL STABILITY; PROBABILISTIC BISIMULATIONS; PROBABILISTIC SYSTEMS; SPACE AND TIME;

DIFFUSION;

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

References (19)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(2):971-984, July 2000.
3. David Angeli. A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 47:410-421, 2002.
4. J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labeled Markov processes. Information and Computation, 179(2):163-193, 2002.
5. A. D'Innocenzo, A. Abate, M.D. Di Benedetto, and S. Sastry. Approximate abstractions of discrete-time controlled stochastic hybrid systems. In Proceedings of the 47th IEEE Conference of Decision and Control, pages 221-226, Cancun, MX, December 2008.
6. Richard Durrett. Probability: Theory and Examples - Third Edition. Duxbury Press, 2004.
7. A. Girard and G.J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Trans. on Automatic Control, 52(5):782-798, 2007.
8. Antoine Girard. Approximately bisimilar finite abstractions of stable linear systems. In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4416, pages 231-244. Springer Verlag, 2007.
9. Antoine Girard, Giordano Pola, and Paulo Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. Under review, 2008.
10. A.A. Julius and G.J. Pappas. Approximate abstraction of stochastic hybrid systems. IEEE Trans. Automatic Control, 54(6):1193-1203, 2009.
11. H. J. Kushner and P. G. Dupuis. Numerical methods for stochastic control problems in continuous time. Springer Verlag, 1992.
12. K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1-28, 1991.
13. W. Lohmiller and J.-J. Slotine. On contraction analysis for nonlinear systems. Automatica, 34:671-682, 1998.
14. B. Øksendal. Stochastic Differential Equations: An Introduction with Applications. Springer-Verlag, 6th edition, 2003.
15. Q.-C. Pham. Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory. In Proceedings of the 10th International Conference on Control, Automation, Robotics and Vision (ICARCV), Hanoi, Vietnam, 2008.
16. Q.-C. Pham, N. Tabareau, and J.-J. Slotine. A contraction theory approach to stochastic incremental stability. IEEE Transactions on Automatic Control, 54(4):816-820, 2009.
17. Giordano Pola, Antoine Girard, and Paulo Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, October 2008.
18. M. Prandini and J. Hu. A stochastic approximation method for reachability computations. In H.A.P. Blom and J. Lygeros, editors, Stochastic hybrid systems: theory and safety applications, Lecture Notes in Control and Informations Sciences 337, pages 107-139. Springer Verlag, 2006.
19. Shankar Sastry. Nonlinear Systems: Analysis, Stability and Control. Springer Verlag, 1999.