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
Time & Place	Mon 08:30 - 10:00 Seminar room 00.13.009A Tue 13:00 - 13:45 MW 1050, Johann-Bauschinger-Zeichensaal (in mechanical engineering building)
Exercise	Fri 10:15 - 11:45 E.126, Hörsaal IMETUM (in IMETUM buidling)

News

Dear all,

On Tuesday, 27.06 there will be an exercise instead of the lecture.
On Tuesday, 20.06 the lecture is in the old room: 00.08.038, Seminarraum (5608.EG.038). This is probably because of IKOM.
On Monday and Tuesday (12.06, 13.06) there will be an exercise. On Friday 16.06 will be a lecture.
On Friday June 09 we will give a lecture instead instead of the exercise. On Monday June 12 will be an exercise instead.
Starting Monday, 08.05: We had to change rooms since the old ones were too small. Please note that the new rooms are already booked on some days, so that we have to go back to the old ones on those. It is thus advisable to look up the room in TUM Online on a day to day basis.
On Friday, 27.04 we will offer a lecture instead of an exercise.

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 exam will be on Wednesday, August 16, 2017 at 13:30-15:00 in lecture hall Interims Hörsaal 1 (5620.01.101).

The repetition exam will be on on Tuesday, October 10, 2017 at 08:30-10:00 (room not yet booked).

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