Computer Science ›› 2013, Vol. 40 ›› Issue (11): 18-22.
Previous Articles Next Articles
HE Ming,LIANG Wen-hui,CHEN Xi-liang and CHEN Qiu-li
[1] Broy M.Cyber-Physical Systems:Technological & scientificchallenges[R].Presentation Report.2010 [2] 林峰,舒少龙.赛博物理系统发展综述[J].同济大学学报:自然科学版,2010,8(2):17-23 [3] Rajkumar R,Lee I,Lui Sha,et a1.Cyber-physical systems:The next computing revolution[C]∥ACM/IEEE Design Automation Conf(DAC).Los Alamitos,CA:IEEE Computer Society,2010:731-736 [4] Baheti R,Gill H.Cyber-physical systems[M]∥The Impact ofControl Technology.Washington D C,USA:IEEE,2011:161-166 [5] 何积丰.Cyber-physical Systems[J].中国计算机学会通讯,2010,6(1):25-29 [6] La H J,Kim S D.A Service-based Approach to Designing Cyber Physical Systems[C]∥2010IEEE/ACIS 9th International Conference on Computer and Information Science.Yamagata,2010:895-900 [7] Zhu Quan-yan,Rieger C,Basar T.A Hierarchical Security Architecture for Cyber-Physical Systems[C]∥Resilient Control System(ISRCS),2011,4th International Symposium on Topic(s):Communication Networking&Broadcasting.2011:13-14 [8] Dillon T S,Zhuge H,Wu C,et al.Web-ofthings framework for cyber-physical systems[J].Concurrency and Computation:Practice and Experience,2011,3(9):905-923 [9] 王小乐,陈丽娜,黄宏斌,等.一种面向服务的CPS体系框架[J].计算机研究与发展,2010,7(Suppl.):299-303 [10] 谭朋柳,舒坚,吴振华.一种信息-物理融合系统体系结构[J].计算机研究与发展,2010,7(Suppl.):312-316 [11] 张侃,张广泉,张茗泰.一种可信的信息物理融合系统设计框架初探[J].计算机研究与发展,2011,8(Suppl.):242-246 [12] 陈丽娜,王小乐,邓苏.CPS体系结构设计[J].计算机科学,2011,38(5):31-34 [13] Zhang Li-chen.Aspect-Oriented Formal Techniques of CyberPhysical Systems[J].Journal of Software ,2012,7(4):823-834 [14] Lee E A,Seshia S A.Introduction to Embedded Systems,A Cyber-Physical Systems Approach[M].Lee & Seshia,2011 [15] Mark-Oliver S,Minyoung K,Carolyn T.Toward distributed declarative control of networked cyber-physical systems[C]∥7th International Conference on Ubiquitous Intelligence and Computing.Xi’an,2010:397-413 [16] Jorge R B G,Sergio T K.Architecture for sensor networks in cyber-physical system[C]∥Proc.IEEE Latin-American Conference on Communications.Bogota,2010:1-6 [17] Vicaire P A,Hoque E,Xie Zhi-heng,et al.Bundle:A GroupBased Programming Abstraction for Cyber Physical Systems[C]∥Proceedings of the 1st ACM/IEEE International Confe-rence on Cyber-Physical Systems.2010:32-41 [18] Lee E A,Seshia S A.Introduction to Embedded Systems,A Cyber-P hysical Systems Approach[M].Lee & Seshia,2011 [19] 胡雅菲,李方敏,刘新华.CPS网络体系结构及关键技术[J].计算机研究与发展,2010,7(Suppl.):304-311 [20] Baheti R,Gill H.Cyber-physical systems[M]∥The Impact of Control Technology Washington D C,USA:IEEE,2011:161-166 [21] Bestavros A,Kfoury A,Lapets A,et al.Safe compositional network sketches:formal framework[C]∥Proceedings of the 13th ACM International Conference on Hybrid Systems:Computation and Control.New York,USA:ACM,2010:231-241 [22] Kim K H.Desirable advances in cyber-physical system software engineering[C]∥Proceedings of the IEEE International Confe-rence on Sensor Networks,Ubiquitous,and Trustworthy Computing.California,USA:IEEE,2010:2-4 [23] Dillon T,Potdar V,Singh J, et al.Cyber-physical systems:Providing Quality of Service(QoS)in a heterogeneous systems-of-systems environment[C]∥Proceedings of 5th IEEE International Digital Ecosystems and Technologies Conference(DEST).Daejeon,USA:IEEE,2011:330-335 [24] Wan Kai-yu,Hughes D,Man L L,et al.Composition Challenges and Approaches for Cyber Physical Systems[C]∥2010IEEE International Conference on Networked Embedded Systems for Enterprise Applications.Suzhou,2010:1-7 [25] Ma Long-hua,Yuan Teng-kai,Xia Feng,et al.A high-confidencecyber-physical alarm system:Design and implementation[C]∥2010IEEE/ACM International Conference on Cyber,Physical and Social Computing.Stockholm,2010:516-520 [26] Kim K H.Challenges and future directions of cyber-physicalsystem software[C]∥34th Annual IEEE International Compu-ter Software and Applications Conference.Seoul,2010:10-13 [27] Dragomirescu D.Cyber-Physical Systems for aeronautic applica-tions[R].Presentation Report,2010.University of Toulouse,France 2010 [28] Singh J,Hussain O,Chang E,et al.Event Handling for Distri-buted Real-Time Cyber-Physical Systems[C]∥IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.China,2012:23-30 [29] Huang Jian,Zhang Yan-sheng,Ling Yen I,et al.Real-time ser-vice-oriented distributed governance[C]∥Proc.20106th World Congress on Services.Miami,2010:479-484 [30] Huang Huang-ming,Tidwell T,Gill C,et al.Cyber-PhysicalSystems for Real-Time Hybrid Structural Testing:A Case Study[C]∥Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems.Stockholm,2010:69-78 [31] Derler P,Lee E A,Sangiovanni-Vincentelli A.Modeling Cyber-Physical Systems[C]∥Proceedings of the IEEE special issue on CPS.December 2011 [32] Lakshmanan K,Niz D,Rajkumar R,et al.Resource allocation in distributed mixed-criticality Cyber-Physical Systems[C]∥Proc.of International Conference on Distributed Computing Systems.2010 |
No related articles found! |
|