Safety controller synthesis for switched systems using multi-scale symbolic models

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 520-525

  Camara, Javier ^a   Girard, Antoine ^b   Gössler, Gregor ^c  

^a UNIVERSITY OF COIMBRA   (Portugal)

^b UNIV GRENOBLE ALPES   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING;

CONTROLLER SYNTHESIS; DISCRETE ABSTRACTION; NUMBER OF STATE; SAFETY CONTROLLER; SWITCHED SYSTEM; SYMBOLIC MODEL; SYNTHESIS ALGORITHMS; SYSTEM APPROACH;

CONTROLLERS;

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

References (11)

1. D. Angeli. A Lyapunov approach to incremental stability properties. IEEE Trans. on Automatic Control, 47(3):410-421, March 2002.
2. A. Anta and P. Tabuada. To sample or not to sample: Self-triggered control for nonlinear systems. IEEE Trans. on Automatic Control, 55(9):2030-2042, 2010.
3. J. Camara, A. Girard, and G. Goessler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. In Hybrid Systems: Computation and Control, 2011.
4. C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems - Second Edition. Springer, 2007.
5. A. Girard. Synthesis using approximately bisimilar abstractions: statefeedback controllers for safety specifications. In Hybrid Systems: Computation and Control, 2010.
6. A. Girard and G. Pappas. Approximation metrics for discrete and continuous systems. IEEE Trans. on Automatic Control, 52(5):782-798, 2007.
7. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Trans. on Automatic Control, 55(1):116-126, 2010.
8. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
9. P. Tabuada. Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, 2009.
10. Y. Tazaki and J. Imura. Approximately bisimilar discrete abstractions of nonlinear systems using variable-resolution quantizers. In American Control Conference, pages 1015-1020, 2010.
11. M. Velasco, J. Fuertes, and P. Marti. The self triggered task model for real-time control systems. In 24th IEEE Real-Time Systems Symposium, pages 67-70, 2003.