Report of the Fourth International Workshop on Design Automation for Cyber-Physical Systems (DACPS) 2019

Cyber-physical systems
have cyber and physical parts that represent computation and physical behavior, respectively. Due to the close interactions between the cyber and physical parts, cyber-physical systems are usually complex. Thus, designing correct, safe, secure, reliable, efficient, and fault-tolerant cyber-physical systems is a challenging task that is desired to be supported by design automation techniques. In this Fourth International Workshop on Design Automation for Cyber-Physical Systems (DACPS), participants present state-of-the-art research in the domain of design automation of cyber-physical systems and aim to establish fundamental design automation techniques for cyber-physical systems. The workshop highlights three growing areas, i.e., design automation methodology, verified artificial intelligence (AI), and cross-layer security.