You have come to an old website. Our new URL is ths.rwth-aachen.de. 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