Approximately bisimilar symbolic models for incrementally stable switched systems

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

Volumn 4981 LNCS, Issue , 2008, Pages 201-214

  Girard, Antoine ^a   Pola, Giordano ^b,c   Tabuada, Paulo ^b  

^a UNIV GRENOBLE ALPES   (France)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DC-DC CONVERTERS; HYBRID SYSTEMS; LYAPUNOV FUNCTIONS; STABILIZATION;

BOOST DC-DC CONVERTER; ENGINEERING SYSTEMS; EVOLUTION OF TECHNOLOGY; INCREMENTAL STABILITY; MULTIPLE LYAPUNOV FUNCTION; STABILITY AND STABILIZATIONS; STANDARD ASSUMPTIONS; SWITCHED CONTROLLER;

SYSTEM STABILITY;

EID: 70350012276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_15     Document Type: Conference Paper

References (14)

1. Liberzon, D.: Switching in Systems and Control. Birkhauser (2003).
2. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event systems. SIAM Journal on Control and Optimization 25(1), 206-230 (1987).
3. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science 28(1), 7-34 (2003).
4. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Automatic Control 52(5), 782-798 (2007).
5. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989).
6. Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.104, pp. 167-183. Springer, Heidelberg (1981).
7. Pola, G., Girard, A., Tabuada, P.: Approximately bisimilar symbolic models for nonlinear control systems. In: IEEE Conf. on Decision and Control (2007).
8. Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Trans. Automatic Control 47(3), 410-421 (2002).
9. Khalil, H.: Nonlinear Systems. Prentice-Hall, Englewood Cliffs (1996).
10. Senesky, M., Eirea, G., Koo, T.: Hybrid modelling and control of power electronics. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 450-465. Springer, Heidelberg (2003).
11. Beccuti, A., Papafotiou, G., Morari, M.: Optimal control of the boost dc-dc converter. In: IEEE Conf. on Decision and Control, pp. 4457-4462 (2005).
12. Buisson, J., Richard, P., Cormerais, H.: On the stabilisation of switching electrical power converters. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.3414, pp. 184-197. Springer, Heidelberg (2005).
13. Beccuti, A., Papafotiou, G., Morari, M.: Explicit model predictive control of the boost dc-dc converter. In: Analysis and design of hybrid systems, pp. 315-320 (2006).
14. Tabuada, P.: An approximate simulation approach to symbolic control. IEEE Trans. Automatic Control (to appear, 2007).