The course discusses mathematical models of CPS and their abstractions. It covers both synchronous and asynchronous models for concurrent computation, continuous-space models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. A range of specification formalisms and the associated techniques for formal verification are presented to illustrate the role of correctness requirements in the design of reliable systems. The topics of the course include temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, verification, and analysis are illustrated by constructing solutions to problems from smart grids, robotics, discrete event systems, and control design.
Principles of Cyber-Physical Systems (M, 8.0 LP)
|Module Number||Module Name||CP (Effort)|
|INF-88-54-M-7||Principles of Cyber-Physical Systems||8.0 CP (240 h)|
|CP, Effort||8.0 CP = 240 h|
|Position of the semester||1 Sem. irreg.|
|Level|| Master (Advanced)|
|Area of study||[INF-MPI] Max-Planck-Institute|
|Reference course of study||[INF-88.79-SG] M.Sc. Computer Science|
|Type/SWS||Course Number||Title||Choice in |
|SL||SL is |
required for exa.
Principles of Cyber-Physical Systems
|P||56 h||184 h||
Examination achievement PL1
- Form of examination: written or oral examination
- Examination Frequency: Examination only within the course
Evaluation of grades
The grade of the module examination is also the module grade.
Competencies / intended learning achievements
The course offers a comprehensive introduction to the principles of modeling, analysis, verification, and synthesis of CPS. Students understand the foundations of cyber-physical systems. They learn how to formally verify a mathematical model. The students are exposed to control theory for synthesis of CPS models, real-time systems, hybrid systems, concurrency theory, and distributed algorithms. The students can differentiate non-probabilistic and stochastic CPS models and learn how to design and verify such models.
- Rajeev Alur. Principles of Cyber-Physical Systems. MIT, 2015.
- E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber- Physical Systems Approach, First Edition, Jan 2013. Online: http://leeseshia.org/releases/LeeSeshia_DigitalV1_08.pdf
- Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems (2nd edition) by Peter Marwedel.
- Principles of Model Checking, Christel Baier and Joost-Pieter Katoen.
Requirements for attendance of the module (informal)None
- Notice: Some Courses have informal requirements for attendance:
Requirements for attendance of the module (formal)None
References to Module / Module Number [INF-88-54-M-7]
|[EIT-AC-MSC-TW-MPOOL-7]||General Elective Modules Master A&C|