Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-88-54-M-7

Principles of Cyber-Physical Systems (M, 8.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-88-54-M-7 Principles of Cyber-Physical Systems 8.0 CP (240 h)

Basedata

CP, Effort 8.0 CP = 240 h
Position of the semester 1 Sem. irreg.
Level [7] Master (Advanced)
Language [EN] English
Module Manager
Lecturers
Area of study [INF-MPI] Max-Planck-Institute
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active

Courses

Type/SWS Course Number Title Choice in
Module-Part
Presence-Time /
Self-Study
SL SL is
required for exa.
PL CP Sem.
4L INF-88-54-K-7
Principles of Cyber-Physical Systems
P 56 h 184 h
U-Schein
ja no 8.0 irreg.
  • About [INF-88-54-K-7]: Title: "Principles of Cyber-Physical Systems"; Presence-Time: 56 h; Self-Study: 184 h
  • About [INF-88-54-K-7]: The study achievement "[U-Schein] proof of successful participation in the exercise classes (ungraded)" must be obtained.
    • It is a prerequisite for the examination.

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.


Contents

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.

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.

Literature

  • 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

Requirements for attendance of the module (formal)

None

References to Module / Module Number [INF-88-54-M-7]

Module-Pool Name
[EIT-AC-MSC-TW-MPOOL-7] General Elective Modules Master A&C