基于可能性混成自动机的CPS建模方法  

Modeling method of cyber-physical systems based on possibility mixed automaton

作　　者：陈娜[1,2] 耿生玲[1] 李永明[3] 张胜礼[3,4] 

机构地区：[1]青海师范大学计算机学院,青海西宁810008 [2]陕西师范大学网络信息中心,陕西西安710069 [3]陕西师范大学计算机科学学院,陕西西安710069 [4]兴义民族师范学院计算机科学系,贵州兴义562400

出　　处：《西安邮电大学学报》2016年第1期101-105,共5页Journal of Xi’an University of Posts and Telecommunications

基　　金：国家自然科学基金资助项目(61261047);国家社科基金资助项目(15XMZ057);青海省自然科学基金资助项目(2014-Z-910;2015-ZJ-718);贵州省教育厅自然科学研究重点资助项目(黔教合KY字[2015]408号)

摘　　要：针对环境中存在的不确定性因素对信息物理融合系统的影响,提出一种可能性混成自动机的信息物理融合系统建模方法。该方法以可能性混成自动机为建模工具,通过分析信息物理融合系统的体系结构,讨论衡量不确定性的可能性对信息物理融合系统软件运行时的动态影响。以汽车速度智能控制系统为例,说明该方法的有效性。Due to the influence of uncertainty factors on cyber-physical systems （CPS） in the en- vironment, a typical prototype of CPS architecture and possibility CPS modeling approach based on possibility mixed automaton is given in this paper. The systematic dynamic impaction of non-- determined possibility on CPS software is discussed. The case of the vehicle speed control system is presented to show the validity of the modeling method.

关 键 词：信息物理融合系统 可能性混成自动机 可能性CPS 建模 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]