Bisimilar linear systems

Automatica

Volumn 39, Issue 12, 2003, Pages 2035-2047

  Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Bisimulation; Control invariance; Linear systems; Reachability; Transition systems

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONTROL EQUIPMENT; DISCRETE TIME CONTROL SYSTEMS; STATE SPACE METHODS;

BISIMULATION;

LINEAR CONTROL SYSTEMS;

EID: 0242366144     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2003.07.003     Document Type: Article

References (27)

1. Alur R., Henzinger T., Lafferriere G., Pappas G.J. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7):2000;971-984.
2. Aoki M. Control of large scale dynamic systems by aggregation. IEEE Transactions on Automatic Control. 13(3):1968;246-253.
3. Asarin E., Bournez O., Dang T., Maler O., Pnueli A. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE. 88(7):2000;1011-1025.
4. Barrett G., Lafortune S. Bisimulation, the supervisory control problem and strong model matching for finite state machines. Journal of Discrete Event Dynamical Systems: Theory and Application. 8(4):1998;377-429.
5. Browne M.C., Clarke E.M., Grumberg O. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science. 59:1988;115-131.
6. Caines P.E., Wei Y.J. The hierarchical lattices of a finite state machine. Systems and Control Letters. 25:1995;257-263.
7. Chutinam A., Krogh B. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control. 48(1):2003;64-75.
8. Clarke E., Grumberg O., Peled D. Model checking. 2001;MIT Press, Cambridge, MA.
9. Davoren J., Nerode A. Logics for hybrid systems. Proceedings of the IEEE. 88(7):2000;985-1010.
10. Van Dooren P.M. The generalized eigenstructure problem in linear system theory. IEEE Transactions on Automatic Control. 26(1):1981;111-129.
11. Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen (Ed.), Handbook of theoretical computer science. Vol. B (pp. 995-1072). Amsterdam: Elsevier.
12. Haghverdi, E., Tabuada, P., Pappas, G. J. (2003). Bisimulation Relations for Dynamical and Control Systems. In: R. Blute & P. Selinger (Eds.), Electronic Notes in Theoretical Computer Science. Vol. 69. Elsevier.
13. Koutsoukos X., Antsaklis P., Stiver J., Lemmon M. Supervisory control of hybrid systems. Proceedings of the IEEE. 88(7):2000;1026-1049.
14. Lafferriere G., Pappas G.J., Sastry S. O -minimal hybrid systems Mathematics of Control, Signals, and Systems. 13(1):2000;1-21.
15. Milner R. Communication and concurrency. 1989;Prentice-Hall, Englewood Cliffs, NJ.
16. Pappas, G. J. (2001). Bisimilar linear systems. Technical report MS-CIS-01-19, University of Pennsylvania, Philadelphia, PA.
17. Pappas, G. J., & Lafferriere, G. (2001). Hierarchies of stabilizability preserving linear systems. In Proceedings of the 40th IEEE Conference on Decision and Control, (pp. 2081-2086). Orlando, FL.
18. Pappas G.J., Lafferriere G., Sastry S. Hierarchically consistent control systems. IEEE Transactions on Automatic Control. 45(6):2000;1144-1160.
19. Pappas G.J., Simic S. Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control. 47(5):2002;745-756.
20. Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th annual symposium on foundations of computer science (pp. 46-57). Silver Spring, MD: IEEE Computer Society Press.
21. Saad Y. Projection and deflation methods for partial pole assignment in linear state feedback. IEEE Transactions on Automatic Control. 33(3):1988;290-297.
22. van der Schaft A.J., Schumacher J.M. Compositionality issues in discrete, continuous, and hybrid systems. International Journal of Robust and Nonlinear Control. 11(5):2001;417-434.
23. Stankovic S.S., Siljak D.D. Model abstraction and inclusion principle. A comparison IEEE Transactions on Automatic Control. 47(3):2002;529-532.
24. Tabuada, P., & Pappas, G. J. (2003). Model checking LTL over controllable systems is decidable. In: O. Maler & A. Pnueli (Eds.), Hybrid systems: computation and control, Vol. 2623 of Lecture Notes in Computer Science. (pp. 498-513). Berlin: Springer.
25. Tomlin C., Lygeros J., Sastry S. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE. 88(7):2000;949-970.
26. Wong K.C., Wonham W.M. Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems. 6:1995;241-273.
27. Wonham, W. M. (1985). Linear multivariable control: A geometric approach, Applications of mathematics, Vol. 10. New York: Springer.