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.
