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 4.0
Registration Matching System
Time & Location Student presentations: 12.07. and 17.07.2017 in MI 01.10.011
Exam Presentation (20 min) and report (6-8 pages)



Topic Selection

Topic Advisor Slide StudentSorted descending
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
When and How to perform a Lane Change? Silvia Magdici slide Samuel Hall
MATLAB Implementation of CPS Applications Ahmed El-Guindy, Matthias Althoff slide Open
Robot Composition Synthesis Based on the Experiences Esra Icer slide Michael Wagner
Prediction of Pedestrians for Safe Autonomous Vehicles Markus Koschi slide Martina Preis
Machine Learning Guided Exploration for Sampling-based Motion Planning Algorithms Esra Icer slide Martin Rieder
Islanding of Microgrid Ahmed El-Guindy slide Martin Ehrmann
Isabelle’s proof of polytope enclosure Albert Rizaldi slide Markus Großer
Comparison of Methods for Computing Closed-Form Expressions of Convex Combinations Bastian Schürmann slide Lars Rasmussen
Affine arithmetic of matrix inverse Albert Rizaldi slide Karl Kraus
Auction-Based Strategy Planning for Cooperative Vehicles Stefanie Manzinger slide Jonathan Schneider
Fast and Accurate Collision Detection Algorithms for Manipulators Esra Icer slide Georg Plaz
Challenges through Occlusion for Automated Vehicles Markus Koschi slide Ezgi Evcimen


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