Organizers | Dongkun Han, Matthias Althoff |
Module | IN2107 |
Type | Seminar |
Semester | SS 2016 |
ECTS | 4.0 |
SWS | 2 |
Time & Location | The schedule of presentation examination |
News
- The requirements and template for the final submission.
- The schedule of presentation examination is uploaded. The deadline of final submissionis: One week after the presentation examination, please submit the report directly to the corresponding advisor.
- The templates of report and presentation are uploaded.
- The first lecture was held on 11.04.2016, 11:00-12:00, at MI 03.07.023.
- The preliminary lecture was held on 21.01.2016, 14:00-15:00, at MI 03.07.023.
- Topics are available online.
Topic Selection
Topic | Advisor | slide |
---|---|---|
Intention Recognition: Motion Prediction | Aaron Pereira | slide |
Intention Recognition: Activity Recognition | Aaron Pereira | slide |
Social Robotics | Aaron Pereira | slide |
RRT Algorithms | Esra Icer | slide |
Initialization Methods for Optimization | Esra Icer | slide |
Multi-Objective Trajectory Optimization for Manipulators | Esra Icer | slide |
Formalising Rightmost Lane Rule with Overtaking Consideration | Albert Rizaldi | slide |
Real-Time Near-Optimal Control Strategies for Dynamical Systems, such as Autonomous Cars and Robotic Manipulators | Bastian Schürmann | slide |
Control of Dynamical Systems with Input Constraints | Bastian Schürmann | slide |
Efficient Methods for Order Reduction of Zonotopes | Bastian Schürmann | slide |
Comparison of Different Numerical Solvers for Optimal Control Problems on the Example of an Autonomous Car | Bastian Schürmann | slide |
Vehicle Trajectory Prediction based on Maneuver Recognition | Silvia Magdici | slide |
Safety and Performance of Compliant Robots | Andrea Giusti | slide |
Threat Assessment for Road Vehicles | Sebastian Söntges | slide |
Security assessment of Power Systems | Ahmed El-Guindy | slide |
Impact of Renewable Energy Resources on Power Systems | Ahmed El-Guindy | slide |
Identification of Cyber Attacks in the Smart-Grid | Ahmed El-Guindy | slide |
Reachable Set Control based on Zonotopic Calculus | Dongkun Han | slide |
On Estimating the Control Invariant Set | Dongkun Han | slide |
Material
- Slides used in the lecture on 04.11.2016.
- TeX template for writing the report.
- TeX template for preparing the presentation. (All software for making slides are welcome!)
- Marking criterion for writing the report.
- Marking criterion for giving the presentation.
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 suggestions of 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