Welcome to the Theory of Hybrid Systems group!

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 Faculty 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.