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

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.

Included in

Engineering Commons

Share

COinS
 

Date Posted: 12 October 2010

This document has been peer reviewed.