Cyber-Physical Systems: A Perspective at the Centennial

被引:536
作者
Kim, Kyoung-Dae [1 ]
Kumar, P. R. [1 ]
机构
[1] Texas A&M Univ, Dept Elect & Comp Engn, College Stn, TX 77843 USA
基金
美国国家科学基金会;
关键词
Cyber-physical systems (CPSs); hybrid systems; model-driven development; networked control systems; real-time systems; security; verification and validation; wireless sensor networks; NETWORKED CONTROL-SYSTEMS; LINEAR-SYSTEMS; FEEDBACK STABILIZATION; FUNCTION COMPUTATION; SCHEDULING THEORY; APERIODIC TASKS; SENSOR NETWORK; TIME; COMMUNICATION; STABILITY;
D O I
10.1109/JPROC.2012.2189792
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Cyber-physical systems (CPSs) are the next generation of engineered systems in which computing, communication, and control technologies are tightly integrated. Research on CPSs is fundamentally important for engineered systems in many important application domains such as transportation, energy, and medical systems. We overview CPS research from both a historical point of view in terms of technologies developed for early generations of control systems, as well as recent results on CPSs in many relevant research domains such as networked control, hybrid systems, real-time computing, real-time networking, wireless sensor networks, security, and model-driven development. We outline the potential for CPSs in many societally important application domains.
引用
收藏
页码:1287 / 1308
页数:22
相关论文
共 263 条
[1]   ARMADA middleware and communication services [J].
Abdelzaher, T ;
Dawson, S ;
Feng, WC ;
Jahanian, F ;
Johnson, S ;
Mehra, A ;
Mitton, T ;
Shaikh, A ;
Shin, K ;
Wang, Z ;
Zou, H ;
Bjorkland, M ;
Marron, P .
REAL-TIME SYSTEMS, 1999, 16 (2-3) :127-153
[2]   A utilization bound for aperiodic tasks and priority driven scheduling [J].
Abdelzaher, TF ;
Sharma, V ;
Lu, CY .
IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (03) :334-350
[3]   Performance guarantees for Web server end-systems: A control-theoretical approach [J].
Abdelzaher, TF ;
Shin, KG ;
Bhatti, N .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2002, 13 (01) :80-96
[4]   Resource reservation in dynamic real-time systems [J].
Abeni, L ;
Buttazzo, G .
REAL-TIME SYSTEMS, 2004, 27 (02) :123-167
[5]  
Abramson N., P AFIPS 70 FALL P FA, P281, DOI [10.1145/1478462.1478502, DOI 10.1145/1478462.1478502]
[6]   Routing techniques in wireless sensor networks: A survey [J].
Al-Karaki, JN ;
Kamal, AE .
IEEE WIRELESS COMMUNICATIONS, 2004, 11 (06) :6-28
[7]  
alman KR.E., 1958, T ACME, V80, P468
[8]   Source coding and graph entropies [J].
Alon, N ;
Orlitsky, A .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1996, 42 (05) :1329-1339
[9]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[10]   Automatic symbolic verification of embedded systems [J].
Alur, R ;
Henzinger, TA ;
Ho, PH .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) :181-201