Symbolic models for nonlinear control systems affected by disturbances

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 251-256

  Pola, Giordano ^a   Tabuada, Paulo ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GAME THEORY; LINEAR SYSTEMS; NONLINEAR CONTROL SYSTEMS;

ALGORITHMIC GAME THEORY; ANALYSIS AND SYNTHESIS; CONTINUOUS STATE; CONTINUOUS SYSTEM; CONTROLLER SYNTHESIS; GLOBALLY ASYMPTOTICALLY STABLE; SUPERVISORY CONTROL; SYMBOLIC MODEL;

CONTROL THEORY;

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

References (17)

1. P. Tabuada, "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.
2. 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.
3. W. Zielonka, "Infinite games on finitely coloured graphs with applications to automata on infinite trees," Theoretical Computer Science, vol. 200, pp. 135-183, 1998.
4. 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.
5. R. Alur and D. Dill, "Automata for modeling real-time systems," in 17th International Colloquium on Automata, Languages and Programming, ser. Lecture Notes in Computer Science, vol. 443. Springer, 1990, pp. 322-335.
6. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proceedings of the IEEE, vol. 88, pp. 971-984, 2000.
7. 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.
8. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
9. D. Park, "Concurrency and automata on infinite sequences," ser. Lecture Notes in Computer Science, Springer-Verlag, Ed., vol. 104, 1981, pp. 167-183.
10. 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.
11. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," in 46th IEEE Conference on Decision and Control, New Orleans, LA, December 2007, pp. 432-437.
12. R. Alur, T. Henzinger, O. Kupferman, and M. Vardi, "Alternating refinement relations," in Proceedings of the 8th International Conference on Concurrence Theory, ser. Lecture Notes in Computer Science, no. 1466. Springer, 1998, pp. 163-178.
13. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, M. Morari, L. Thiele, and F. Rossi, Eds. Berlin: Springer Verlag, 2005, vol. 3414, pp. 291-305.
14. G. Pola and P. Tabuada, "Symbolic models for linear control systems with disturbances," in 46th IEEE Conference on Decision and Control, New Orleans, LA, December 2007, pp. 4643-4647.
15. A. van der Schaft, "Equivalence of dynamical systems by bisimulation," IEEE Transactions on Automatic Control, vol. 49, no. 12, pp. 2160-2172, 2004.
16. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Transactions on Automatic Control, vol. 47, no. 3, pp. 410-421, 2002.
17. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," 2007, submitted for publication. Available at arXiv:0707.4205 [math.OC].