NewsCurrently, no news are available
The interaction of a computer system with physical processes is a clash of two worlds: a computer works in a clocked, discrete world with clear semantics. When the processor's edge rises, the internal state changes, when it falls, the world stands still. The real, physical world, however, is chaotic: nature does not wait for a clock tick to apply changes. Yet, the interaction of machines with the real world is essential. Machines control power plants, cars, satellites and factories. Such systems are called "Hybrid Systems", a mixture of continuous, physical processes and discrete, logical steps.
In this seminar we will cover an interesting range of topics concerning hybrid systems. The content is roughly divided into four categories:
- Exact Analyses: techniques used to analyze a system precisely
- Predictive Approximations: sometimes, exact analyzes cannot cope with the complexity of a system. In these cases, over-approximations allow for a safe analysis at the cost of potential false positives
- Synthesis & Planning: while the former techniques seek to prove controllers correct and systems safe, synthesis automatically finds a controller or plan capable of solving the underlying problem
- Runtime Monitoring: despite best efforts, even verified plans can fail due to unforeseen circumstances. For this, monitors observe the current state of a system at runtime and detect potential problems
This block course spans over four weeks, starting on August 12, and ending September 6.
After the kick-off meeting, you will be assigned a reading group covering one of the topics above. Throughout the first week, the group will prepare a common talk presenting background information on the topic. The week after, you have time to prepare an individual talk presenting a single paper.
Each talk is followed by a moderated discussion.
Lastly, you may write up a summary of the seminar relating your reading group and paper to other talks.
Early bird registration: you can register over the centralized seminar registration page here starting April 4 until April 8.
End of term registration: please send an email to Maximilian Schwenger until August 9.