298576 20240928181021.0 G:(GEPRIS)374482168 G:(GEPRIS)374482168 374482168 GEPRIS http://gepris.its.kfa-juelich.de Formalisierung und Eigenschaften von Plänen ((06) P04+) 2017 - 2021 Professor Dr. Rolf Drechsler Professor Dr.-Ing. Daniel Große DFG project G:(GEPRIS)374482168 d 2017 - 2021 Deutsche Forschungsgemeinschaft I:(DE-588b)2007744-0 DFG G:(GEPRIS)329551904 SFB 1320: Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung t 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. oai:juser.fz-juelich.de:965319 authority:GRANT authority G AUTHORITY oai:juser.fz-juelich.de:965319