Technische Universität München Robotics and Embedded Systems

Seminar Cyber-Physical Systems (SS 2017)

Organizers Markus Koschi, Matthias Althoff
Module IN4813
Type Seminar (IN0014, IN2107)
Semester SS 2017
ECTS 5.0
Registration Matching System
Time & Location Research Workshop: 02.05.2017, 10:00-12:00, 11140 in Branch Library Chemistry
Exam Presentation (20 min) and Report (6-8 pages)



Topic Selection

Topic Advisor Slide Status
Visualisation of Human-Robot Co-existence Scenarios Aaron Pereira slide Open
Islanding of Microgrid Ahmed El-Guindy slide Martin Ehrmann
Cyber-physical attacks in Microgrids Ahmed El-Guindy slide Open
Modelling of Distributed Generation Ahmed El-Guindy slide Open
MATLAB Implementation of CPS Applications Ahmed El-Guindy, Matthias Althoff slide Open
Isabelle’s proof of polytope enclosure Albert Rizaldi slide Markus Großer
Affine arithmetic of matrix inverse Albert Rizaldi slide Open
Refactoring the correctness proofs of finding extreme points Albert Rizaldi slide Open
Refactoring proofs about Manoeuvre Automata and its LTL interpretation Albert Rizaldi slide Open
Comparison of Controllers for Elastic-Joint Robots Andrea Giusti slide Open
Comparison of Different Models for Optimal Control Problems of Autonomous Cars Bastian Schürmann slide Open
Novel Control Techniques for Complex Dynamical Systems Bastian Schürmann slide Open
Comparison of Methods for Computing Closed-Form Expressions of Convex Combinations Bastian Schürmann slide Lars Rasmussen
Using Trajectory Planning to Safely Cross the Street Christian Pek slide Thomas Rehner
Overview of Collision Checking Algorithms for Mobile Robots Christian Pek slide Stefan Walke
Path Planning Methods Based on the Experiences Esra Icer slide Assigned
Fast and Accurate Collision Detection Algorithms for Manipulators Esra Icer slide Georg Plaz
Challenges through Occlusion for Automated Vehicles Markus Koschi slide Ezgi Evcimen
Prediction of Pedestrians for Safe Autonomous Vehicles Markus Koschi slide Martina Preis
When and How to perform a Lane Change? Silvia Magdici slide Samuel Hall
Auction-Based Strategy Planning for Cooperative Vehicles Stefanie Manzinger slide Jonathan Schneider


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