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

News

• All reports are due 7 days after the presentation. Please contact your advisor for details of your submission.
• The student presentations will be held on 12.01.2017 from 13:00 to 18:00 and on 13.01.2017 from 14:30 to 17:15 in MI 03.13.010. See here for a detailed schedule. Please note that attendance is mandatory for everybody in both sessions.
• All students have been registered to the exam in TUMonline.
• Material for this seminar has been uploaded below.
• If you have any general questions, do not hesitate to contact Markus Koschi.

Material

• For the report: LaTeX template, folder structure template, and grading criteria.
• For the presentation: LaTeX template (feel free to use different software) and grading criteria.
• General information: Slides of the introduction lecture on 18.10.2016.

Topic Selection

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

Content

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

• verification of cyber-physical systems
• new control concepts in cyber-physical systems
• planning in cyber-physical systems
• modeling and simulation of cyber-physical systems
• applications to automated cars, power systems, and human-robot collaboration