Symbolic sub-systems and symbolic control of linear systems

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 18-23

  Tabuada, Paulo ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SYMBOLIC CONTROLLERS; SYMBOLIC MODELS;

COMPUTER SOFTWARE; CONTROL EQUIPMENT; FEEDBACK CONTROL; KNOWLEDGE REPRESENTATION; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ANALYSIS;

LINEAR CONTROL SYSTEMS;

EID: 33847192543     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582124     Document Type: Conference Paper

References (14)

1. A. Arnold, A. Vincent, and I. Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 28(1):7-34, 2003.
2. A. Bicchi, A. Marigo, and B. Piccoli. On the rechability of quantized control systems. IEEE Transaction on Automatic Control, April 2002.
3. C. Cassandras and S. Lafortune. Introduction to discrete event systems. Kluwer Academic Publishers, Boston, MA, 1999.
4. E. Frazzoli, M.A. Dahleh, and E. Feron. A maneuver-based hybrid control architecture for autonomous vehicle motion planning. In G. Balas and T. Samad, editors, Software Enabled Control: Information Technology for Dynamical Systems. IEEE Press, 2003.
5. Antoine Girard and George J. Pappas. Approximation metrics for discrete and continuous systems. Technical Report MS-CIS-05-10, May 2005. Dept. of CIS, University of Pennsylvania.
6. R. Kumar and V.u. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, 1995.
7. T. J. Koo, G. J. Pappas, and S. Sastry. Mode switching synthesis for reachability specifications. In M. D. Di Benedetto and A. Sangiovanni- Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 333-346. Springer-Verlag, 2001.
8. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
9. P. Madhusudan and P.S. Thiagarajan. Branching time controllers for discrete event systems. Theoretical Computer Science, 274:117-149, March 2002.
10. D.M.R. Park. Concurrency and automata on infinite sequences, volume 104 of Lecture Notes in Computer Science, pages 167-183, 1981.
11. Paulo Tabuada. Open maps, alternating simulations and controller synthesis. In Philippa Gardner and Nobuko Yoshida, editors, Proceedings of the 15th International Conference on Concurrence Theory, volume 3170 of Lecture Notes in Computer Science, pages 466-480, London, UK, 2004. Springer.
12. W. Thomas. On the synthesis of strategies in infinite games. In Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science, volume 900 of Lecture Notes in Computer Science, pages 1-13. Springer, 1995.
13. Paulo Tabuada and George J. Pappas. Finite bisimulations of controllable linear systems. In Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii, 2003.
14. Paulo Tabuada and George J. Pappas. Linear Time Logic control of linear systems. February 2004. Under review, available at http: //www.nd.edu/~ptabuada.