Formale Synthese verteilter Prozesssteuerungen

• Applicant: Professor Dr.-Ing. Hans-Michael Hanisch
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2009 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 101803482

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.

• DFG Programme: Research Grants