现代电子技术2018，Vol.41Issue(5)：173-177,5.DOI:10.16652/j.issn.1004-373x.2018.05.039
基于可能性时空混成自动机的CPS软件建模
Modeling of CPS software based on possibility spatio-temporal hybrid automata
摘要
Abstract
The complex system modeling and validation by means of the cyber-physical system(CPS)is a hotspot issue of the current control study field. Considering the influence of the uncertain environment on CPS,the possibility measurement and spatio-temporal model are combined to give a modeling method of CPS based on possibility spatio-temporal hybrid automata. Taking the spatio-temporal hybrid automata as the modeling tool,analyzing the architecture of the CPS,and discussing the in-fluence of nondeterminacy's possibility on the spatio-temporal dynamic behavior when the CPS software is running,an architec-ture of the possibility spatio-temporal CPS is given. The theory verification and instance analysis results show that the CPS soft-ware modeling based on possibility spatio-temporal hybrid automata is feasible in uncertain environment.关键词
CPS/不确定性/可能性时空混成自动机/控制系统/建模/属性验证Key words
cyber-physical system/indeterminacy/possibility spatio-temporal hybrid automata/control system/modeling/property verification分类
信息技术与安全科学引用本文复制引用
彭姣,耿生玲,童英华,宫海彦..基于可能性时空混成自动机的CPS软件建模[J].现代电子技术,2018,41(5):173-177,5.基金项目
国家自然科学基金项目(61403290) （61403290）
国家社科项目(15XMZ057) （15XMZ057）
青海省自然基金项目(2014-ZJ-908,2015-ZJ-718,2016-ZJ-920Q,2017-ZJ-752) （2014-ZJ-908,2015-ZJ-718,2016-ZJ-920Q,2017-ZJ-752）
青海省重大研发项目(2016-SF-130)资助Project Supported by National Natural Science Foundation of China(61403290),National Social Science Foundation of China(15XMZ057), Natural Science Foundation of Qinghai(2014-ZJ-908,2015-ZJ-718,2016-ZJ-920Q,2017-ZJ-752),Major Research and Development Project of Qinghai(2016-SF-130) （2016-SF-130）
