- The literature research workshop will be on 02.05.2017 from 10:00 to 12:00 in room 11140, which is located in the ground floor of the Branch Library Chemistry.
- The introduction lecture was on 25.04.2017 from 15:30 to 16:15 in MI 01.11.018.
- All available topics are listed below. If you are interested in any topic, contact the corresponding advisor in order for us to consider you in the matching process. Please note that you should submit your preferences to the matching platform between 03.02.2017 and 09.02.2017.
- For interested students, possible topics were presented in a preliminary lecture. It was held on 31.01.2017 from 10:00 to 11:00 in MI 02.07.023.
- 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