10.3778/j.issn.1002-8331.1705-0099
CPS系统物理实体时空一致性建模与分析
CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画.传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方法.将CPS时空状态转移融合成一个状态转移实时时空事件,并在时间Petri网基础上引入空间标签,建立时空Petri网模型,利用时空Petri网对物理实体状态转移过程进行分析.最后通过列车控制系统实例进一步分析了时空模型的有效性,从而例证了该方法的可行性.
信息物理系统(CPS)、空间、时空事件、时间、Petri网、模型
54
TP301(计算技术、计算机技术)
国家自然科学基金61562051;云南省应用基础研究计划重点项目2014FA029
2018-10-22（万方平台首次上网日期，不代表论文的发表时间）
共4页
41-44
