guest ::
DFG project G:(GEPRIS)374482168
Formalisierung und Eigenschaften von Plänen ((06) P04+)
| Coordinator | Professor Dr. Rolf Drechsler ; Professor Dr.-Ing. Daniel Große |
| Grant period | 2017 - 2021 |
| Funding body | Deutsche Forschungsgemeinschaft |
| DFG | |
| Identifier | G:(GEPRIS)374482168 |
⇧ SFB 1320: Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung ⇧
Note: 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.
Recent Publications
There are no publications
Record created 2023-01-31, last modified 2024-09-28