Khái niệm cốt lõi
Äquivalenz von Umgebungen durch Sensordaten und Überlagerungsräume in der Robotik.
Tóm tắt
Die Autoren definieren formell ein Robotersystem als allgemeines, topologisches dynamisches System. Sie untersuchen die Bedingungen, unter denen verschiedene Umgebungen für Roboter nicht unterscheidbar sind. Covering Maps spielen eine wichtige Rolle bei der Formalisierung des Loop Closure-Problems in der Robotik. Die Autoren zeigen, dass Überlagerungen eine ausreichende Bedingung für die Äquivalenz von Umgebungen darstellen. Sie identifizieren viele offene Probleme in der Robotik.
Einführung in das Loop Closure-Problem und SLAM.
Grundlegende Modelle und Theorieentwicklung.
Geschichte der Informationsspeicher.
Äquivalenz von Umgebungen und Bisimulation.
Zusammenführung der Ergebnisse und Schlussfolgerungen.
Thống kê
Unter sehr allgemeinen Bedingungen wird die Kontinuität von Robotertrefferpunkten garantiert.
Trích dẫn
"Covering Maps spielen eine wichtige Rolle bei der Formalisierung des Loop Closure-Problems in der Robotik."
"Die Autoren zeigen, dass Überlagerungen eine ausreichende Bedingung für die Äquivalenz von Umgebungen darstellen."