State feedback control of discrete event systems with forced events
Guilian Li, Qiying Hu · 2005
The paper introduces the state feedback control theory of discrete event systems with forced events in the setting of automaton-based models. A control specification is given in terms of predications on the set of states. Necessary and sufficient conditions for the existence of a controller are shown to achieve a prescribed behavior. A controller is constructed to prove theorems. The result is an extension of the controller obtained by some other researchers.