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.
| Original language | Undefined |
|---|---|
| Title of host publication | 43rd IEEE Conference on Decision and Control |
| Place of Publication | Paradise Island, The Bahamas |
| Publisher | IEEE |
| Pages | 1406-1411 |
| Number of pages | 6 |
| ISBN (Print) | 0-7803-8682-5 |
| Publication status | Published - 2004 |
| Event | 43rd IEEE Conference on Decision and Control, CDC 2004 - The Atlantis, Paradise Island, Bahamas Duration: 14 Dec 2004 → 17 Dec 2004 Conference number: 43 |
Publication series
| Name | |
|---|---|
| Publisher | IEEE |
| Volume | 2 |
| ISSN (Print) | 0191-2216 |
Conference
| Conference | 43rd IEEE Conference on Decision and Control, CDC 2004 |
|---|---|
| Abbreviated title | CDC |
| Country/Territory | Bahamas |
| City | Paradise Island |
| Period | 14/12/04 → 17/12/04 |
Keywords
- EWI-16822
- METIS-221905
- IR-69100