Unsere Forschung befasst sich mit der automatischen Regelung und Steuerung dynamischer Systeme. Hierbei liegt ein besonderer Schwerpunkt auf Methoden, welche formale Sicherheitsgarantien gewährleisten. Ein zentrales Anwendungsgebiet ist die Regelung von Raumfahrzeugen, einschließlich Fragestellungen wie On-Orbit-Servicing, aktive Trümmerbeseitigung, automatisiertes Andocken und In-Orbit-Montage. Zusammenfassend beschäftigt sich unsere Arbeit mit den folgenden Themen:

• Raumfahrzeugregelung
• Formale Verifikation mittels Erreichbarkeitsanalyse
• Safe-by-Construction Reglersynthese
• Sichere Reinforcement-Learning-Verfahren und Verifikation neuronaler Netze
• Konforme Systemidentifikation
• Mengenbasiertes Rechnen

Für eine detaillierte Beschreibung der einzelnen Forschungsthemen besuchen Sie bitte die Seite Forschung.