Entwicklung und Implementierung von Heuristiken zur optimierten ...

Vielmehr soll das Augenmerk auf die Verwirklichung der Heuristik aus Kapitel
5.3 gesetzt werden. Um den Abstand eines Zustands q zum Zielzustand d zu ermitteln,
wurde zunächst eine Adjazenzmatrix A des Graphen, der den zugehörigen
PLC-Automaten darstellt, errechnet. Mit den Potenzen dieser Matrix ließ sich die
Distanzmatrix berechnen, aus der letztlich der heuristische Wert berechnet werden
kann.
Listing 1 zeigt beispielhaft, wie die Berechnung des heuristischen Werts heur in
UPPAAL CORA funktioniert. Die innerhalb des after update-Blockes angegebenen
Berechnungen werden vom Modelchecker nach Schalten einer Transition durchgeführt.
Das Beispiel zeigt, wie heur als Produkt aufgrund der Heuristik Abstand ”
zum Fehlerzustand“ für zwei Werkstücke (vgl. Abbildung 12) berechnet wird, wobei
err tb jeweils der Zielzustand ist. Mittels des UPPAAL-Service von Moby/PLC
wird automatisch zu jedem Automaten eine Variable (im Beispiel: blank0 states
und blank1 states) erstellt, die den aktuellen Zustand des Automaten speichert.
Außerdem werden Konstanten zur Verfügung gestellt, um die Zustandsvariable abfragen
zu können (z. B. ENUM blank0 states start).
Listing 1: Beispiel einer after update-Definition
after update {
heur = 0
+ (1
+ ( blank0 states==ENUM blank0 states start ? 3 : 0 )
+ ( blank0 states==ENUM blank0 states start fb ? 2 : 0 )
+ ( blank0 states==ENUM blank0 states end fb ? 1 : 0 )
+ ( blank0 states==ENUM blank0 states err tb ? 0 : 0 )
)
∗ (1
+ ( blank1 states==ENUM blank1 states start ? 3 : 0 )
+ ( blank1 states==ENUM blank1 states start fb ? 2 : 0 )
+ ( blank1 states==ENUM blank1 states end fb ? 1 : 0 )
+ ( blank1 states==ENUM blank1 states err tb ? 0 : 0 )
)
}
40