News
- Preliminary lecture 28.01.2015, 16:00-17:00, MI 02.09.023.
- Topics are available online.
Notice
- The schedule of presentation examination is given here.
- The LaTex template for preparing your presentation is not required, but it is mandatory for writing the report.
Topic Selection
| Topic |
Advisor |
Student |
| Genetic path planning algorithm for manipulators |
Esra Icer |
George Mesesan |
| Evolutionary multi-criteria trajectory modeling of industrial robots in the presence of obstacles |
Esra Icer |
Michael Bunz |
| The speed-accuracy trade-off in obstacle representation for robots |
Aaron Pereira |
Thomas Krieger |
| Formalisation of traffic rules |
Albert Rizaldi |
Robert Lösch |
| Simulation of highway traffic scenario |
Albert Rizaldi |
Alexander Theimer |
| Temporal logic path planning |
Albert Rizaldi |
Christian Saile |
| Fault diagnosis for robot manipulators |
Andrea Giusti |
Maurice Hermwille |
| Collision detection for robot manipulators |
Andrea Giusti |
Victor Ertl |
| Trajectory planning for advanced driver assistance systems |
Sebastian Söntges |
Jakob Pfeiffer |
| NOT FIXED |
Sebastian Söntges |
Tobias Hollarek |
| Linear-parameter-varying system modeling and control of wind turbine |
Ahmed El-Guindy |
Alexander Bielski |
| Robust synchronization by using contraction theory |
Dongkun Han |
Stefanie Manzinger |
| Domain of attraction by using Lyapunov function |
Dongkun Han |
Erdal Pekel |
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
