Verification of Cyber-Physical Systems

Rupak Majumdar, Richard M. Murray and Pavithra Prabhakar

Cyber-physical systems refer to a new genre of engineered systems consisting of a tight coupling between computation, communication and physical entities. The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification. This is a multi-disciplinary area requiring collaboration between areas focusing discrete systems analysis and continuous systems analysis. To this end, the seminar brought together researchers working in the fields of formal methods, control theory and hybrid systems to identify and discuss potential issues and research questions which require collaboration between the communities. This report documents the program and the outcomes of Dagstuhl Seminar 14122 “Verification of Cyber-Physical Systems”.

Report from Dagstuhl Seminar 14122, 2014
Download: BIB PS PDF