You have come to an old website. Our new URL is Please update your bookmarks!

Welcome to the group Theory of Hybrid Systems!

The Theory of Hybrid Systems research group, headed by Prof. Dr. 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. 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 for non-linear constraint systems,
  • non-linear optimization,
  • bounded model checking.

Photo: Thomas Ströder