Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu

Research output: Contribution to journalArticlepeer-review

101 Scopus citations


A cyber-physical system (CPS) is an integration of computation with physical processes whose behavior is defined by both computational 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.

Original languageEnglish (US)
Article number7778207
Pages (from-to)1421-1434
Number of pages14
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Issue number9
StatePublished - Sep 2017


  • Cyber-physical systems
  • automotive engineering
  • design automation
  • energy management
  • formal specification
  • formal verification
  • human-robot interaction
  • machine learning
  • privacy
  • security
  • synthesis

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering


Dive into the research topics of 'Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities'. Together they form a unique fingerprint.

Cite this