计算机科学 ›› 2015, Vol. 42 ›› Issue (1): 23-27.doi: 10.11896/j.issn.1002-137X.2015.01.005
宋翠叶,杜承烈,李刚
SONG Cui-ye, DU Cheng-lie and LI Gang
摘要: 信息物理融合系统行为是一种由离散计算过程与连续物理动态过程深度融合并紧密交互的混成行为。在CPS设计早期对信息系统实体的信息实体的关键监控参数、实时指标,以及物理系统设施的连续行为规律进行综合评估,是这类系统进一步设计与实现的基础。基于扩展DPN语义,以某智能车CPS系统自主行进紧急避障过程为研究对象,建立了其信息物理混成行为的Petri网模型,以融合并集中体现各关键参数和指标的时序协作效应;通过对该模型的仿真运行,实现了CPS行为的在线观测与综合评估。该方法为CPS子系统关键设计指标的综合合理性评估及其组合设计提供了一种解决途径。
[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! |
|