Departmental Papers (ESE)
Document Type
Conference Paper
Date of this Version
July 2002
Abstract
Simulation relations of labeled transition systems are used in theoretical computer science in order to formally establish notions of modeling abstraction and refinement in hierarchical systems. In this paper, we establish and characterize simulation relations for arbitrary discrete-time, linear control systems. More precisely, given two discrete-time systems, we consider various embeddings into labeled transition systems, that differ in the amount of timing information that is maintained in the transition relation. For each embedding, we obtain necessary and sufficient conditions for one discrete-time system simulating the transitions of the other. Naturally, the simulation characterizations become weaker as more information is abstracted away in the embedding.
Keywords
transition systems, discrete-time systems, simulation relations, reachability, control invariant subspaces
Date Posted: 27 March 2006
Comments
Postprint version. Published in Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain, 2002, pages 1302-1307.