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

针对环境中存在的不确定性因素对信息物理融合系统的影响,提出一种可能性混成自动机的信息物理融合系统建模方法。该方法以可能性混成自动机为建模工具,通过分析信息物理融合系统的体系结构,讨论衡量不确定性的可能性对信息物理融合系统软件运行时的动态影响。以汽车速度智能控制系统为例,说明该方法的有效性。

基于可能性混成自动机的CPS属性验证

针对环境中存在的不确定性因素对信息物理融合系统(CPS)的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法。通过验证其可达性和安全性,理论证明和实例分析表明该方法是有效的,可描述不确定环境因素下的CPS系统的验证。

基于可能性时空混成自动机的CPS软件建模

信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法。以时空混成自动机为建模工具,通过分析CPS的体系结构,讨论衡量不确定性的可能性对CPS软件运行时的时空动态影响,给出一个可能性时空CPS系统架构。通过理论证明和实例分析在不确定环境下可能性时空混成自动机为CPS软件系统建模的可行性。