检索结果-维普期刊中文期刊服务平台

基于可能性时空混成自动机的CPS软件建模: 1; 作者彭姣耿生玲 +1 位作者童英华宫海彦《现代电子技术》北大核心 2018年第5期173-177,共5页; 信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模... 展开更多; 关键词 CPS 不确定性可能性时空混成自动机控制系统建模属性验证; 在线阅读下载PDF 职称材料

基于可能性混成自动机的CPS属性验证: 2; 作者陈娜耿生玲 +1 位作者李永明薄玮《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第5期26-32,共7页; 针对环境中存在的不确定性因素对信息物理融合系统(CPS)的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法。通过验证其可达性和安全性,理论证明和实例分析表... 展开更多; 关键词可能性混成自动机可能性CPS 动态验证; 在线阅读下载PDF 职称材料

一种离散连续混成的时空事件驱动的CPS体系架构被引量：5: 3; 作者赵红专孙棣华 +1 位作者程森林赵敏《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2016年第9期170-175,共6页; 为描述信息物理融合系统(cyber-physical system,CPS)中离散信息系统和连续物理系统交互融合的混成特性,基于混成自动机理论,结合多智能体系统(multi-agent system,MAS)和时空事件驱动方法,提出一种CPS体系架构.该架构用改进的混成自动... 展开更多; 关键词信息物理融合系统体系架构混成自动机理论多智能体系统时空事件; 在线阅读下载PDF 职称材料