Campus Event Calendar
Event Entry
New for: D1, D2
What and Who
Eine Taxonomie der Navigation und ihre Anwendung auf den Bremer Autonomen Rollstuhl
Prof. Dr. Bernd Krieg-Brückner, Thomas Röfer, Axel Lankenau, Oliver Meyer
Technologiezentrum Informatik, Universitaet Bremen
DFKI-Kolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 15 December 97
14:15
-- Not specified --
43.1 - DFKI
Seminarraum 1.01
Saarbrücken
Abstract
Die Taxonomie versucht, verschiedene Ansätze zur Modellierung von
Navigationsverhalten aus Biologie, Psychologie, KI und Robotik in eine
hierarchische Beziehung zu setzen. Elementare Navigationstaktiken werden
zu taktischer Navigation in Routen kombiniert; Landmarken im Raum werden
Routenmarken in Netzwerken von Wegen gegenübergestellt. Übersichtwissen
kommt auf der Ebene von strategischer Navigation hinzu.
Navigationsverhalten aus Biologie, Psychologie, KI und Robotik in eine
hierarchische Beziehung zu setzen. Elementare Navigationstaktiken werden
zu taktischer Navigation in Routen kombiniert; Landmarken im Raum werden
Routenmarken in Netzwerken von Wegen gegenübergestellt. Übersichtwissen
kommt auf der Ebene von strategischer Navigation hinzu.
Der Bremer Autonome Rollstuhl wird als Experimentierplattform vorgestellt,
sowohl um biologisch plausible Navigationsverhalten zu modellieren, als
auch um effiziente Navigationsmechanismen für eine Anwendung in der
Robotik zu entwickeln.
Der Rollstuhl wird als sicheres eingebettetes System mit formalen Methoden
entwickelt. Es wird auf die Architektur des Gesamtsystems (echtzeitfähiger
Sicherheitsrechner und Erweiterung über echtzeitfähige Kommunikation), den
Sicherheitsbegriff, die Methodik der Fehlerbaumanalyse und Sicherheits-
mechanismen sowie ihre Darstellung in CSP mit Verifikation der Korrektheit
eingegangen.
Contact
Dr. Susanne Biundo
Uni-5256
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Kontakt: Dr. Susanne Biundo (Tel. 5256)
Uwe Brahm, 04/12/2007 12:41 -- Created document.