Lecturer | Prof. Matthias Althoff |

Teaching Assistants | Ahmed El-Guindy, Bastian Schürmann |

Module | IN2305 |

Type | Lecture |

Semester | SS 2017 |

ECTS | 6.0 |

SWS | 3V+2Ü |

Audience | Elective for Master students in the following programs: Informatics; Information Systems; Robotics, Cognition, Intelligence; Automotive Software Engineering |

# News

# Description

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, analyse, and control cyber-physical systems at a level that enables them to continue deeper studies on their own.

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, analysing, 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.

# 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)

# Material

The material is provided through the moodle website.

# 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