Modeling and Analysis of Hybrid Systems SS09

Announcements

  • The last lecture for summer term 2009 was given on July 23.
  • On May 28, instead of the regular lecture there was a talk given by Dr. Thomas Sturm. For further information please visit the website of AlgoSyn.
  • Language of teaching is German.
  • The access data for the slides can be obtained during the lessons.

Schedule

Type
Time
Place
Start
Lecturer
V2
Thu 12:30 – 14:00
AH1
16 April 2009
Ábrahám
V1/Ü1
Fri 10:00 – 11:30
6019
17 April 2009
Ábrahám
 

Prerequisites

Elemantary knowledge in automata theory and mathematical logic is helpful to understand the topic. Nevertheless, at least short introductions can be given to the fields needed if the audience appreciates this.

Lecture Slides

The slides can be downloaded from the RWTH-intern network or via vpn. If problems occur please contact Ulrich Loup.

Exercises