Symbolic models for nonlinear control systems using approximate bisimulation

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 4656-4661

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

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Approximate bisimulation; Digital control systems; Incremental stability; Nonlinear systems; Symbolic models

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; NONLINEAR SYSTEMS; PROBLEM SOLVING;

APPROXIMATE BISIMULATION; INCREMENTAL STABILITY; SYMBOLIC MODELS;

DIGITAL CONTROL SYSTEMS;

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

References (15)

1. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
2. D. Park, "Concurrency and automata on infinite sequences," ser. Lecture Notes in Computer Science, Springer-Verlag, Ed., vol. 104, 1981, pp. 167-183.
3. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event systems," SIAM Journal on Control and Optimization, vol. 25, no. 1, pp. 206-230, 1987.
4. W. Zielonka, "Infinite games on finitely coloured graphs with applications to automata on infinite trees," Theoretical Computer Science, vol. 200, pp. 135-183, 1998.
5. A. Arnold, A. Vincent, and I. Walukiewicz, "Games for synthesis of controllers with partial observation," Theoretical Computer Science, vol. 28, no. 1, pp. 7-34, 2003.
6. P. Tabuada and G. Pappas, "Linear Time Logic control of discrete-time linear systems," IEEE Transactions on Automatic Control, vol. 51, no. 12, pp. 1862-1877, 2006.
7. P. Tabuada, "Symbolic models for control systems," Acta Informatica, vol. 43, no. 7, pp. 477-500, February 2007, special Issue on Hybrid Systems.
8. A. Girard and G. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Transactions on Automatic Control, vol. 52, no. 5, pp. 782-798, 2007.
9. P. Tabuada, "Symbolic control of linear systems based on symbolic subsystems," IEEE Transactions on Automatic Control, Special issue on symbolic methods for complex control systems, vol. 51, no. 6, pp. 1003-1013, June 2006.
10. _, "Approximate simulation relations and finite abstractions of quantized control systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Berlin: Springer Verlag, 2007, vol. 4416, pp. 529-542.
11. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Transactions on Automatic Control, vol. 47, no. 3, pp. 410-421, 2002.
12. A. Bicchi, A. Marigo, and B. Piccoli, "On the rechability of quantized control systems," IEEE Transaction on Automatic Control, April 2002.
13. _, "Feedback encoding for efficient symbolic control of dynamical systems," IEEE Transaction on Automatic Control, vol. 51, no. 6, pp. 987- 1002, June 2006.
14. A. Girard, "Approximately bisimilar finite abstractions of stable linear systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Berlin: Springer Verlag, 2007, vol. 4416, pp. 231-244.
15. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," 2007, available at arXiv:0706.0246v2 [math.OC].