Leveraging Design Automation Techniques for Cyber-Physical System Design

被引：0
|
作者：
Hu, Shiyan [1 ]
Hu, Xiaobo Sharon [2 ]
Zomaya, Albert Y. [3 ]
机构：
[1] Michigan Technol Univ, Houghton, MI 49931 USA
[2] Univ Notre Dame, Notre Dame, IN 46556 USA
[3] Univ Sydney, Sydney, NSW 2006, Australia
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2016年 / 35卷 / 05期
关键词：
D O I：
10.1109/TCAD.2016.2548179
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：697 / 698
页数：2
相关论文
共 50 条
  • [1] Design Automation for Cyber-Physical Systems
    Zhu, Qi
    Sangiovanni-Vincentelli, Alberto
    Hu, Shiyan
    Li, Xin
    [J]. PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
  • [2] From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts
    Nuzzo, Pierluigi
    [J]. PROCEEDINGS OF THE 2019 INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN (ISPD '19), 2019, : 117 - 121
  • [3] An Occupancy Based Cyber-Physical System Design for Intelligent Building Automation
    Reena, Kottarathil Eashy Mary
    Mathew, Abraham Theckethil
    Jacob, Lillykutty
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [4] Cyber-Physical System Design Contracts
    Derler, Patricia
    Lee, Edward A.
    Toerngren, Martin
    Tripakis, Stavros
    [J]. 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 109 - 118
  • [5] A Cyber-Physical System Design Approach
    Sveda, Miroslav
    Vrba, Radimir
    [J]. PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON SYSTEMS (ICONS 2011), 2011, : 12 - 18
  • [6] Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Gomes, Luis
    Costa, Aniko
    Wojnakowski, Marcin
    [J]. 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), 2019, : 5843 - 5848
  • [7] 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,
  • [8] 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
  • [9] 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
  • [10] Trustworthy Design Architecture: Cyber-Physical System
    Choi, Sung
    Chavez, Adrian
    Torres, Marcos
    Kwon, Cheolhyeon
    Hwang, Inseok
    [J]. 2017 INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2017,
12345