Computer Science ›› 2013, Vol. 40 ›› Issue (6): 148-151.
Previous Articles Next Articles
SONG Cui-ye,WANG Qing and DU Cheng-lie
| [1] 何积丰.Cyber-physical systems[J].中国计算机学会通讯,2010,6(1):25-29 [2] Lee E A．Cps foundations[C]∥Proc．of the 47th Design Automation Conference,DAC’10．New York,USA,ACM,2010:737-742 [3] Derler P,Vincentlli A S．Modeling cyber-physical systems[J]．Proc．of the IEEE (special issue on CPS),2012,100:13-28 [4] Hopcroft J E．自动机理论、语言和计算导论(第2版)[M].刘田,等译.北京:机械工业出版社,2004:25-56 [5] van der Schaft A,Schumacher H．混成动态系统引论 [M].宋永华,等译.北京:清华大学出版社,2007:5-13 [6] 刘杰．基于模型的设计及其嵌入式实现[M].北京:北京航空航天大学出版社,2010:141-167 [7] Talcott C．Cyber-Physical Systems and Events[C]∥Software-Intensive Systems:Software-Intensive Systems and New Computing Paradigms．Springer-Verlag Berlin,Heidelberg,2008:101-115 [8] Tan Y,Vuran M C,Goddard S．Spatio-temporal event model for Cyber-Physical Systems[C]∥Proc．of 29th IEEE International Conference on Distributed Computing Systems Workshops．2009 [9] Tan Ying,Mehmet C V,Steve G．A concept lattice-based event model for cyber-physical systems[C]∥Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems,ICCPS ’10．2010:50-60 [10] Yue Ke,Wang Li,Ren Shang-ping,et al.An adaptive discrete event model for cyber-physical system[M]．The Analytic Virtual Integration of Cyber-Physical Systems Workshop,2010 [11] Chen Li-na,Huang Hong-bin,Deng Su．Research on CPS Spatio-Temporal Event Model based on the State[C]∥Proc．of The 6th International Conference on Computer Science & Education．2011:195-198 [12] Klein R,Xie Jing-quan,Usov A．Complex events and actions to control cyber-physical systems[C]∥Proc．of 5th ACM International Conference on Distributed Event-Based Systems,DEBS’11．2011:29-37 [13] Bellini P,Mattolini R,Nesi P．Temporal logics for real-time system specification[J]．ACM Comput．Surv．,2000,32(1):12-42 [14] Furia C A,Mandrioli D,Morzenti A,et al．Modeling time in computing:A taxonomy and a comparative survey[J]．ACM Comput．Surv.,2010,42(2):1-59 [15] Yu Y,Ren S,Frieder O．Interval-based timing constraints their satisfactions and applications[J]．IEEE Transactions on Computers,2008,57(3):418-432 |
| No related articles found! |
|
||
Home