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

• Fachliche Zuordnung: Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Förderung: Förderung von 2017 bis 2021
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 329551904

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