Synthesis using approximately bisimilar abstractions: State-feedback controllers for safety specifications

HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control

Volumn , Issue , 2010, Pages 111-120

  Girard, Antoine ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Abstraction; Approximate bisimulation; Hybrid systems; Safety; Switched systems; Synthesis

Indexed keywords

ABSTRACTING; ACCIDENT PREVENTION; FEEDBACK CONTROL; HYBRID SYSTEMS; SPECIFICATIONS; STATE FEEDBACK; SYNTHESIS (CHEMICAL);

ABSTRACTION; APPROXIMATE BISIMULATION; IMPLEMENTATION COST; PRECISE ABSTRACTIONS; REFINEMENT TECHNIQUES; SAFETY SPECIFICATIONS; STATE FEEDBACK CONTROLLER; SWITCHED SYSTEM;

CONTROLLERS;

EID: 77953076680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1755952.1755969     Document Type: Conference Paper

References (19)

1. R. Alur, T. Henzinger, G. Lafferriere, and G. J. Pappas. Discrete abstractions of hybrid systems. Proc. of the IEEE, 88(2):971-984, 2000.
2. A. Arnold, A. Vincent, and I. Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 28(1):7-34, 2003.
3. A. G. 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.
4. A. Girard. Approximately bisimilar finite abstractions of stable linear systems. In HSCC, volume 4416 of LNCS, pages 231-244. Springer, 2007.
5. A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Trans. on Automatic Control, 52(5):782-798, 2007.
6. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. In HSCC, volume 4981 of LNCS, pages 201-214. Springer, 2008.
7. L. C. G. J. M. Habets and J. H. van Schuppen. Control of piecewise-linear hybrid systems on simplices and rectangles. In HSCC, volume 2034 of LNCS, pages 261-274. Springer, 2001.
8. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from ltl specifications. In HSCC, volume 3927 of LNCS, pages 333-347. Springer, 2006.
9. Y. Li and W. M. Wonham. Control of vector discrete-event systems. I. the base model. IEEE Trans. on Automatic Control, 38(8):1214-1227, 1993.
10. O. Maler. Control from computer science. Annual Reviews in Control, 26(2):175-187, 2002.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
13. 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.
14. J. Raisch and S. O'Young. Discrete approximation and supervisory control of continuous systems. IEEE Trans. on Automatic Control, 43(4):569-573, 1998. (Pubitemid 128737381)
15. P. J. Ramadge and W. M. Wonham. Modular feedback logic for discrete event systems. SIAM J. on Control and Optimization, 25(5):1202-1218, 1987.
16. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems. SIAM J. on Control and Optimization, 25(1):206-230, 1987. (Pubitemid 17513624)
17. G. Reißig. Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems. In HSCC, volume 5469 of LNCS, pages 306-320. Springer, 2009.
18. P. Tabuada. Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, 2009.
19. 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.