Hauptseite > Normsätze > Projekte > Datensatz #298576 > print

001     298576
005     20240928181021.0
024 7 _ |a G:(GEPRIS)374482168
|d 374482168
035 _ _ |a G:(GEPRIS)374482168
040 _ _ |a GEPRIS
|c http://gepris.its.kfa-juelich.de
150 _ _ |a Formalisierung und Eigenschaften von Plänen ((06) P04+)
|y 2017 - 2021
371 _ _ |a Professor Dr. Rolf Drechsler
371 _ _ |a Professor Dr.-Ing. Daniel Große
450 _ _ |a DFG project G:(GEPRIS)374482168
|w d
|y 2017 - 2021
510 1 _ |a Deutsche Forschungsgemeinschaft
|0 I:(DE-588b)2007744-0
|b DFG
550 _ _ |0 G:(GEPRIS)329551904
|a SFB 1320: Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung
|w t
680 _ _ |a 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.
909 C O |o oai:juser.fz-juelich.de:965319
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:965319
980 _ _ |a G
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21