DocumentCode
435131
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
Volume
2
fYear
2004
fDate
14-17 Dec. 2004
Firstpage
1406
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2004. CDC. 43rd IEEE Conference on
ISSN
0191-2216
Print_ISBN
0-7803-8682-5
Type
conf
DOI
10.1109/CDC.2004.1430240
Filename
1430240
Link To Document