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

• 作者: 卜星晨 曹子宁 王福俊
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 信息物理融合系统 组件交互自动机 概率迁移 连续动态性 形式化方法
• 年，卷（期）: 2020,（11）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2020.11.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹子宁		25	200	8.0	13.0
2	卜星晨		3	0	0.0	0.0
3	王福俊		2	0	0.0	0.0