Bisimulation relations for dynamical, control, and hybrid systems

详细信息	查看全文 | 推荐本文 |

• 作者：Esfandiar Haghverdi ; Paulo Tabuada and George J. Pappas
• 关键词：Bisimulation ; Open maps ; Dynamical systems ; Control systems ; Hybrid systems
• 刊名：Theoretical Computer Science
• 出版年：2005
• 期刊代码：114_03043975
• 类别：cp
• 出版时间：2005
• 卷：342
• 期：2-3
• 页码：229-261
• 文件大小：397 K

摘要

The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous, and subsequently, hybrid systems. Inspired by the categorical framework of Joyal, Nielsen and Winskel, we develop novel notions of bisimulation equivalence for dynamical systems as well as control systems. We prove that these notions can be captured by the abstract notion of bisimulation as developed by Joyal, Nielsen and Winskel. This is the first unified notion of system equivalence that transcends discrete and continuous systems. Furthermore, this enables the development of a novel and natural notion of bisimulation for hybrid systems, which is the final goal of this paper.