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

    Erste Veranstaltung: Montag, 20. April 2020, 09:50