Design Research in Cyber-Physical Systems through Weak-Bisimulation

Abstract

Bisimulation methods for design and verification of complex digital electronics have become well established in engineering practice. Concurrently, there have been dramatic theoretical advances in the theory of hybrid dynamical systems. This paper explores the how these advances can be incorporated into research methods for the emerging area of cyber-physical systems from a cybernetics perspective. The results can be used in determining how design of engineered systems can be safely integrated into physical systems.

Keywords

• Cyber-Physical Systems
• Bisimulation