Simulation relations for discrete-time linear systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 445-450

  Tanner, Herbert ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Control invariant subspaces; Discrete time systems; Reachability; Simulation relations; Transition systems

Indexed keywords

ABSTRACTING; AUTOMATION; DIGITAL CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; LINEAR CONTROL SYSTEMS; LINEAR SYSTEMS;

CONTROL INVARIANT; DISCRETE - TIME SYSTEMS; REACHABILITY; SIMULATION RELATION; TRANSITION SYSTEM;

DISCRETE TIME CONTROL SYSTEMS;

EID: 84945578443     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00562     Document Type: Conference Paper

References (12)

1. Alur, R., T. Henzinger, G. Lafferriere and G.J. Pappas (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7), 971-984.
2. Aoki, M. (1968). Control of large scale dynamic systems by aggregation. IEEE Transactions on Automatic Control 13(3), 246-253.
3. Caines, P.E. and Y.J. Wei (1995). The hierarchical lattices of a finite state machine. Systems and Control Letters 25, 257-263.
4. Koutsoukos, X., P. Antsaklis, J. Stiver and M. Lemmon (2000). Supervisory control of hybrid systems. Proceedings of the IEEE 88(7), 1026-1049.
5. Manna, Z. and A. Pnueli (1995). Temporal Verification of Reactive Systems: Safety. Springer Verlag. New York.
6. Milner, R. (1989). Communication and Concurrency. Prentice Hall.
7. Pappas, G. J. and G. Lafferriere (2001). Hierarchies of stabilizability preserving linear systems. In: Proceedings of the 40th IEEE Conference in Decision and Control. Orlando, FL.
8. Pappas, G. J. and S. Simic (2001). Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control. Submitted.
9. Pappas, G. J., G. Lafferriere and S. Sastry (2000). Hierarchically consistent control systems. IEEE Transactions on Automatic Control 45(6), 1144-1160.
10. van der Schaft, A. J. and J. M. Schumacher (2001). Compositionality issues in discrete, continuous, and hybrid systems. International Journal of Robust and Nonlinear Control 11(5), 417-434.
11. Wong, K.C. and W.M. Wonham (1995). Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems 6, 241-273.
12. Wonham, W.M. (1985). Linear Multivariable Control: A Geometric Approach. Vol. 10 of Applications of Mathematics. Springer-Verlag. New York.