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 |
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 |
Machine Learning Methods for Trajectories | Esra Icer | slide | Manuel Nickel |
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 |
Voltage control in power systems using STATCOM | Ahmed El-Guindy | - | Almin Causevic |
Overview of Verification Assumptions for Self-driving Cars | Christian Pek | - | Simon Speth |
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 |
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