Title :
Bisimulation theory for switching linear systems
Author :
Pola, Giordano ; Van Der Schaft, Arjan J. ; Di Benedetto, Maria D.
Author_Institution :
Dept. of Electr. Eng., L´´Aquila Univ., Italy
Abstract :
A general notion of hybrid bisimulation is proposed and related to the notions of algebraic, state-space and input-output equivalences for the class of switching linear systems. An algebraic characterization of hybrid bisimulations and a procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Bisimulation-based reduction and simulation-based abstraction are defined and characterized. Connections with observability are investigated.
Keywords :
algebra; bisimulation equivalence; linear systems; observability; state-space methods; time-varying systems; algebraic equivalences; bisimulation theory; bisimulation-based reduction; equivalence class; finite number; hybrid bisimulation; input-output equivalences; simulation-based abstraction; state-space equivalences; switching linear systems; Computational modeling; Computer science; Control systems; Laser sintering; Linear systems; Mathematics; Observability; State-space methods; Switching systems;
Conference_Titel :
Decision and Control, 2004. CDC. 43rd IEEE Conference on
Print_ISBN :
0-7803-8682-5
DOI :
10.1109/CDC.2004.1430240
