Bisimulation as congruence in the behavioral setting

A.A.J. Anak Agung Julius; Arjan van der Schaft

doi:10.1109/CDC.2005.1582257

Bisimulation as congruence in the behavioral setting

A.A.J. Anak Agung Julius, Arjan van der Schaft

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

6 Citations (Scopus)

86 Downloads (Pure)

Abstract

We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in the field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A || B and A' || B are also bisimilar. Here, the operator || denotes systems composition, and B is any other system that is composed with A or A'.

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	814-819
Number of pages	6
ISBN (Print)	0-7803-9567-0
DOIs	https://doi.org/10.1109/CDC.2005.1582257
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

Publication series

Name
Publisher	IEEE

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

METIS-228692
EWI-16858
IR-69200

Access to Document

10.1109/CDC.2005.1582257

Cite this

@inproceedings{b176e710d8444f6c86c460a1bcd96e76,

title = "Bisimulation as congruence in the behavioral setting",

abstract = "We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in the field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A || B and A' || B are also bisimilar. Here, the operator || denotes systems composition, and B is any other system that is composed with A or A'.",

keywords = "METIS-228692, EWI-16858, IR-69200",

author = "{Anak Agung Julius}, A.A.J. and {van der Schaft}, Arjan",

year = "2005",

month = dec,

doi = "10.1109/CDC.2005.1582257",

language = "Undefined",

isbn = "0-7803-9567-0",

publisher = "IEEE",

pages = "814--819",

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

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

}

Anak Agung Julius, AAJ & van der Schaft, A 2005, Bisimulation as congruence in the behavioral setting. in Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)., 10.1109/CDC.2005.1582257, IEEE, Seville, pp. 814-819, 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.1582257

Bisimulation as congruence in the behavioral setting. / Anak Agung Julius, A.A.J.; van der Schaft, Arjan.

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

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

TY - GEN

T1 - Bisimulation as congruence in the behavioral setting

AU - Anak Agung Julius, A.A.J.

AU - van der Schaft, Arjan

N1 - Conference code: 44

PY - 2005/12

Y1 - 2005/12

N2 - We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in the field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A || B and A' || B are also bisimilar. Here, the operator || denotes systems composition, and B is any other system that is composed with A or A'.

AB - We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in the field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A || B and A' || B are also bisimilar. Here, the operator || denotes systems composition, and B is any other system that is composed with A or A'.

KW - METIS-228692

KW - EWI-16858

KW - IR-69200

U2 - 10.1109/CDC.2005.1582257

DO - 10.1109/CDC.2005.1582257

M3 - Conference contribution

SN - 0-7803-9567-0

SP - 814

EP - 819

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 -