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.
Within the exciting Horizon2020 ITN project REMARO, we search for 15 motivated PhD candidates to work in the area of safe underwater robotics. If you are interested, please apply via email to Erika Abraham!