- 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.01.2017 from 13:00 to 18:00 and on 13.01.2017 from 14:30 to 17:15 in MI 03.13.010. See here for a detailed schedule. Please note that attendance is mandatory for everybody in both sessions.
- All students have been registered to the exam in TUMonline.
- Material for this seminar has been uploaded below.
- If you have any general questions, do not hesitate to contact Markus Koschi.
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