@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@ARTICLE{seshia-tcad17, 
  author    = {Sanjit A. Seshia and Shiyan Hu and Wenchao Li and Qi Zhu}
  title     = {Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities},
  journal={IEEE Transactions on Computer-Aided Design of Circuits and Systems}, 
  year={2017}, 
  volume    = {36},
  number    = {9},
  pages     = {1421--1434},
  abstract = {A cyber-physical system (CPS) 
is an integration of computation with physical processes 
whose behavior is defined by both cyber and  
physical parts of the system. 
In this paper, we present a view of the challenges and  
opportunities for design automation of CPS. 
We identify a combination of characteristics that define 
the challenges unique to the design automation of CPS. 
We then present selected promising advances in depth,  
focusing on four foundational directions:  
combining model-based and data-driven design methods;  
design for human-in-the-loop systems; 
component-based design with contracts, and 
design for security and privacy. 
These directions are illustrated with examples from 
two application domains: smart energy systems and 
next-generation automotive systems.},
}