计算机科学 ›› 2017, Vol. 44 ›› Issue (7): 21-24.doi: 10.11896/j.issn.1002-137X.2017.07.004
• 2016 年全国理论计算机科学学术年会 • 上一篇 下一篇
宋相君,张广泉
SONG Xiang-jun and ZHANG Guang-quan
摘要: 信息物理融合系统(Cyber-Physical System,CPS)是一个集计算系统、通信系统、感知系统、控制系统和物理系统于一体的复杂系统,其行为是一种由离散计算过程与连续物理过程深度融合并紧密交互的混成行为。针对这种特性,采用混成Petri网对CPS建模,并在此基础上添加时间约束,即对离散变迁关联一个延迟时间,对连续变迁关联一个激发速率函数,同时引入抑止弧和测试弧的概念以提高Petri网的表达能力,由此提出一种新的模型——扩展混成Petri网模型。然后,对CPS应用中无人驾驶车辆系统的躲避障碍物场景进行建模,将建立的模型按照一定的规则转化为与之对应的Simulink模型,并通过Matlab仿真对系统行为及属性进行分析。
[1] CHEN M S,HUANG S J,LI A.Overview of CPS Research [J].China Computer Federation,2013,9(7):8-16.(in Chinese) 陈铭松,黄赛杰,李昂.CPS研究热点概述[J].中国计算机学会通讯,2013,9(7):8-16. [2] PLATZER A.Differential Dynamic Logic for Hybrid Systems[J].Journal of Automated Reasoning,2008,1(2):143-189. [3] DAVID R,ALLA H.On Hybrid Petri Nets [J].Discrete Event Dynamic Systems,2001,11(1/2):9-40. [4] DAVID R,ALLA H.Discrete,Continuous,and Hybrid PetriNets[M].Berlin:Springer,2005. [5] DI FEBBRARO A,SACCO N.On Modeling Urban Transportation Networks Via Hybrid Petri Nets [J].Control Engineering Practice,2004,12(10):1225-1239. [6] THACKER R A,JONES K R,MYERS C J,et al.AutomaticAbstraction for Verification of Cyber-Physical Systems[C]∥Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems.ACM,2010:12-21. [7] LIU S J,YUE X B,ZOU Z.Modeling and Behavior Analysis of Petri Net with Inhibitor Arcs and Test Arcs [J].Journal of System Simulation,2009,20:76-81.(in Chinese) 刘石坚,乐晓波,邹峥.含抑制弧和测试弧 Petri 网的建模及其行为分析[J].系统仿真学报,2009,20:76-81. [8] MOLLER D P F,XAVIER FIDENCIO A,COTA E,et al.Cyber-Physical Smart Traffic Light System[C]∥IEEE International Conference on Electro/Information Technology.2015:546-551. [9] TAO L,FENG T,et al.From Off-line toward Real-Time:A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (MDPnP)[C]∥Proceedings of International Conference on Cyber-Physical Systems (ICCPS).2012:13-22. |
No related articles found! |
|