- The second exam will take place on Wednesday 16th September starting at 16:00 in room AHI.
|Prequisites:||Basic knowledge in automata theory|
|Lecture times:||Monday 15:15 – 16:00 (room AH 3)
Tuesday 12:15 – 13:45 (room 5056)
|Exercise:||Monday 16:00 – 16:45 (room AH 3)|
|Start:||April 13, 2015|
|Language:||English or German (depending on the students’ preferences)|
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 modelling and analysis?
Current lecture slides (might be modified during the semester):
|1||Hybrid automata||01_hybrid, 01_hybrid_annotated_2015|
|3||Timed automata||03_timed, 03_timed_annotated_2015|
|4||Modelchecking timed automata||04_mc_timed, 04_mc_timed_annotated_2015|
|5||Rectangular automata||05_rectangular, 05_rectangular_annotated_2015|
|6||Linear hybrid automata I||06_linear, 06_linear_annotated_2015|
|8||N/A||There is no lecture 8 this semester (internal numbering)|
|10a||LHA1 reachability||10a_LHA1_reachability, 10a_LHA1_reachability_annotated|
|10b||LHA2 reachability||10b_LHA2_reachability, 10b_LHA2_reachability_annotated|
The lecture script can be found here (handout).
|Exercise 1||exercise_1, exercise_1_solution|
|Exercise 2||exercise_2, exercise_2_solution|
|Exercise 3||exercise_3, exercise_3_solution|
|Exercise 4||exercise_4, exercise_4_solution|
|Exercise 5||exercise_5, exercise_5_solution|
|Exercise 6||exercise_6, exercise_6_solution|
|Exercise 7||exercise_7, exercise_7_solution|
|Exercise 8||exercise_8, exercise_8_solution|
|Exercise 9||exercise_9, exercise_9_solution|
|Exercise 10||exercise_10, exercise_10_solution|
Here you can find exams from the past semesters:
- SS2013: exam_ss13_1