Cyber-Physical Systems
Module IN2305
This module handbook serves to describe contents, learning outcome, methods and examination type as well as linking to current dates for courses and module examination in the respective sections.
Module version of SS 2022 (current)
There are historic module descriptions of this module. A module description is valid until replaced by a newer one.
Whether the module’s courses are offered during a specific semester is listed in the section Courses, Learning and Teaching Methods and Literature below.
| available module versions | |
|---|---|
| SS 2022 | WS 2013/4 |
Basic Information
IN2305 is a semester module in English language at Master’s level which is offered in summer semester.
This Module is included in the following catalogues within the study programs in physics.
- Focus Area Bio-Sensors in M.Sc. Biomedical Engineering and Medical Physics
| Total workload | Contact hours | Credits (ECTS) |
|---|---|---|
| 180 h | 75 h | 6 CP |
Content, Learning Outcome and Preconditions
Content
Continuous dynamics: modeling, ordinary differential equations, system properties, solution of linear differential equations, simulation of differential equations, stability analysis, introduction to control of continuous systems;
Discrete dynamics: modeling (Moore/Mealy machine, Petri nets, satecharts), solution traces, temporal logic, introduction to model checking, controller synthesis;
Hybrid dynamics: modeling (timed automata, hybrid automata, hybrid statecharts), simulation of hybrid dynamics, stability analysis, introduction to reachability analysis, supervisory control;
Networks of cyber-physical systems; typical hardware (sensors, actuators, computing hardware)
Discrete dynamics: modeling (Moore/Mealy machine, Petri nets, satecharts), solution traces, temporal logic, introduction to model checking, controller synthesis;
Hybrid dynamics: modeling (timed automata, hybrid automata, hybrid statecharts), simulation of hybrid dynamics, stability analysis, introduction to reachability analysis, supervisory control;
Networks of cyber-physical systems; typical hardware (sensors, actuators, computing hardware)
Learning Outcome
In many modern systems, computing elements are tightly connected with physical entities for which the term "cyber-physical systems" has been established in recent years. Examples are automated vehicles, surgical robots, smart grids, and collaborative human-robot manufacturing. After attending the course, students are able to model, analyze, and control cyber-physical systems at a level that enables them to continue deeper studies on their own.
After the end of the module students are able to model cyber-physical systems and have a deep understanding of the interplay between continuous dynamics arising from physical entities (e.g. mechanical systems) and discrete dynamics originating from computing elements (e.g. discrete event control), leading to so-called hybrid dynamics. Students will be capable of designing, analyzing, and controlling cyber-physical systems on a basic level. They can extract the relevant dynamical aspects of cyber-physical systems, discuss with experts on those and develop solutions on their own that meet given specifications.
After the end of the module students are able to model cyber-physical systems and have a deep understanding of the interplay between continuous dynamics arising from physical entities (e.g. mechanical systems) and discrete dynamics originating from computing elements (e.g. discrete event control), leading to so-called hybrid dynamics. Students will be capable of designing, analyzing, and controlling cyber-physical systems on a basic level. They can extract the relevant dynamical aspects of cyber-physical systems, discuss with experts on those and develop solutions on their own that meet given specifications.
Preconditions
None
Courses, Learning and Teaching Methods and Literature
Courses and Schedule
| Type | SWS | Title | Lecturer(s) | Dates | Links |
|---|---|---|---|---|---|
| VI | 5 | Cyber-Physical Systems (IN2305) | Althoff, M. Gaßmann, V. Krasowski, H. Wetzlinger, M. |
eLearning |
Learning and Teaching Methods
The module consists of a lecture and exercise classes. The content of the lecture is presented via slides, which are completed during the lecture using the blackboard. Students are encouraged to additionally study the relevant literature. In the exercise classes, the learned content is applied to practical examples to consolidate the content of the lecture.
Media
Slides, blackboard, exercise sheets
Literature
E. A. Lee and S. A. Seshia,Introduction to Embedded Systems - A Cyber-Physical Systems Approach, LeeSeshia.org, 2011.
P. Marwedel, Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, Springer
A. J. Van Der Schaft, An Introduction to Hybrid Dynamical Systems, Springer
P. Marwedel, Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, Springer
A. J. Van Der Schaft, An Introduction to Hybrid Dynamical Systems, Springer
Module Exam
Description of exams and course work
The 90 minutes written exam consists of a part with short questions (30 min.) and a second part with mathematical modeling, calculations, and derivations (60 min.). A collection of formulas and tables required to solve the given problems is provided. Students are only allowed to bring pens and a calculator (non-progammable). The question part contains 33.3 % and the other part 66.6 % of the total points. To pass the exam, at least 50 % of the total points have to be achieved.
Exam Repetition
The exam may be repeated at the end of the semester.