Kurzfassung

Das Forschungsprojekt behandelt Methoden zur Beherrschung der Komplexität von Steuerstrategien und der Berechnung optimaler Steuerstrategien. Die Methoden basieren auf Petri-Netzen, auf der Einbeziehung von Strukturkenntnissen und der Beschreibung von Markierungsmengen mittels Ordered Natural Decision Diagrams sowie auf der Spezifikation des geforderten Verhaltens des Steuerungsobjektes in einer erweiterten Temporalen Logik. Die Ergebnisse sollen in einem Werkzeug implementiert werden....Das Forschungsprojekt behandelt Methoden zur Beherrschung der Komplexität von Steuerstrategien und der Berechnung optimaler Steuerstrategien. Die Methoden basieren auf Petri-Netzen, auf der Einbeziehung von Strukturkenntnissen und der Beschreibung von Markierungsmengen mittels Ordered Natural Decision Diagrams sowie auf der Spezifikation des geforderten Verhaltens des Steuerungsobjektes in einer erweiterten Temporalen Logik. Die Ergebnisse sollen in einem Werkzeug implementiert werden. Weitere Informationen: URL: http://www.uni-koblenz.de/~anzenos.» weiterlesen» einklappen