Synthesis using approximately bisimilar abstractions: Time-optimal control problems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 5893-5898

  Girard, Antoine ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; OPTIMAL CONTROL SYSTEMS;

DYNAMIC CONTROLLER; HIERARCHICAL APPROACH; IMPLEMENTATION COST; PRECISE ABSTRACTIONS; SUBOPTIMAL CONTROLLERS; TIME OPTIMAL CONTROL; TIME-OPTIMAL CONTROL PROBLEMS; TIME-OPTIMAL CONTROLLER;

CONTROLLERS;

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

References (17)

1. A. G. Beccuti, G. Papafotiou, and M. Morari, "Optimal control of the boost dc-dc converter," in IEEE CDC, 2005, pp. 4457-4462.
2. D. P. Bertsekas, Dynamic Programming and Optimal Control. Athena Scientific, 2000.
3. M. E. Broucke, M. D. D. Benedetto, S. Di Gennaro, and A. Sangiovanni-Vincentelli, "Theory of optimal control using bisimulations," in HSCC, ser. LNCS, vol. 1790. Springer, 2000, pp. 89-102.
4. A. Girard, "Approximately bisimilar finite abstractions of stable linear systems," in HSCC, ser. LNCS, vol. 4416. Springer, 2007, pp. 231-244.
5. -, "Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications," in HSCC, 2010.
6. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE TAC, vol. 52, no. 5, pp. 782-798, 2007.
7. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE TAC, vol. 55, no. 1, pp. 116-126, 2010.
8. L. Grüne and O. Junge, "Approximately optimal nonlinear stabilization with preservation of the lyapunov function property," in IEEE CDC, 2007, pp. 702-707.
9. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from ltl specifications," in HSCC, ser. LNCS, vol. 3927. Springer, 2006, pp. 333-347.
10. M. Mazo Jr. and P. Tabuada, "Approximate time-optimal control via approximate alternating simulations," in ACC, 2010, pp. 10 201-10 206.
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, vol. 44, no. 10, pp. 2508-2516, 2008.
13. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM J. on Con. and Opt., vol. 48, no. 2, pp. 719-733, 2009.
14. G. Reißig, "Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems," in HSCC, ser. LNCS, vol. 5469. Springer, 2009, pp. 306-320.
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 discretetime linear systems," IEEE TAC, vol. 51, no. 12, pp. 1862-1877, 2006.
17. Y. Tazaki and J. ichi Imura, "Finite abstractions of discrete-time linear systems and its application to optimal control," in 17th IFAC World Congress, 2008, pp. 10 201-10 206.