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.
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;
Conference_Titel :
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN :
0-7803-9567-0
DOI :
10.1109/CDC.2005.1582257
