Modeling and analysis of hybrid systems
PhD lecture series September 28 – October 06, 2017, Szeged, Hungary
Documents:
1. Preliminaries: slides, annotated slides, exercises, annotated exercises
2.-3. Timed automata: slides, annotated slides, exercises, annotated exercises
4. Rectangular automata: slides, annotated slides, exercises, annotated exercises
5. Linear hybrid automata I: slides, annotated slides, exercises (no annotated exercises)
6. Polyhedra: slides, annotated slides, exercises, annotated exercises
7. Linear hybrid automata II: slides, annotated slides, exercises, annotated exercises