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
SWS 2
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)


News


Material


Topic Selection

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


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