Im Rahmen des vom Land Rheinland-Pfalz geförderten Exzellenzclusters "Adaptive Systems and Mathematical Modeling" ist die AG Robotersysteme zusammen mit weiteren Gruppen des Fachbereichs Informatik und des Fachbereichs Mathematik an den zwei Teilprojekten AVES und VerSiS beteiligt.

• Universität Kaiserslautern, AG Graphische Datenverarbeitung, Prof. Dr. Hans Hagen
• DFKI Kaiserslautern, Forschungsbereich "Intelligente Visualisierung und Simulation"

Im Rahmen des Projekts sollen neue Methoden zur Simulation der optischen und akustischen Eigenschaften einer Szene im Gebäudeinneren entwickelt werden, um auf dieser Basis die Steuerungsalgorithmen eines Roboters zu testen. Ein Roboter orientiert sich im Raum anhand der Informationen, die ihm durch seine Sensorsysteme zur Verfügung gestellt werden. Neben Entfernungssensoren bilden hierbei optische und akustische Sensoren den Schwerpunkt.

Als Ergebnis des Projektes soll eine realistische Simulation für Indoor-Umgebungen aufgebaut werden, um die Entwicklung komplexer Robotersteuerungen zu beschleunigen.

• Jens Wettach
• Norbert Schmitz

Dieses Projekt ist Teil des Landes-Exzellenzclusters "Dependable Adaptive Systems and Mathematical Modeling", der vom Land Rheinland-Pfalz gefördert wird.

• Technische Universität Kaiserslautern, AG Reaktive Systeme, Prof. Dr. Klaus Schneider
• Fraunhofer Institut für Techno- und Wirtschaftsmathematik, Abteilung Adaptive Systeme, Dr. Patrick Lang
• Technische Universität Kaiserslautern, AG Algebra, Geometrie und Computeralgebra, Prof. Dr. Gert-Martin Greuel

Formale Verifikation ist eine zentrale Fragestellung beim Entwurf sicherheitskritischer eingebetteter Systeme. Die besondere Herausforderung liegt hierbei in der technologischen Heterogenität der Systeme, bei denen neben digitaler anwendungsspezifischer Hardware und Software oft zusätzlich noch analoge Aktor- und Sensorkomponenten als Schnittstellen zur Umgebung zu berücksichtigen sind. Die Entwicklung neuer Entwurfs- und Verifikationsverfahren mit durchgängigen Werkzeugketten ist ein wesentlicher Gegenstand dieses Vorhabens. Die AG Robotersysteme erforscht die Anwendbarkeit der entwickelten Verifikationsverfahren auf verhaltensbasierte Robotersteuerungen.

Siehe auch Verification and Simulation of Embedded Hybrid Systems

• Martin Proetzsch

Dieses Projekt ist Teil des Landes-Exzellenzclusters "Dependable Adaptive Systems and Mathematical Modeling", der vom Land Rheinland-Pfalz gefördert wird.