Homepage for the course "Analysis of Hybrid Systems" with slides and discussion group.
Course content:
- Modeling of cyber-phyiscal systems with hybrid models
- Hybrid automata and important subclasses
- Reachability analysis of linear hybrid automata with flowpipes
- Differential dynamic logic
- Validity calculus for differential dynamic logic
- Modeling Principles of hybrid automata and differential dynamic logic
- Dozent*in: Eduard Kamburjan
Erste Veranstaltung: Monday, 20 April 2020, 09:50