Event enforcement in the context of the supervisory control theory

The Supervisory Control Theory allows the modelbased synthesis of restrictive controllers for Discrete Event Systems. To enable the design of enforcing controllers, the consideration of enforceability is reasonable besides the event property of controllability. Therefore, either the formal framework may be extended by admitting an appropriate control law, or the modeling strategy may be adjusted. In this paper, we present four different approaches for the consideration of event enforcement in the context of the Supervisory Control Theory, discuss their advantages and disadvantages, and compare them by the application to a simple example.