DocumentCode
3107803
Title
Bisimulation as congruence in the behavioral setting
Author
Julius, A.A. ; Van der Schaft, A.J.
Author_Institution
Dept. Electrical and Systems Engineering, University of Pennsylvania, 200 S 33rd Street, Philadelphia PA19104, USA, Email: agung@seas.upenn.edu.
fYear
2005
fDate
12-15 Dec. 2005
Firstpage
814
Lastpage
819
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
Application software; Computer science; Discrete event systems; Logic; Mathematics; Signal mapping; State-space methods; Systems engineering and theory; Trajectory;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN
0-7803-9567-0
Type
conf
DOI
10.1109/CDC.2005.1582257
Filename
1582257
Link To Document