Supervisor specification and synthesis for discrete event systems
F. LIN, A.F. Vaz, Walter Murray Wonham · International Journal of Control · 1988
In this paper, a method for the specification of a supervisor for a discrete event system in terms of a legal constraint language which is defined in terms of illegal states and event sequences is proposed. This is a natural manner for the specification of mutual exclusion and synchronization requirements. A procedure for the synthesis of a supervisor which enforces the legal constraint language is also discussed.