Ein wesentlicher Zeit- und Kostenfaktor bei der Entwicklung eines diskret gesteuerten Systems besteht in Entwurf, Tests und Korrekturen der Steuerung. Der vorliegende Beitrag stellt einen Ansatz vor, Teile des Steuerungsentwurfs zu automatisieren, wodurch sowohl durch die Beschleunigung des Entwurfsvorgangs als auch durch die Verringerung der Fehleranfalligkeit Zeit und Kosten eingespart werden konnen. Aus einem auf Petri-Netzen mit verschiedenen Erweiterungen basierenden Modell der ungesteuerten Strecke, einer Anfangsmarkierung sowie als lineare Beschrankungen an die Netzmarkierung formulierten Ziel- und Sicherheitsspezifikationen werden mogliche Steuerungsalgorithmen generiert, die die Strecke vom Anfangszustand unter Einhaltung der Sicherheitsspezifikationen in einen Zustand bringen, der den Zielspezifikationen genugt. Um die exponentielle Komplexitat des Problems beherrschen zu konnen, wird eine gerichtete Suche auf dem Raum aller moglichen Algorithmen vorgenommen: Zum Erreichen des Ziels werden rekursiv Zwischenziele gewahlt und fur den Weg zu diesen nur solche Steuerungsaktionen in Betracht gezogen, die in Bezug auf das aktuelle Zwischenziel hilfreich sein konnen.
展开▼