Formalisierung und Eigenschaften von Plänen ((06) P04+)

Das Thema dieses Projekts ist es, das garantierte Verhalten von Plänen zu formalisieren und Rückschlüsse über diese zu ziehen. Für ein gegebenes formales Modell des Plans und zusätzliche Anforderungen an dessen Durchführung (oder alternativ, eine Menge von Verhaltensproben) untersucht das Projekt Roboteraktivitäten, um eine sichere Planabfolge zu gewährleisten, zukünftige Planentwicklungen vorherzusagen und Empfehlungen für die Planverbesserung zu geben. Das Projekt trägt dadurch zur Entwicklung von inhärent sicheren Robotersystemen bei.

DFG-Verfahren Sonderforschungsbereiche

Teilprojekt zu SFB 1320:  Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung

Antragstellende Institution Universität Bremen

Teilprojektleiter Professor Dr. Rolf Drechsler; Professor Dr.-Ing. Daniel Große, bis 6/2021