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
SWS 2
Time & Location Student presentations: 12.01. and 13.01.2017 in MI 03.13.010
Exam Presentation and Report


News


Material


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