Departmental Papers (ESE)
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 teh field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A II B and A' II B are also bisimilar. Here, the operator II denotes systems with composition, and B is any other system that is composed with A or A'.
Document Type
Conference Paper
Date of this Version
12-2005
Date Posted: 12 October 2010
This document has been peer reviewed.
Comments
Suggested Citation:
Julius, A.A. and A.J. van der Schaft. (2005). Bisimulation as congruence in the behavioral setting. Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference 2005. Seville, Spain, December 12-15, 2005.
©2005 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.