Computer Science ›› 2015, Vol. 42 ›› Issue (1): 23-27.doi: 10.11896/j.issn.1002-137X.2015.01.005

Previous Articles     Next Articles

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

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!