News
- Due to a workshop attendance, the lecture on Monday, June 20 will be given on Friday, June 24 and there will be an exercise instead on Monday, June 20.
- Due to a business trip, we swap the lecture on Monday, May 30 with the previous exercise (Friday, May 27: lecture; Monday, May 30: exercise).
- On Friday, April 22, there will be a lecture instead of an exercise. Later in the semester, we will even this out by replacing a lecture with an exercise.
- The lecture starts on Monday, April 18 due to the organization of the Workshop on Applied Verification for Continuous and Hybrid Systems at CPS week in Vienna, Austria.
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.
Exam
The oral exam will be in my office
MI 03.07.053. Please wait in the waiting area left from the office.
| Time |
Student |
| 09:00 - 09:40 |
Karl Mattes |
| 09:40 - 10:20 |
Elie Aljalbout |
| 10:20 - 11:00 |
Rupam Bhattacharya |
| 11:00 - 11:40 |
Paul Bergmann |
| 11:40 - 12:20 |
Tahnee Rehg |
| 13:20 - 14:00 |
Mathieu Reymond |
| 14:00 - 14:40 |
Sebastian Weitzel |
| 14:40 - 15:20 |
James Browne |
| 15:20 - 16:00 |
Mohamad Ayad |
| 16:00 - 16:40 |
Emrecan Tarakci |
| Time |
Student |
| 09:00 - 09:40 |
Christina Miller |
| 09:40 - 10:20 |
Johannes Mauthe |
| 10:20 - 11:00 |
Mohsen Mohsen |
| 11:00 - 11:40 |
Lennart Mittag |
| 11:40 - 12:20 |
Ertuğrul Karademir |
| 13:20 - 14:00 |
Sicheneder Stefan |
| 14:00 - 14:40 |
Annika Wollschlaeger |
| 14:40 - 15:20 |
Stefan Marinov |
| 15:20 - 16:00 |
Bogdan |
| 16:00 - 16:40 |
Miguel Neves |
| 16:40 - 17:20 |
Florian Skiba |
| 17:20 - 18:00 |
Barbara Niedermeier |
| 09:00 - 09:40 |
Areeb Kamran |
| 09:40 - 10:20 |
Peer Lucas |
| 10:20 - 11:00 |
Cristian Plop |
| Time |
Student |
| 09:00 - 09:40 |
Fabio |
| 09:40 - 10:20 |
Christoph Holter |
| 10:20 - 11:00 |
Annemarie Hofmann |
| 11:00 - 11:40 |
Gudrat Hasanli |
| 11:40 - 12:20 |
Marcel Cordoví |
| 13:20 - 14:00 |
Sascha Hamzehi |
| 14:00 - 14:40 |
Shyam Sundar Debsarkar |
| 14:40 - 15:20 |
Leonard Rychly |
| 15:20 - 16:00 |
Aykut |
| 16:00 - 16:40 |
Saurabh Narayan Singh |
| 16:40 - 17:20 |
Hannes Bibel |
- Thursday October 20, 2016:
| Time |
Student |
| 09:00 - 09:40 |
Rupam Bhattacharya |
| 09:40 - 10:20 |
iurie tap |
| 11:40 - 12:20 |
Cristian Plop |
| 13:00 - 13:40 |
Areeb Kamran |
| 15:00 - 15:40 |
Mohsen Mohsen |
| 15:40 - 16:20 |
Stefan Marinov |
| 16:20 - 17:00 |
Kiran Jayaramu |
| 17:00 - 17:40 |
Mohamad Ayad |
| 17:40 - 18:20 |
Marcel Cordoví |
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
