基于组件自动机的概率连续行为的形式化模型

摘要

信息物理融合系统是由具有离散性的信息系统和具有连续性的物理系统通过端口进行数据、控制信号的通信组合而成.采用形式化方法对信息物理融合系统进行描述和验证,对于提高系统的正确性、可靠性和安全性具有重要的意义.信息物理融合系统的系统特性与组件交互自动机的建模思想相吻合.在现有的组件交互自动机的基础之上,提出了一种新的组件交互自动机——概率混成组件交互自动机,并给出了相关的定义及其进行组合的算法.概率混成组件交互机与之前的组件自动机相比,引入了状态迁移的不确定性以及状态内部的连续动态性,既能够描述系统状态上的不确定状态迁移,又能够对状态内部的连续行为特性进行刻画,便于对信息物理融合系统内部的不确定性和连续性进行很好地描述.