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 kompletten 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 Mikrocontrollern.

Durch die Integration von modellbasierter Verifikation und sicherem machinellem Lernen wird ermöglicht, dass komplexe 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, biologische Systeme und erneuerbare Energieversorgung angewandt.

Gerne betreuen wir studentische Arbeiten zu diesen Forschungsschwerpunkten.

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

Aktuelle Forschungsthemen:
• Automatic Software Analysis of Programs (ASAP)
• Safe Learning-based Intelligent Control (SLIC)
• Human-like Automated Driving (HAD)
• Autonomous Vehicle Active Safety (AVAS)