Abstract
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.