Projekte und Auftragsforschung

ZIM-Projekte:

InspektoKopter

Im Rahmen des FuE-Projekts „InspektoKopter“ wird unter Verwendung eines unbemannten Luftfahrzeuges, ein modular aufgebautes Prüfsystem und ein neuartiges Verfahren zur Außen-Inspektion von Windenergieanlagen-Rotorblättern entwickelt, welches eine sichere und zuverlässige Alternative zur manuellen Prüfung darstellt.

AirMeter

Im Projekt AirMeter wird eine universelle Sensorplattform zur Erfassung von Bild- und Umweltdaten sowie ein Flugassistenzsystem für semi-autonome ferngesteuerte fliegende Systeme entwickelt.

DFG-Projekt:

DeMAS

Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup

Im Rahmen des Projekts wird ein Verfahren entwickelt, welches es erlaubt, Multiagenten-Systeme formal zu entwerfen und diesen Entwurf auch ausführbar zu machen. Hierzu sollen Techniken aus der Deduktion und Logikprogrammierung und Mittel der Softwaretechnik (UML) eingesetzt werden. Damit ist in einem weiteren Schritt die Analyse und Verifikation von Multiagenten-Systemen durchführbar, indem Temporal-logiken und Methoden aus dem Model Checking für den hier vorgesehenen Zweck (weiter) entwickelt werden.

NEWS

Keine gefunden.
alle News