Ereigniserzwingung in der Supervisory Control Theorie

In dieser Arbeit wird die Interaktion zwischen Supervisor und Anlage in der Supervisory Control Theorie erweitert, indem dem Supervisor die Möglichkeit gegeben wird, bestimmte Ereignisse (sogenannte erzwingbare Ereignisse) zu erzwingen, die unsteuerbare Ereignisse präemptieren können. Es wird eine Eigenschaft der "erzwingbaren Kontrollierbarkeit" definiert, die das Zusammenspiel zwischen Kontrollierbarkeit eines Supervisors und den unkontrollierbaren Ereignissen einer Anlage in diesem Kontext mit Ereigniserzwingung erfasst. Es wird gezeigt, dass ein maximal permissiver, erzwingbar-kontrollierbarer und blockierungsfreier Supervisor existiert, und ein Algorithmus wird präsentiert, der einen solchen Supervisor berechnet.