« Projekte
Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup
Finanzierung:
Deutsche Forschungsgemeinschaft (DFG) ;
Forschergruppen:
Die Erstellung von Software für kooperierende Teams mobiler Roboter stellt hohe Anforderungen: Zum einen muss eine Reaktion des Systems in Echtzeit garantiert werden, und zum anderen erhöht die Kooperation mehrerer Agenten miteinander die Komplexität. 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 Temporallogiken und Methoden aus dem Model Checking für den hier vorgesehenen Zweck (weiter) entwickelt werden.

Schlagworte

Mobile Systeme, Multiagenten-Systeme, RoboCup
Kontakt
Prof. Dr. Frieder Stolzenburg

Prof. Dr. Frieder Stolzenburg

HS Harz für angewandte Wissenschaften

FB Automatisierung und Informatik

Friedrichstr. 57-59

38855

Wernigerode

Tel.+49 3943 659333

Fax:+49 3943 6595333

fstolzenburg(at)hs-harz.de

weitere Projekte

Die Daten werden geladen ...