News
|
14.10.2019
|
Final Grades OnlineDear students, You can find your grade on your personal status page. If you have any questions, please let us know. We hope you enjoyed the seminar just as we did and wish you a great term!
|
|
16.09.2019
|
Feedback and Deadline ExtensionDear students, we finished reviewing your drafts, you can find the feedback in the rCMS on your personal status page. We decided to extend the hard deadline by two days, so please submit your summary until Sunday, September 22, 23:59. Have a wonderful... Read more Dear students, we finished reviewing your drafts, you can find the feedback in the rCMS on your personal status page. We decided to extend the hard deadline by two days, so please submit your summary until Sunday, September 22, 23:59. Have a wonderful week, |
|
23.08.2019
|
Individual Talks — ScheduleDear Students, here is the schedule for the individual talks starting September 03. Exact Analyses — Morning Analysis of Hybrid Systems — An Ounce of Realism Can Save an Infinity of States Exact... Read more Dear Students, here is the schedule for the individual talks starting September 03. Exact Analyses — Morning Analysis of Hybrid Systems — An Ounce of Realism Can Save an Infinity of States Exact Analyses — Afternoon Towards Model Checking of Implantable Cardioverter Defibrillators Predictive Approximations Simulation-equivalent Reachability of Large Linear Systems with Inputs Runtime Monitoring — Morning Efficient Monitoring of Safety Properties Runtime Monitoring — Afternoon Monitoring Temporal Properties of Continuous Signals Synthesis & Planning Formal Synthesis of Stabilizing Controllers for Switched Systems |
|
19.08.2019
|
Slight Change in ScheduleDear students, there is a slight change in the schedule for the last week of the seminar. On Tuesday and Thursday, rather than having four talks end-to-end, we will split them up and have two talks in the morning (10-12) and two in the afternoon (14:30-16:30)... Read more Dear students, there is a slight change in the schedule for the last week of the seminar. On Tuesday and Thursday, rather than having four talks end-to-end, we will split them up and have two talks in the morning (10-12) and two in the afternoon (14:30-16:30) after a lunch break. We're confident that we will all benefit from this change. If anyone has reason to object, please let me know. See you tomorrow! |
Hybrid Systems
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
- 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
- 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
Structure
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 will write up a summary of the seminar relating your reading group and paper to other talks.
You can find all dates here and in the timetable.
Registration
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 between July 15 and August 8.