Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors

Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers +3

Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements.…