Bisimulation as Congruence in the Behavioral Setting
Loading...
Penn collection
Departmental Papers (ESE)
Degree type
Discipline
Subject
Engineering
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
van der Schaft, A J
Contributor
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'.
Advisor
Date of presentation
2005-12-01
Conference name
Departmental Papers (ESE)
Conference dates
2023-05-17T05:26:25.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
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.