Finite Bisimulations of Controllable Linear Systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2003, Pages 634-639

  Tabuada, Paulo ^a   Pappas, George J ^b  

^a University of Notre Dame   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; BOUNDARY VALUE PROBLEMS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; THEOREM PROVING;

FINITE BISIMULATIONS; FINITE TRANSITION SYSTEMS;

LINEAR CONTROL SYSTEMS;

EID: 1542299230     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, and George J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, 2000.
3. A. Bemporad and M.Morari. Control of systems integrating logic, dynamics and constraints. Automatica, 35(3):407-427, 1999.
4. Mireille Broucke. A geometric approach to bisimulation and verification of hybrid systems. In Fritz W. Vaan-drager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 61-75. Springer-Verlag, 1999.
5. M.C. Browne, E.M. Clarke, and O. Grumberg. Characterizing finite Kripke structures in prepositional temporal logic. Theoretical Computer Science, 59:115-131, 1988.
6. P. Brunovsky. A classification of linear controllable systems. Kybernetika, 6(3):173-188, 1970.
7. J.E.R. Cury, B.H. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control?: Special Issue on Hybrid Systems, 43(4):564-568, April 1998.
8. L.C.G.J.M. Habets and J. H. van Schuppen. Control of piecewise-linear hybrid systems on simplices and rectangles. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Sience, pages 261-274. Springer-Verlag, 2001.
9. Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
10. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. O-minimal hybrid systems. Mathematics of Control, Signals and Systems, 13(1):1-21. March 2000.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. T. Moor and J. M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
13. J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453-478, 2001.
14. Paulo Tabuada and George J. Pappas. From discrete specifications to hybrid control. In Proceedings of the 42th IEEE Conference on Decision and Control, 2003. To appear.
15. Paulo Tabuada and George J. Pappas. Model checking LTL over controllable linear systems is decidable. In Oded Maler and Amir Pnueli, editors, Hybrid Systems: Computation and Control, volume 2623 of Lecture Notes in Computer Sience. Springer-Verlag, 2003.
16. R. Vidal, S. Schaffert, O. Shakernia, J. Lygeros, and S. Sastry. Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. In Proceedings of the 40th IEEE Conference on Decision and Control, pages 1243-1248, Orlando, Deember 2001.