参考文献
[1]黎作鹏,张天驰,张菁.信息物理融合系统CPS研究综述[J].计算机科学,2011,38(9):25-31.
[2]Lee E A.Cyber Physical Systems:Design Challenges[C]//Proceedings of IEEE International Symposium on Object Oriented Real-time Distributed Computing.Washington D.C.,USA:IEEE Press,2008:363-369.
[3]Rajkumar R,Lee I,Sha L,et al.Cyber-physical Systems:The Next Computing Revolution[C]//Pro-ceedings of Design Automation Conference.New York,USA:ACM Press,2010:731-736.
[4]Derler P,Lee E,Vincentelli A S.Modeling Cyber-Physical Systems[J].Proceedings of the IEEE,2012,100(1):13-28.
[5]Talcott C.Cyber-Physical Systems and Events[M].Berlin,Germany:Springer,2008.
[6]Harel D.Statecharts:A Visual Formalism for Complex Systems[J].Science of Computer Programming,1987,8(3):231-274.
[7]Moura R S,Guedes L F.Basic Statechart:A Formalism to Model Industrial Systems[C]//Proceedings of IEEE International Conference on Industrial Informatics.Washington D.C.,USA:IEEE Press,2009:161-166.
[8]Kesten Y,Pnueli A.Timed and Hybrid Statecharts and Their Textual Representation[C]//Proceedings of the 2nd International Symposium.Berlin,Germany:Springer,1992:591-620.
[9]Qian J,Xu B.Model Checking for Timed Statecharts[C]//Proceedings of the 25th IFIP WG 6.1 International Conference.Berlin,Germany:Springer,2005:261-274.
[10]Tan Y,Vuran M C,Goddard S,et al.A Concept Lattice-based Event Model for Cyber-Physical Systems[C]//Proceedings of International Conference on Cyber-Physical Systems.New York,USA:ACM Press,2010:50-60.
[11]Naus G J L,Vugts R P A,Ploeg J,et al.String-Stable CACC Design and Experimental Validation:A Frequency-Domain Approach[J].IEEE Transactions on Vehicular Technology,2010,59(9):4268-4279.
[12]徐洪智,李仁发,曾理宁.基于Ptolemy的自适应巡航系统建模与仿真[J].计算机工程,2015,41(6):28-32.
[13]Dey K C,Yan L,Wang X,et al.A Review of Com-munication,Driver Characteristics,and Controls Aspects of Cooperative Adaptive Cruise Control (CACC)[J].IEEE Transactions on Intelligent Trans-portation Systems,2016,17(2):491-509.
[14]Zheng Yazhou,Cheng Rongjun,Lo Siu-Ming,et al.Stability Analysis of Traffic Flow with Extended CACC Control Models[J].Chinese Physics B,2016,25(6):123-129.
[15]毛建辉.基于混成自动机的事件驱动的CPS系统监控方法研究[D].长沙:国防科学技术大学,2011.
编辑刘冰 |