Computer Science ›› 2017, Vol. 44 ›› Issue (7): 21-24.doi: 10.11896/j.issn.1002-137X.2017.07.004

Previous Articles     Next Articles

Modeling and Analysis of CPS Unmanned Vehicle Systems Based on Extended Hybrid Petri Net

SONG Xiang-jun and ZHANG Guang-quan   

  • Online:2018-11-13 Published:2018-11-13

Abstract: Cyber-physical system (CPS) is a complex system that integrates computing system,communication system,perceptual system,control system and physical system.Its running is a kind of hybrid behavior that discrete computing process and continuous physical process are closely interacted and deeply integrated.Concerning this feature,hybrid Petri net is used for modeling CPS and on this basis adding the time constraint,in other words,adding time delay to discrete places and adding a function of velocity to continuous places.At the same time,the concept of inhibitor arcs and test arc are introduced to improve the expression ability of Petri net.A new model called extended hybrid Petri Net was proposed.Then obstacles avoidance for unmanned vehicle system was modeled,according to some rules,the models were converted into corresponding Simulink models.Through the simulation of Matlab,the dynamic behaviors and attributes of systems were analyzed.

Key words: CPS,Hybrid Petri net,Simulink/Stateflow

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!