Bisimilar symbolic models for stochastic control systems without state-space discretization

HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)

Volumn , Issue , 2014, Pages 41-50

  Zamani, Majid ^a   Tkachev, Ilya ^a   Abate, Alessandro ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; EMBEDDED SYSTEMS; HYBRID SYSTEMS; SPECIFICATIONS;

ABSTRACTION TECHNIQUES; CONCRETE MODEL; CURSE OF DIMENSIONALITY; DISCRETIZATIONS; HYBRID CONTROLLER; LINEAR STOCHASTIC CONTROL SYSTEMS; LOGIC SPECIFICATIONS; REACTIVE SYNTHESIS;

STOCHASTIC CONTROL SYSTEMS;

EID: 84899720613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2562059.2562115     Document Type: Conference Paper

References (20)

1. C. Baier and J. P. Katoen. Principles of model checking. The MIT Press, April 2008.
2. E. Le Corronc, A. Girard, and G. Goessler. Mode sequences as symbolic states in abstractions of incrementally stable switched systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, pages 3225-3230, December 2013.
3. A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 25(5):782-798, May 2007.
4. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control, 55(1):116-126, January 2009.
5. W. Hoeffding. Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association, 58(301):13-30, 1963.
6. A. A. Julius and G. J. Pappas. Approximations of stochastic hybrid systems. IEEE Transactions on Automatic Control, 54(6):1193-1203, 2009.
7. I. Karatzas and S. E. Shreve. Brownian Motion and Stochastic Calculus, volume 113 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2nd edition, 1991.
8. R. Majumdar and M. Zamani. Approximately bisimilar symbolic models for digital control systems. In M. Parthasarathy and S. A. Seshia, editors, Computer Aided Verification (CAV), volume 7358 of LNCS, pages 362-377. Springer-Verlag, July 2012.
9. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech, editors, Symposium on Theoretical Aspects of Computer Science, volume 900 of LNCS, pages 229-242. Springer-Verlag, 1995.
10. B. K. Oksendal. Stochastic differential equations: An introduction with applications. Springer, 5th edition, November 2002.
11. A. Papachristodoulou, J. Anderson, G. Valmorbida, S. Prajna, P. Seiler, and P. A. Parrilo. SOSTOOLS version 3.00-Sum of squares optimization toolbox for MATLAB. arXiv: 1310.4716, October 2013.
12. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, October 2008.
13. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization, 48(2):719-733, February 2009.
14. G. Reißig. Computing abstractions of nonlinear systems. IEEE Transaction on Automatic Control,56(11):2583-2598, November 2011.
15. P. Tabuada. Verification and Control of Hybrid Systems, A symbolic approach. Springer, 1st edition, June 2009.
16. M. Zamani and A. Abate. Symbolic control of stochastic switched systems via finite abstractions. In K. Joshi, M. Siegle, M. Stoelinga, and P. R. D'Argenio, editors, Quantitative Evaluation of Systems, volume 8054 of Lecture Notes in Computer Science, pages 305-321. Springer Berlin Heidelberg, August 2013
17. M. Zamani, P. Mohajerin Esfahani, A. Abate, and J. Lygeros. Symbolic models for stochastic control systems without stability assumptions. In Proceedings of European Control Conference (ECC), pages 4257-4262, July 2013.
18. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros. Bisimilar finite abstractions of stochastic control systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, pages 3926-3931, December 2013.
19. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros. Symbolic control of stochastic systems via approximately bisimilar finite abstractions. IEEE Transactions on Automatic Control, accepted, arXiv: 1302.3868, 2014.
20. M. Zamani, G. Pola, M. Mazo Jr., and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. IEEE Transactions on Automatic Control, 57(7):1804-1809, July 2012