Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)

Authors Martin Fränzle, James Kapinski, Pavithra Prabhakhar and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.77 MB
  • 17 pages

Document Identifiers

Author Details

Martin Fränzle
James Kapinski
Pavithra Prabhakhar
and all authors of the abstracts in this report

Cite AsGet BibTex

Martin Fränzle, James Kapinski, and Pavithra Prabhakhar. Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). In Dagstuhl Reports, Volume 6, Issue 9, pp. 29-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Electronically controlled systems have become pervasive in modern society and are increasingly being used to control safety-critical applications, such as medical devices and transportation systems. At the same time, these systems are increasing in complexity at an alarming rate, making it difficult to produce system designs with guaranteed robust performance. Cyber-physical systems (CPS) is a new multi-disciplinary field aimed at providing a rigorous framework for designing and analyzing these systems, and recent developments in CPS-related fields provide techniques to increase robustness in the design and analysis of complex systems. This seminar brought together researchers from both academia and industry working in hybrid control systems, mechatronics, formal methods, and real-time embedded systems. Participants identified and discussed newly available techniques related to robust design and analysis that could be applied to open issues in the area of CPS and identified open issues and research questions that require collaboration between the communities. This report documents the program and the outcomes of Dagstuhl Seminar 16362 "Robustness in Cyber-Physical Systems".
  • aerospace
  • automotive
  • cyber-physical systems
  • fault tolerance
  • formal verification
  • real-time and embedded systems
  • robustness


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads