Technische Universität München Robotics and Embedded Systems

Seminar Cyber-Physical Systems (WS 2016/17)

Organizers Markus Koschi, Dongkun Han, Matthias Althoff
Module IN4813
Type Seminar (IN0014, IN2107)
Semester WS 2016/17
ECTS 5.0
Time & Location Student presentations: 12.01. and 13.01.2017 in MI 03.13.010
Exam Presentation and Report



Topic Selection

Topic Advisor Slide StudentSorted ascending
Voltage control in power systems using STATCOM Ahmed El-Guindy - Almin Causevic
Model Predictive Control for Fast Dynamical Systems Bastian Schürmann slide Bogdan Paulis
Human Robot Co-existence Aaron Pereira slide Cristian Plop
Threat Assessment for Road Vehicles Sebastian Söntges slide Cristina Miller
Human Robot Co-existence Aaron Pereira slide Florian Böck
CTL Model Checking of Manoeuvre Automata Albert Rizaldi slide Hannes Bibel
Motion Planning for Autonomous Vehicles Silvia Magdici slide Lennart Mittag
Machine Learning Methods for Trajectories Esra Icer slide Manuel Nickel
Motion Planning for Autonomous Vehicles Silvia Magdici slide Martin Gromniak
Intention Prediction of Traffic Participants Markus Koschi - Mona Beikirch
Traffic Rules for Automated Driving Markus Koschi - Moritz Gottelt
Control of Dynamical Systems with Input Constraints Bastian Schürmann slide Niklas Kochdumper
Road Properties for Automated Driving Markus Koschi - Rajat Koner
Safety and Performance of Compliant Robots Andrea Giusti slide Simon Schlegel
Overview of Verification Assumptions for Self-driving Cars Christian Pek - Simon Speth
Comparison of Different Numerical Solvers for Optimal Control Problems Bastian Schürmann slide Thomas Rechner


In recent years, three steady trends have been observed in computer science and engineering. First, the increase in functionality and complexity of products, production processes, and software is ongoing and not slowing down. Second, the interaction between the physical parts of a system (mechanics, thermodynamics, sensors, actuators, and others) and its computational elements is becoming tighter and is organized over larger networks, which has resulted in a new class of systems called cyber-physical systems. Third, cyber-physical systems are increasingly safety-critical, since due to their advanced capabilities, they fulfill tasks that were previously only entrusted to humans. Examples are automated road vehicles, surgical robots, automatic operation of smart grids, and collaborative human-robot manufacturing, to name only a few. Each of the mentioned trends increases the demand for new methods for design and verification.

This seminar is on reviewing and suggesting new techniques to tackle the grand challenge of safe and reliable cyber-physical systems. Topics of the seminar include