Symbolic models for linear control systems with disturbances

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 432-437

  Pola, Giordano ^a   Tabuada, Paulo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Alternating simulation; Approximate simulation; Linear control systems; Quantized systems; Symbolic models

Indexed keywords

BOUNDARY ELEMENT METHOD; EMBEDDED SYSTEMS; MATHEMATICAL MODELS;

ALTERNATING SIMULATION; APPROXIMATE SIMULATION; MATHEMATICAL LANGUAGE; QUANTIZED SYSTEMS; SYMBOLIC MODELS;

LINEAR CONTROL SYSTEMS;

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

References (18)

1. M. Egerstedt, E. Frazzoli, and G. J. Pappas, IEEE Transactions of Automatic Control, vol. 51, no. 6, June 2006, special Issue on Symbolic Methods for Complex Control Systems.
2. 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.
3. 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.
4. 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.
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. W. Zielonka, "Infinite games on finitely coloured graphs with applications to automata on infinite trees," Theoretical Computer Science, vol. 200, pp. 135-183, 1998.
7. A. Bicchi, A. Marigo, and B. Piccoli, "On the rechability of quantized control systems," IEEE Transaction on Automatic Control, April 2002.
8. _, "Feedback encoding for efficient symbolic control of dynamical systems," IEEE Transaction on Automatic Control, vol. 51, no. 6, pp. 987- 1002, June 2006.
9. S. Boyd, L. El Ghaoui, E. Feron, and V Balakrishnan, Linear Matrix Inequalities in System and Control Theory, ser. Studies in Applied Mathematics. Philadelphia, PA: SIAM, June 1994, vol. 15.
10. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
11. D. Park, "Concurrency and automata on infinite sequences," ser. Lecture Notes in Computer Science, Springer-Verlag, Ed., vol. 104, 1981, pp. 167-183.
12. 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.
13. 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.
14. P. Varaiya, "Reach set computation using optimal control," in Proceedings of the KIT Workshop on Verification of Hybrid Systems, Grenoble, France, 1998, pp. 377-383.
15. I. Hwang, D. Stipanovic, and C. Tomlin, "Polytopic approximations of reachable sets applied to linear dynamic games and to a class of nonlinear systems," in Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya, ser. Systems and Control: Foundations and Applications, E. Abed, Ed. Boston, MA: Birkhuser, 2005.
16. P. Caravani and E. D. Santis, "A polytopic game," Automatica, vol. 36, no. 7, pp. 973-981, July 2000.
17. 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.
18. S. Tripakis and K. Altisen, "On-the-fly controller synthesis for discrete and dense-time systems," in World Congress on Formal Methods in the Development of Computing Systems, ser. Lecture Notes in Computer Science. Berlin: Springer Verlag, September 20th-24th 1999, vol. 1708.