Projektstart: 01.01.1994

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Beteiligte WissenschaftlerInnen der Universität Augsburg: Roland Glück

Beteiligte WissenschaftlerInnen / Kooperationen: Michel Sintzoff (Université catholique de Louvain)

Zusammenfassung

Als Anwendung der algebraischen Techniken dienen verschiedenste Algorithmen. Hier wurden bereits viele Graphenalgorithmen sowie einige Flussprobleme und Sortierverfahren behandelt.
Eine aktuelle Forschungsfragestellung ist der Einsatz von Bisimulationen, um Verfahren auf Transitionssystemen mit unendlichen Zustandsräumen unter Projektion auf endliche Systeme zurückzuführen; hierunter fällt etwa die Entwicklung optimaler Teilsysteme, wenn Kosten für die einzelnen Transitionsschritte mit einbezogen werden.