摘要
在分析网络物理系统(CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网(HSPN)模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。
On the basis of analyzing characteristics of cyber physical systems( CPS),propose a new architecture of CPS,and formal definition of events is given. A new formal modeling method of CPS physical entity is proposed and defined. Introduce spatial and temporal factors and continuous variables on the basis of Petri nets,hybird spatial-temporal Petri nets( HSPN) is constructed,HSPN can not only describe behavior of physical entities in logical and time-level,but also can describe change of state caused by position change of physical entities. HSPN model is applied to real-time events CPS model design,and take medical control system as an example,analyze feasibility of modeling method.
出处
《传感器与微系统》
CSCD
2016年第10期32-35,共4页
Transducer and Microsystem Technologies
基金
国家自然科学基金资助项目(61364023)
航空基金资助项目(2013ZD56008)
江西省教育厅科技项目(GJJ13516)