Achievable bisimilar behaviour of abstract state systems

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

doi:10.1109/CDC.2005.1582376

Achievable bisimilar behaviour of abstract state systems

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

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

10 Citations (Scopus)

100 Downloads (Pure)

Abstract

Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.

Original language	Undefined
Title of host publication	Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)
Place of Publication	Seville
Publisher	IEEE
Pages	1535-1540
Number of pages	6
ISBN (Print)	0-7803-9568-9
DOIs	https://doi.org/10.1109/CDC.2005.1582376
Publication status	Published - Dec 2005
Event	44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain Duration: 12 Dec 2005 → 15 Dec 2005 Conference number: 44

Conference

Conference	44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
Abbreviated title	CDC-ECC
Country/Territory	Spain
City	Seville
Period	12/12/05 → 15/12/05

Keywords

IR-69102
METIS-226726
EWI-16865
EC Grant Agreement nr.: FP6/511368

Access to Document

10.1109/CDC.2005.1582376

IEEEXplore

Cite this

@inproceedings{486937955b6c4ce69926518fc5abcec9,

title = "Achievable bisimilar behaviour of abstract state systems",

abstract = "Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.",

keywords = "IR-69102, METIS-226726, EWI-16865, EC Grant Agreement nr.: FP6/511368",

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

year = "2005",

month = dec,

doi = "10.1109/CDC.2005.1582376",

language = "Undefined",

isbn = "0-7803-9568-9",

pages = "1535--1540",

booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)",

publisher = "IEEE",

note = "null ; Conference date: 12-12-2005 Through 15-12-2005",

}

Pola, G, van der Schaft, A & Di Benedetto, MD 2005, Achievable bisimilar behaviour of abstract state systems. in Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)., 10.1109/CDC.2005.1582376, IEEE, Seville, pp. 1535-1540, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582376

Achievable bisimilar behaviour of abstract state systems. / Pola, G.; van der Schaft, Arjan; Di Benedetto, Maria D.

Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). Seville : IEEE, 2005. p. 1535-1540 10.1109/CDC.2005.1582376.

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

TY - GEN

T1 - Achievable bisimilar behaviour of abstract state systems

AU - Pola, G.

AU - van der Schaft, Arjan

AU - Di Benedetto, Maria D.

N1 - Conference code: 44

PY - 2005/12

Y1 - 2005/12

N2 - Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.

AB - Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.

KW - IR-69102

KW - METIS-226726

KW - EWI-16865

KW - EC Grant Agreement nr.: FP6/511368

U2 - 10.1109/CDC.2005.1582376

DO - 10.1109/CDC.2005.1582376

M3 - Conference contribution

SN - 0-7803-9568-9

SP - 1535

EP - 1540

BT - Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)

PB - IEEE

CY - Seville

Y2 - 12 December 2005 through 15 December 2005

ER -