Departmental Papers (ESE)

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.

Document Type

Conference Paper

Subject Area

GRASP

Date of this Version

July 2002

Comments

Postprint version. Published in Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain, 2002, pages 1302-1307.

Keywords

transition systems, discrete-time systems, simulation relations, reachability, control invariant subspaces

Share

COinS
 

Date Posted: 27 March 2006