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

• Subject Area: Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Term: from 2017 to 2021
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Sonderforschungsbereiche
• Subproject of: 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, until 6/2021