The focus of our research is the design and verification of cyber-physical systems, which closely integrate physical processes and computer-based algorithms.

This includes the end-to-end design of the system, from sensors to control units and actuators, as well as the software.

A particular emphasis is placed on algorithm development for motion planning and control, and its efficient implementation on embedded hardware.

By integrating model-based safety and liveness verification and artificial intelligence, we enable dynamical systems to be safe, reliable, and adaptable to uncertainties and changes.

These methods are applied to mobile robots, autonomous ground and aerial vehicles, power systems and biological systems.

We are happy to supervise student projects related to these research areas.

Our results are regularly published in scientific publications.