Computer Science ›› 2017, Vol. 44 ›› Issue (7): 21-24.doi: 10.11896/j.issn.1002-137X.2017.07.004
Previous Articles Next Articles
SONG Xiang-jun and ZHANG Guang-quan
[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! |
|