Die Schwerpunkte unserer Forschung sind die Entwicklung und Verifikation von Cyber-physischen Systemen, die eine enge Verzahnung von physikalischen Prozessen und computergestützten Algorithmen aufweisen.

Das umfasst den end-to-end Entwurf des Systems, von der Sensorik, über das Steuergerät bis zur Aktorik, sowie die Software.

Ein besonderer Fokus liegt auf der Algorithmenentwicklung für Bewegungsplanung und Regelung und deren effizienten Implementierung auf eingebetteter Hardware.

Durch die Integration von modellbasierter Verifikation von Sicherheits- und Livenessspezifikationen und künstliche Intelligenz wird ermöglicht, dass dynamische Systeme nicht nur sicher und zuverlässig, sondern auch anpassungsfähig gegenüber Unsicherheiten und Veränderungen sind.

Diese Methoden werden für mobile Roboter, autonome Fahrzeuge, erneuerbare Energieversorgung und biologische Systeme angewandt.

Gerne betreuen wir studentische Arbeiten zu diesen Forschungsschwerpunkten.

Unsere Ergebnisse werden regelmäßig in Publikationen veröffentlicht.