计算机科学 ›› 2015, Vol. 42 ›› Issue (1): 23-27.doi: 10.11896/j.issn.1002-137X.2015.01.005

• 综述 • 上一篇    下一篇

基于扩展DPN的CPS混成行为时效建模与综合评估

宋翠叶,杜承烈,李刚   

  1. 西北工业大学计算机学院 西安710029,西北工业大学计算机学院 西安710029,华北电力大学计算机系 保定071003
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家“863”计划基金项目:面向信息-物理融合的系统平台(2011AA010102),中央高校基本科研业务费专项资金(2014MS127),河北省自然科学基金(F2014502050),河北省高等学校科学研究项目(Z2013007)资助

Indicator-effect Modeling and Evaluation for CPS System Based on Extended DPN

SONG Cui-ye, DU Cheng-lie and LI Gang   

  • Online:2018-11-14 Published:2018-11-14

摘要: 信息物理融合系统行为是一种由离散计算过程与连续物理动态过程深度融合并紧密交互的混成行为。在CPS设计早期对信息系统实体的信息实体的关键监控参数、实时指标,以及物理系统设施的连续行为规律进行综合评估,是这类系统进一步设计与实现的基础。基于扩展DPN语义,以某智能车CPS系统自主行进紧急避障过程为研究对象,建立了其信息物理混成行为的Petri网模型,以融合并集中体现各关键参数和指标的时序协作效应;通过对该模型的仿真运行,实现了CPS行为的在线观测与综合评估。该方法为CPS子系统关键设计指标的综合合理性评估及其组合设计提供了一种解决途径。

关键词: CPS,混成行为,微分Petri网,实时指标,时效评估

Abstract: Cyber physical system (CPS) is composed of networked physical devices,in which computing entities are embedded to perceive everything and controll the running of the devices.Evaluating the integral effect of the physical and computing arguments,control indicators and related real-time properties is essential to the product development of a CPS system.In this paper,an intelligent vehicle was taken as the research object,and an extended differential Petri net (DPN) model was adopted to establish the integrated model of its cyber physical behavior and desired control effect,in which the key design elements are reflected.By executing of the model,the integrated control effect is judged directly from the model.This method provides an effective way to assess the integral properness,and combined design of key design indicators of a CPS system.

Key words: CPS,Hybrid behavior,Differential Petri net,Real time indicator,Indicator-effect evaluation

[1] 何积丰.Cyber-physical systems[J].中国计算机学会通讯,2010,6(1):25-29
[2] Lee E A.CPS foundations[C]∥Proc.of Design Automation Conference.2010:737-742
[3] David R,Alla H.Discrete,continuous,and hybrid Petri nets[M].Germany:Springer,2005
[4] Demongodin I,Koussoulas N T.Differential Petri Nets:Representing Continuous Systems in a Discrete-Event World[J].IEEE Transactions on Automatic Control,1998,43(4):573-579
[5] Hybrid Petri Net ICSI Simulator.http://sourceforge.net/projects/hisim,2013
[6] Center for hybrid and embedded software systems.Timing-Centric Software .http://chess.eecs.berkeley.edu/ptides/,2010
[7] Henriksson D,Elmqvist H.Cyber-physical systems modelingand simulation with modelica[C]∥Proceedings 8th Modelica Conference.2011:502-509
[8] Malmheden M,Elmqvist H,et al.ModeGraph-A Modelica Library for Embedded Control Based on Mode-Automata[C]∥Proceeding of 6th International Modelica Conference.2008:255-267

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!