Directed Studies: Verification of Cyber-Physical Systems


  • Course (Prof. Dr. Stefan Leue)
    Thursday    13:30 - 15:00         Room PZ 901         Start: 26 October 2023
  • Tutorial (David Boetius)
    Wednesday 13:30 - 15:00      Room PZ 901           Start: 8 November 2023



180 hours, of which 56 hours are spent in class and 124 hours of self study.


Software systems that control the operation of physical system components are referred to as Cyber-Physical Systems (CPS). Typically, the physical components in CPSs are networked and possess some degree of autonomy. CPSs often form the technical infrastructure in socio-technical systems, such as autonomous mobility, medical devices or intelligent manufacturing. As a consequence, their malfunctioning has the potential to negatively impact humans or the environment. This implies a need to regorously analyze the design of these systems for the violation of system integrity properties. 

This directed studies course will present approaches and techniques designed to support such a rigorous, formal analysis of CPSs. The choice of topics introduces into the modeling of CPSs and their physical components, the specification of integrity properties, and related formal verification techniques that can address the hybrid continuous-discrete nature of CPSs. In addition, data-driven verification will be addressed.

Teaching methods

Weekly reading assignments. Presentations by participants. Discussions with the course instructors.

Learning objectives

Assessment, practical application and further developemt of verification methods for CPSs.

Course literature

Mitra S. Verifying cyber-physical systems: a path to safe autonomy. Cambridge, Massachusetts;London, England;: The MIT Press; 2021.

Record of academic assessments

Presentation of at least one reading assignment. Final examination (most likely oral).

Target group

Master-level and advanced Bachelor students.


This course complements the series of Verification of Software and Systems courses, which are not a prerequisite for this course.


ECTS-points: 6

Weekly teaching hours

SWS: 2