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