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 and SMT-solving for non-linear arithmetic,
  • non-linear optimization,
  • bounded model checking.

THS Group