Guest Editors
Alberto Sangiovanni Vincentelli, Shiyan Hu, Xin Li, Qi Zhu, and Charles Alpert
Publication Date

Design Automation for Cyber–Physical Systems

Guest Editors:

  • Alberto Sangiovanni Vincentelli, University of California, Berkeley, USA
  • Shiyan Hu, Michigan Technological University, USA
  • Xin Li, Carnegie Mellon University, USA
  • Qi Zhu, University of California, Riverside, USA
  • Charles Alpert, Cadence Design Systems, USA


Cyber–Physical Systems (CPS) such as autonomous and semi-autonomous vehicles, industrial robots, and medical devices, promise immense economic and societal benefits. The design and operation of CPS, however, face tremendous challenges from the fast increase of system scale and complexity, the close interaction with dynamic physical environment and human activities, the adoption of multicore and distributed architectural platforms, and the stringent and diverse requirements on performance, safety, security, fault tolerance, extensibility, energy consumption, etc.

In this special issue, leading research groups will discuss challenges and present promising solutions in modeling, simulation, synthesis, validation and verification of CPS. They will demonstrate the importance of these design automation techniques in a variety of application domains, such as automotive and transportation systems, avionics, buildings, grid, and medical devices.

Publication Date: Mid 2018

Submission Deadline: September 30, 2017