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

• 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.07.2017 from 12:30 to 14:30 and on 17.02.2017 from 13:00 to 16:15 in MI 01.10.011. See here for a detailed schedule. Please note that attendance is mandatory for everybody in both sessions.
• The presentation workshop was on 03.07.2017 from 14:00 to 15:00 in room MI 02.07.023.
• Material for this seminar has been uploaded below.
• The literature research workshop was on 02.05.2017 from 10:00 to 12:00 in room 11140, which is located in the ground floor of the Branch Library Chemistry.
• The introduction lecture was on 25.04.2017 from 15:30 to 16:15 in MI 01.11.018.
• All available topics are listed below. If you are interested in any topic, contact the corresponding advisor in order for us to consider you in the matching process. Please note that you should submit your preferences to the matching platform between 03.02.2017 and 09.02.2017.
• For interested students, possible topics were presented in a preliminary lecture. It was held on 31.01.2017 from 10:00 to 11:00 in MI 02.07.023.
• If you have any general questions, do not hesitate to contact Markus Koschi.

Material

• General information: Slides of the introduction lecture on 25.04.2017
• Literature research workshop: Lecture notes (You can also attend other courses offered by the library.)
• Presentation: LaTeX and PowerPoint template (feel free to use different software) and grading criteria
• Report: LaTeX template and grading criteria
• Submission: You are required to submit all your files of the seminar in a zip folder according to the folder template.

Topic Selection

Topic	Advisor	Slide	Student
Islanding of Microgrid	Ahmed El-Guindy	slide	Martin Ehrmann
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	Karl Kraus
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
Robot Composition Synthesis Based on the Experiences	Esra Icer	slide	Michael Wagner
Machine Learning Guided Exploration for Sampling-based Motion Planning Algorithms	Esra Icer	slide	Martin Rieder
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

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