Welcome to the Hybrid Systems Group!
The Theory of Hybrid Systems research group, headed by Prof. Dr. Erika Ábrahám, is a young group addressing hybrid system modelling and verification.
The group is embedded into the Software Modelling and Verification Chair headed by Prof. Joost-Pieter Katoen.
The group is embedded into the Software Modelling and Verification Chair headed by Prof. Joost-Pieter Katoen.
Main topics of interest are
- modeling languages for hybrid systems,
- decision procedures for non-linear constraint solving,
- bounded model checking,
- probabilistic hybrid systems.
In winter term 2009/2010 Prof. Ábrahám is going to give a lecture on Satisfiability Checking. There is an L2P learning room for this lecture. The Hybrid Systems group is also involved in a seminar of the same name.
The group offers jobs for phd positions, too. Just look at the News & Jobs section.
