Synthesis of switching controllers using approximately bisimilar multiscale abstractions

HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Volumn , Issue , 2011, Pages 191-200

  Cámara, Javier ^a   Girard, Antoine ^b   Gössler, Gregor ^a  

^a INRIA RHÔNE ALPES   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DC-DC CONVERTERS; HYBRID SYSTEMS; SWITCHING;

APPROXIMATE BISIMULATION; BOOST DC-DC CONVERTER; CONTROLLER SYNTHESIS; DISCRETE ABSTRACTION; SAMPLING PARAMETERS; SAMPLING PERIOD; SWITCHING CONTROLLERS; TIME OPTIMIZATION;

CONTROLLERS;

EID: 79956028056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967701.1967730     Document Type: Conference Paper

References (18)

1. D. Angeli. A Lyapunov approach to incremental stability properties. IEEE Trans. on Automatic Control, 47(3):410-421, March 2002. (Pubitemid 34536795)
2. A. Anta and P. Tabuada. To sample or not to sample: Self-triggered control for nonlinear systems. IEEE Transactions on Automatic Control, 2010. To appear.
3. A. Arnold, A. Vincent, and I. Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 28(1):7-34, 2003.
4. A. Beccuti, G. Papafotiou, and M. Morari. Optimal control of the boost dc-dc converter. In IEEE Conf. on Decision and Control, pages 4457-4462, 2005.
5. D. P. Bertsekas. Dynamic Programming and Optimal Control. Athena Scientific, 2000.
6. A. Girard. Synthesis using approximately bisimilar abstractions: time-optimal control problems. In IEEE Conf. on Decision and Control, 2010.
7. A. Girard and G. Pappas. Approximation metrics for discrete and continuous systems. IEEE Trans. on Automatic Control, 52(5):782-798, 2007. (Pubitemid 46796065)
8. 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, 2010.
9. M. Mazo Jr. and P. Tabuada. Approximate time-optimal control via approximate alternating simulations. In ACC, pages 10201-10206, 2010.
10. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
11. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
12. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM J. on Con. and Opt., 48(2):719-733, 2009.
13. P. Ramadge and W. Wonham. Supervisory control of a class of discrete event systems. SIAM Journal on Control and Optimization, 25(1):206-230, 1987. (Pubitemid 17513624)
14. P. Richard, H. Cormerais, and J. Buisson. A generic design methodology for sliding mode control of switched systems. Nonlinear Analysis: Hybrid Systems and Applications, 65(9):1751-1772, 2006. (Pubitemid 44148924)
15. P. Tabuada. Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, 2009.
16. Y. Tazaki and J. Imura. Approximately bisimilar discrete abstractions of nonlinear systems using variable-resolution quantizers. In America Control Conference, pages 1015-1020, 2010.
17. 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.
18. X. Wang and M. Lemmon. State based self-triggered feedback control systems with l2 stability. In 17th IFAC world congress, 2008.