10.13873/J.1000-9787(2016)10-0032-04
混成时空Petri网的CPS实时事件模型
在分析网络物理系统( CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网( HSPN)模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。
混成时空Petri网(HSPN)、网络物理系统(CPS)、实时事件模型、体系结构
35
TP305(计算技术、计算机技术)
国家自然科学基金资助项目61364023;航空基金资助项目2013ZD56008;江西省教育厅科技项目GJJ13516
2016-10-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
32-35