| 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 |
|---|---|---|---|
| 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
- 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