Welcome to the group Theory of Hybrid Systems!
The Theory of Hybrid Systems research group, headed by Prof. Dr. Dr. h.c. Erika Ábrahám, is a young group addressing the modeling, synthesis and analysis of hybrid systems. The group is embedded into the Software Modeling and Verification chair headed by Prof. Dr. Ir. Dr. h.c. Joost-Pieter Katoen, and is part of the Computer Science Department at the RWTH Aachen University.
Main topics of interest are
- hybrid systems with linear and non-linear dynamics,
- probabilistic (hybrid) systems,
- decision procedures and SMT-solving for non-linear arithmetic,
- non-linear optimization,
- bounded model checking.