Design Automation for Cyber-Physical Systems

被引:7
|
作者
Zhu, Qi [1 ,2 ,3 ]
Sangiovanni-Vincentelli, Alberto [4 ]
Hu, Shiyan [5 ,6 ,7 ,8 ]
Li, Xin [9 ,10 ]
机构
[1] Northwestern Univ, Elect Engn & Comp Sci Dept, Evanston, IL 60208 USA
[2] Univ Calif Riverside, Riverside, CA 92521 USA
[3] Intel, Santa Clara, CA 95054 USA
[4] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
[5] Michigan Technol Univ, Houghton, MI 49931 USA
[6] Michigan Technol Univ, Ctr Cyber Phys Syst, Houghton, MI 49931 USA
[7] IBM Res, Austin, TX USA
[8] Stanford Univ, Stanford, CA 94305 USA
[9] Duke Univ, Elect & Comp Engn Dept, Durham, NC USA
[10] Duke Kunshan Univ, Inst Appl Phys Sci & Engn, Kunshan, Jiangsu, Peoples R China
基金
美国国家科学基金会;
关键词
D O I
10.1109/JPROC.2018.2865229
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Cyber-physical systems (CPSs) are characterized by the seamless integration and close interaction of cyber components (e.g., sensors, computation nodes, communication networks) and physical processes (e.g., mechanical devices, physical environment, humans). The cyber components monitor, analyze, and control the physical processes, and react to their changes through feedback loops. A classic example of CPSs is autonomous vehicles. These vehicles collect information of the surrounding physical environment via heterogeneous sensors such as cameras, radar, and LIDAR; process and analyze the multi-modal information at real time with advanced computing devices such as GPUs, application-specific SoCs and multicore CPUs; automatically make planning and control decisions; and continuously actuate the corresponding mechanical components. The cyber components of autonomous vehicles are much more intelligent and complex than those of traditional vehicles, and interact more directly and closely with the physical environment. © 1963-2012 IEEE.
引用
收藏
页码:1479 / 1483
页数:5
相关论文
共 50 条
  • [1] Including Variability of Physical Models into the Design Automation of Cyber-Physical Systems
    Buini, Hamid Mirzaei
    Peter, Steffen
    Givargis, Tony
    [J]. 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [2] Cyber-physical Design of Data Centers Cooling Systems Automation
    Mousavi, Arash
    Vyatkin, Valeriy
    Berezovskaya, Yulia
    Zhang, Xiaojing
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 254 - 260
  • [3] Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
    Seshia, Sanjit A.
    Hu, Shiyan
    Li, Wenchao
    Zhu, Qi
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (09) : 1421 - 1434
  • [4] Cyber-physical systems alter automation architectures
    Riedl, Matthias
    Zipper, Holger
    Meier, Marco
    Diedrich, Christian
    [J]. ANNUAL REVIEWS IN CONTROL, 2014, 38 (01) : 123 - 133
  • [5] Cyber-Physical Systems - a Challenge for Automation Technology?
    Kowalewski, S.
    Rumpe, B.
    Stollenwerk, A.
    [J]. AUTOMATION 2012, 2012, 2171 : 113 - 116
  • [6] The Fourth International Workshop on Design Automation for Cyber-Physical Systems 2019
    Al Faruque, Mohammad Abdullah
    Lin, Chung-Wei
    [J]. IEEE DESIGN & TEST, 2019, 36 (06) : 84 - 85
  • [7] Design Automation for Interwell Connectivity Estimation in Petroleum Cyber-Physical Systems
    Chen, Xiaodao
    Zhang, Dongmei
    Wang, Lizhe
    Jia, Ning
    Kang, Zhijiang
    Zhang, Yun
    Hu, Shiyan
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (02) : 255 - 264
  • [8] A Unified Framework for the Design of Distributed Cyber-Physical Systems - Industrial Automation Example
    Setty, Suraksha S.
    Yaqoob, Humaa
    Malik, Avinash
    Wang, Kevin I-Kai
    Salcic, Zoran
    Park, Heejong
    Atmojo, Udayanto Dwi
    [J]. PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, 2015, : 1001 - 1007
  • [9] Leveraging Design Automation Techniques for Cyber-Physical System Design
    Hu, Shiyan
    Hu, Xiaobo Sharon
    Zomaya, Albert Y.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 35 (05) : 697 - 698
  • [10] Engineering Methods and Tools for Cyber-Physical Automation Systems
    Harrison, Robert
    Vera, Daniel
    Ahmad, Bilal
    [J]. PROCEEDINGS OF THE IEEE, 2016, 104 (05) : 973 - 985