Symbolic control of stochastic switched systems via finite abstractions

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

Volumn 8054 LNCS, Issue , 2013, Pages 305-321

  Zamani, Majid ^a   Abate, Alessandro ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLER SYNTHESIS; DYNAMICAL ANALYSIS; DYNAMICAL STABILITY; FINITE ABSTRACTION; LINEAR TEMPORAL LOGIC; LOGIC SPECIFICATIONS; STOCHASTIC HYBRID SYSTEMS; SYMBOLIC CONTROLS;

AUTOMATA THEORY; CONCRETES; STABILITY; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS; SWITCHING SYSTEMS; TEMPORAL LOGIC;

STOCHASTIC MODELS;

EID: 84882780477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40196-1_27     Document Type: Conference Paper

References (22)

1. Abate, A.: A contractivity approach for probabilistic bisimulations of diffusion processes. In: Proceedings of 48th IEEE Conference on Decision and Control, pp. 2230-2235 (December 2009)
2. Abate, A., D'Innocenzo, A., Di Benedetto, M.D.: Approximate abstractions of stochastic hybrid systems. IEEE Transactions on Automatic Control 56(11), 2688-2694 (2011)
3. Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control 47(3), 410-421 (2002)
4. Blom, H.A.P., Lygeros, J.: Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS, vol. 337. Springer, Heidelberg (2006)
5. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for General Stochastic Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 198-214. Springer, Heidelberg (2005) (Pubitemid 41252068)
6. Chatterjee, D., Liberzon, D.: Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions. SIAM Journal on Control and Optimization 45(1), 174-206 (2006)
7. Girard, A.: Low-complexity switching controllers for safety using symbolic models. In: Proceedings of 4th IFAC Conference on Analysis and Design of Hybrid Systems, pp. 82-87 (2012)
8. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 25(5), 782-798 (2007)
9. Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control 55(1), 116-126 (2010)
10. Julius, A.A., Pappas, G.J.: Approximations of stochastic hybrid systems. IEEE Transaction on Automatic Control 54(6), 1193-1203 (2009)
11. Karatzas, I., Shreve, S.E.: Brownian Motion and Stochastic Calculus, 2nd edn. Graduate Texts in Mathematics, vol. 113. Springer, New York (1991)
12. Liberzon, D.: Switching in Systems and Control. Systems & Control: Foundations & Applications. Birkhäuser (2003)
13. Majumdar, R., Zamani, M.: Approximately bisimilar symbolic models for digital control systems. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 362-377. Springer, Heidelberg (2012)
14. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229-242. Springer, Heidelberg (1995)
15. Mazo Jr., M., Davitian, A., Tabuada, P.: PESSOA: A tool for embedded controller synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 566-569. Springer, Heidelberg (2010)
16. Milner, R.: Communication and Concurrency. Prentice-Hall, Inc. (1989)
17. Oksendal, B.K.: Stochastic differential equations: An introduction with applications, 5th edn. Springer (November 2002)
18. Pola, G., Tabuada, P.: Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization 48(2), 719-733 (2009)
19. Prajna, S., Papachristodoulou, A., Seiler, P., Parrilo, P.A.: SOSTOOLS: Control applications and new developments. In: Proceedings of IEEE International Symposium on Computer Aided Control Systems Design, pp. 315-320 (2004)
20. Sproston, J.: Discrete-time verification and control for probabilistic rectangular hybrid automata. In: Proceedings of 8th International Conference on Quantitative Evaluation of Systems, pp. 79-88 (2011)
21. Tabuada, P.: Verification and Control of Hybrid Systems, A symbolic approach, 1st edn. Springer (June 2009)
22. Zamani, M., Mohajerin Esfahani, P., Majumdar, R., Abate, A., Lygeros, J.: Symbolic control of stochastic systems via approximately bisimilar finite abstractions. arXiv: 1302.3868 (2013)