Formale Synthese verteilter Prozesssteuerungen

点击翻译按钮获取中文摘要

Ziel des beantragten Vorhabens ist es, verteilte Steuerungen zu synthetisieren, die gemeinsam Spezifikationen in Form zyklischer, halbgeordneter Folgen von Zuständen und Zustandsübergängen in der Strecke realisieren. Zusätzlich zur Spezifikation mittels halbgeordneter Abläufe werden Möglichkeiten zur Spezifikation von Verboten über Werkstückeigenschaften und Streckenverhalten vorgesehen und in Form von Fakten dargestellt. Durch Bestimmung erweiterter Transitioneninvarianten sowie die Verwendung von Fakten werden Kriterien ermittelt, die die Zustandsexplosion bei der Bestimmung spezifikationserfüllender Trajektorien im Streckenmodell wirksam verhindern. Aus den spezifikationserfüllenden Streckentrajektorien wird das sie bewirkende Steuerungsverhalten generiert und auf einer festgelegten Architektur verteilt. Damit entstehen Komponentensteuerungen für Teilstrecken und eine zentrale Koordinationssteuerung, die in der zweiten Phase des Forschungsvorhabens dezentral realisiert wird. Das Steuerungs- und Kommunikationsverhalten der entsprechenden Steuerungen wird automatisch in eine verteilte Applikation nach IEC 61499 überführt.