[1]卜星晨,曹子宁,王福俊.基于组件自动机的概率连续行为的形式化模型[J].计算机技术与发展,2020,30(11):1-6.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
　BU Xing-chen,CAO Zi-ning,WANG Fu-jun.Formal Model of Probabilistic Continuous Behavior Based on Component Automata[J].,2020,30(11):1-6.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
点击复制

基于组件自动机的概率连续行为的形式化模型()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
30
期数:
2020年11期
页码:
1-6
栏目:
智能、算法、系统工程
出版日期:
2020-11-10

文章信息/Info

Title:
Formal Model of Probabilistic Continuous Behavior Based on Component Automata
文章编号:
1673-629X(2020)11-0001-06
作者:
卜星晨; 曹子宁; 王福俊
南京航空航天大学 计算机科学与技术学院,江苏 南京 211106
Author(s):
BU Xing-chen; CAO Zi-ning; WANG Fu-jun
School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
关键词:
信息物理融合系统; 组件交互自动机; 概率迁移; 连续动态性; 形式化方法
Keywords:
cyber-physical system; component interaction automata; probability transition; continuous dynamic; formal method
分类号:
TP301
DOI:
10. 3969 / j. issn. 1673-629X. 2020. 11. 001
摘要:
信息物理融合系统是由具有离散性的信息系统和具有连续性的物理系统通过端口进行数据、控制信号的通信组合而成。 采用形式化方法对信息物理融合系统进行描述和验证,对于提高系统的正确性、可靠性和安全性具有重要的意义。 信息物理融合系统的系统特性与组件交互自动机的建模思想相吻合。 在现有的组件交互自动机的基础之上,? 提出了一种新的组件交互自动机——概率混成组件交互自动机,并给出了相关的定义及其进行组合的算法。 概率混成组件交互机与之前的组件自动机相比,引入了状态迁移的不确定性以及状态内部的连续动态性,既能够描述系统状态上的不确定状态迁移,又能够对状态内部的连续行为特性进行刻画,便于对信息物理融合系统内部的不确定性和连续性进行很好地描述。
Abstract:
The Cyber-physical system ( CPS) is composed of discrete information systems and continuous physical systems which communicate data and control signals through ports. It is of great significance to describe and verify the CPS by using formal method for improving the correctness, reliability and security of the system. The system characteristic of the CPS is consistent with the modeling idea of the component interaction automaton. Based on the existing component interaction automata, a new component interaction automata,probabilistic hybrid component interaction automata,is proposed,and its definition and algorithm are given. Compared with the previous component automata, the probabilistic hybrid component interaction automata can model the uncertainty of state transition and the continuous dynamics inside the state. It can not only describe the uncertain state transition on the system state, but also describe the continuous behavior characteristics inside the state,which is convenient to describe the uncertainty and continuity inside the CPS.

相似文献/References:

[1]曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换[J].计算机技术与发展,2019,29(10):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
　CAO Xue-yue,CAO Zi-ning,BU Xing-chen.Hybrid AADL Modeling and Model Transformation for Cyber Physical System[J].,2019,29(11):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
[2]邵亚丽,陈海华,张立臣,等.动态信息物理融合系统实时数据服务[J].计算机技术与发展,2020,30(09):95.[doi:10. 3969 / j. issn. 1673-629X. 2020. 09. 017]
　SHAO Ya-li,CHEN Hai-hua,ZHANG Li-chen,et al.Real-time Data Service of Dynamic Cyber-physical System[J].,2020,30(11):95.[doi:10. 3969 / j. issn. 1673-629X. 2020. 09. 017]
[3]卜星晨,曹子宁,胡名光.带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
　BU Xing-chen,CAO Zi-ning,HU Ming-guang.A Modeling Method of Cyber-physical System with Data Constraints[J].,2020,30(11):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
[4]邵亚丽,陈海华,张立臣,等.信息物理融合系统实时数据服务[J].计算机技术与发展,2021,31(05):113.[doi:10. 3969 / j. issn. 1673-629X. 2021. 05. 020]
　,,et al.Ｒｅａｌ－ｔｉｍｅＤａｔａＳｅｒｖｉｃｅｏｆＣｙｂｅｒ－ｐｈｙｓｉｃａｌＳｙｓｔｅｍ[J].,2021,31(11):113.[doi:10. 3969 / j. issn. 1673-629X. 2021. 05. 020]
[5]黄 涛,曹子宁,李 晴.基于 Shapelet 的混成自动机规范挖掘技术[J].计算机技术与发展,2023,33(01):74.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 012]
　HUANG Tao,CAO Zi-ning,LI Qing.Specification Mining Technology of Hybrid Automata Based on Shapelet[J].,2023,33(11):74.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 012]

更新日期/Last Update: 2020-11-10