Organizers	Silvia Magdici, Dongkun Han , Matthias Althoff
Module	IN2107
Type	Seminar
Semester	WS 2015
ECTS	4.0
SWS	2
Time & Location	First lecture: Oct. 12, 2015, 10:00-11:00, MI 03.07.023.

News

• The schedule of presentation examination is given here.
• Course webpage was opened on Jul. 1st, 2015. Students who are interested in autonomous cars, robotics, smart grid and other aspects of cyber-physical systems could register this course through Matching system.
• Topics and corresponding advisers were updated on Jul. 9, 2015.
• Preliminary lecture was given on Jul. 15, 2015, 10:00-11:00, MI 02.07.023.
• All the slides of preliminary lecture were uploaded on Jul. 15, 2015.

Notice

• Lecture Some Tips for Making Presentations is going to be held on Friday, 27.11.2015, 15:00-16:00, MI 02.07.034.
• The slides used in first lecture were uploaded.
• The presentation exam will be on Jan. 12, 2016.
• The deadline for submitting the report is Jan. 19, 2016.
• First lecture is going to be held on Oct. 12, 2015, 10:00-11:00, MI 03.07.023.
• Registered students are strongly suggested to choose a topic and contact the corresponding adviser before the first lecture.

Topic Selection

Topic	Adviser	slide	Student
Sensing the Human	Aaron Pereira	slide	Michael Wolfram
Intention Recognition	Aaron Pereira	slide	Ludwig Peuckert
Optimal Control Strategies for Dynamical Systems such as Autonomous Cars and Robotic Manipulators	Bastian Schürmann	slide	Christian Albrecht
Maneuver Automata for Dynamical Systems	Bastian Schürmann	slide	Florian Grötzner
Vehicle speed control based on the road curvature	Silvia Magdici	slide	Christoph Holter
Analysis of traffic performance using cooperative vehicles	Silvia Magdici	slide	Johannes Peter Zarnitz
Trajectory Generation for a Self-Driving Car as a Constrained Optimization Problem	Sebastian Söntges	slide	Rui Zhao

Material

• Slides used in the seminar on 12.10.2015.

• 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