Bisimulation theory for switching linear systems

G. Pola; Arjan van der Schaft; Maria D. Di Benedetto

Bisimulation theory for switching linear systems

G. Pola
, Arjan van der Schaft
, Maria D. Di Benedetto

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)

278 Downloads (Pure)

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

Access to Document

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1430240&isnumber=30842

Cite this

@inproceedings{5495230014ca4e68a1d279f5e6e219c6,

title = "Bisimulation theory for switching linear systems",

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 = "EWI-16822, METIS-221905, IR-69100",

author = "G. Pola and \{van der Schaft\}, Arjan and \{Di Benedetto\}, \{Maria D.\}",

year = "2004",

language = "Undefined",

isbn = "0-7803-8682-5",

publisher = "IEEE",

pages = "1406--1411",

booktitle = "43rd IEEE Conference on Decision and Control",

address = "United States",

note = "43rd IEEE Conference on Decision and Control, CDC 2004 ; Conference date: 14-12-2004 Through 17-12-2004",

}

Pola, G, van der Schaft, A & Di Benedetto, MD 2004, Bisimulation theory for switching linear systems. in 43rd IEEE Conference on Decision and Control. IEEE, Paradise Island, The Bahamas, pp. 1406-1411, 43rd IEEE Conference on Decision and Control, CDC 2004, Paradise Island, Bahamas, 14/12/04. <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1430240&isnumber=30842>

TY - GEN

T1 - Bisimulation theory for switching linear systems

AU - Pola, G.

AU - van der Schaft, Arjan

AU - Di Benedetto, Maria D.

N1 - Conference code: 43

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - EWI-16822

KW - METIS-221905

KW - IR-69100

M3 - Conference contribution

SN - 0-7803-8682-5

SP - 1406

EP - 1411

BT - 43rd IEEE Conference on Decision and Control

PB - IEEE

CY - Paradise Island, The Bahamas

T2 - 43rd IEEE Conference on Decision and Control, CDC 2004

Y2 - 14 December 2004 through 17 December 2004

ER -