This seminar deals with the so-called hybrid systems. The characteristics of these systems are not only determined by transitions between discrete states but also by continuous parameters. Examples for such parameters are time or temperature being described by means of differential equations. A typical example for a hybrid system is a digital controller of an analog plant.
On the one hand, the modelling of such systems will be considered, on the other hand state-of-the-art approaches for the algorithmic verification and synthesis. Here, application potential of those approaches is of particular interest.
Topics are amongst others:
This seminar is arranged as a block seminar. The first meeting will take place in the last week of the summer term or at the beginning of the winter term 07/08. The presentations will be scheduled on two consecutive days in February 2008. There will be deadlines in between that have to be met.