Approximate simulation relations and finite abstractions of quantized control systems

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

Volumn 4416 LNCS, Issue , 2007, Pages 529-542

  Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; SYSTEM STABILITY;

FINITE INPUT QUANTIZATION; QUANTIZED CONTROL SYSTEMS; STABILIZABILITY;

CONTROL SYSTEMS;

EID: 38049153769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_41     Document Type: Conference Paper

References (12)

1. Z. Artstein. Stabilization with relaxed controls. Nonlinear Analysis, Theory, Methods, and Applications, 7:1163-1173, 1983.
2. A. Bicchi, A. Marigo, and B. Piccoli. On the reachability of quantized control systems. IEEE Transaction on Automatic Control, 47(4):546-563, April 2002.
3. A. Bicchi, A. Marigo, and B. Piccoli. Feedback encoding for efficient symbolic control of dynamical systems. IEEE Transaction on Automatic Control, 51(6):987- 1002, June 2006.
4. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
5. A. Girard and G. Pappas. Approximate bisimulations for constrained linear systems. In Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005.
6. A. Girard and G. J. Pappas. Approximate bisimulations for nonlinear dynamical systems. In Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005.
7. Marius Kloetzer and Calin Belta. Reachability analysis of multi-affine systems. In Joao P. Hespanha and Ashish Tiwari, editors, Hybrid Systems: Computation and Control 2006, volume 3927 of Lecture Notes in Computer Science, pages 348-362. Springer-Verlag, Santa Barbara, CA, USA, 2006.
8. Y. Lin and E.D. Sontag. Control-Lyapunov universal formulae for restricted inputs. Control: Theory and Advanced Technology, 10:1981-2004, 1995.
9. Stefania Pancanti, Laura Leonardi, Lucia Pallottino, and Antonio Bicchi. Optimal control of quantized linear systems. In Claire Tomlin and Mark R. Greenstreet, editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Sience, pages 351-363. Springer-Verlag, 2002.
10. P. Tabuada. An approximate simulation approach to symbolic control. 2006. Submitted for publication. Available at http://www.ee.ucla.edu/~tabuada.
11. Paulo Tabuada. Symbolic models for control systems. Acta Informatica, 2007. Accepted for publication. Available at http://www.ee.ucla.edu/~tabuada.
12. P. Tabuada and G. J. Pappas. Linear Time Logic control of discrete-time linear systems. IEEE Transactions on Automatic Control, 51(12):1862-1877, 2006.