In this lecture we address foundations of the modeling and analysis of hybrid systems. Information for the summer semester 2013:
Prequisites: |
Basic knowledge in automata theory |
SWS: |
3+1 |
Lecture times: |
Tuesday 13:15 – 14:15 (room 5056) Friday 13:30 – 14:45 (room 5056)
|
Exercise: |
We offer two exercise dates, between which you may choose: Tuesday 14:15 – 15:00 (room 5056) Friday 15:00 – 15:45 (room 5056) |
Start: |
April 09, 2013 |
Language: |
English or German (depending on the students’ preferences) |
Exam: |
Written |
ECTS credits: |
6 |
To deepen the lecture contents, weekly exercise sheets should be solved in two-men-groups and handed in before the exercises. We provide sample solutions for the exercises, video recordings, the slides of the lecture, and a lecture script in L2P. Registration in the campus system and in L2P is required.
What are hybrid systems?
Why modeling and analysis?
Lecture content:
Current lecture slides (might be modified during the semester):
Nr. |
Theme |
Slides |
---|---|---|
1. |
Introduction |
|
2. |
The modeling of hybrid systems |
|
3. |
Propositional and temporal logics |
|
4. |
Timed automata |
|
5. |
Model checking on timed automata |
|
6. |
Rectangular automata |
|
7. |
Linear hybrid automata |
|
8. |
Reachability analysis of hybrid automata |
|
9. |
Representations of the reachable sets |
09_reachability_analysis_annotated |
9.1. |
Convex polyhedra |
|
9.2. |
Orthogonal polyhedra |