Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Authors Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.4.3.85.pdf
  • Filesize: 0.71 MB
  • 18 pages

Document Identifiers

Author Details

Rupak Majumdar
Richard M. Murray
Pavithra Prabhakar
and all authors of the abstracts in this report

Cite AsGet BibTex

Rupak Majumdar, Richard M. Murray, and Pavithra Prabhakar. Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). In Dagstuhl Reports, Volume 4, Issue 3, pp. 85-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/DagRep.4.3.85

Abstract

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".
Keywords
  • Formal Verification
  • Cyber-Physical Systems
  • Hybrid Systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail