Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
