Ereignisdiskrete Steuerungssynthese und Codegenerierung am Beispiel einer Fertigungszelle

Abstract

Diese Arbeit beinhaltet die Steuerungssynthese für die Automatisierung einer Fertigungszelle. Dafür wird die Fertigungszelle als ein ereignisdiskretes System modelliert. Die Steuerung wird nach der Supervisory Control Theory synthetisiert und implementiert. Zur Implementierung wird ein Codegenerator entwickelt, der den Code für eine Speicherprogrammierbare Steuerung erzeugt. Letztendlich wird geprüft, ob die geforderte Steuerungsaufgabe erfüllt wird.

Inside this report the control synthesis of a Supervisor for a manufacturing cell is described. Therefore the manufacturing cell is modeled as a discrete event system. The Supervisory Control Theory is responsible for the synthesis of the controller. For the implementation of the Supervisor a code generator is developed. It generates the program code for a programmable logic controller. Finally it is checked if the required control task is satisfied.