Low-complexity switching controllers for safety using symbolic models

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 45, Issue 9, 2012, Pages 82-87

  Girard, Antoine ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Approximate bisimulation; Safety; Switched systems; Symbolic models

Indexed keywords

ACCIDENT PREVENTION; HYBRID SYSTEMS;

APPROXIMATE BISIMULATION; APPROXIMATION RESULTS; COMPACT FUNCTIONS; SAFETY SPECIFICATIONS; SWITCHED SYSTEM; SWITCHING CONTROLLERS; SYMBOLIC MODEL; TEMPERATURE REGULATIONS;

CONTROLLERS;

EID: 84866120323     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120606-3-NL-3011.00022     Document Type: Conference Paper

References (17)

1. D. Angeli. A Lyapunov approach to incremental stability properties. IEEE Trans. on Automatic Control, 47(3): 410-421, March 2002.
2. R.I. Bahar, E.A. Frohm, C.M. Gaona, G.D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic decision diagrams and their applications. In International Conference on Computer-Aided Design, pages 188-191, 1993.
3. J. Camara, A. Girard, and G. Goessler. Safety controller synthesis for switched systems using multi-scale symbolic models. In Joint IEEE Conference on Decision and Control and European Control Conference, 2011.
4. K. Deng, P. Barooah, P.G. Mehta, and S.P. Meyn. Build-ing thermal model reduction via aggregation of states. In American Control Conference, 2010.
5. A. Girard. Controller synthesis for safety and reachability via approximate bisimulation. Automatica, 2011. To appear, arXiv:1010.4672v2.
6. A. Girard and G. J. 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. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from ltl specifications. In Hybrid Systems: Computation and Control, volume 3927 of LNCS, pages 333-347. Springer, 2006.
9. M. Mazo, A. Davitian, and P. Tabuada. Pessoa: A tool for embedded controller synthesis. In Computer Aided Verification, volume 6174/2010 of LNCS, pages 566-569, 2010.
10. M. Mazo Jr. and P. Tabuada. Approximate time-optimal control via approximate alternating simulations. In American Control Conference, pages 10201-10206, 2010.
11. T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioral framework. Systems and Control Letters, 38(3):157-166, 1999.
12. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM J. on Control and Optimization, 48(2):719-733, 2009.
13. J. Raisch and S. O'Young. Discrete approximation and supervisory control of continuous systems. IEEE Trans. on Automatic Control, 43(4):569-573, 1998.
14. G. Reißig. Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems. In Hybrid Systems: Computation and Control, volume 5469 of LNCS, pages 306-320. Springer, 2009.
15. P. Tabuada. Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, 2009.
16. P. Tabuada and G. J. Pappas. Linear time logic control of discrete-time linear systems. IEEE Trans. on Automatic Control, 51(12):1862-1877, 2006.
17. Y. Tazaki and J. I. Imura. Finite abstractions of discrete-time linear systems and its application to optimal control. In 17th IFAC World Congress, pages 10201-10206, 2008.