Event Feedback Control of Discrete Event Systems with Forced Events

In this paper, the event feedback control theory of discrete event systems with forced events is introduced in the setting of automaton-based models. A control specification is given in terms of a specified legal language. Necessary and sufficient conditions for the existence of a supervisory controller are shown to achieve a prescribed language.