Modelling and Analysis of Hybrid Systems (U. Szeged)

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

Exams: 1 2 3 4 5 6

Lecture notes