Content of the course: what are hybrid systems? Introduction and motivation, chaos in hybrid systems, Zeno effect, hybrid automata, switched linear systems, introduction to behavioural systems theory, abstraction based controller synthesis, l-complete approximation.
- Trainer/in: Thomas Schauer
- Trainer/in: Davide Zorzenon