State Feedback Control of Vector Discrete Event Systems with Forced Events

The vector discrete event system is a discrete event system model in which the system state is represented by a vector with integer components, and state transition by integer vector addition. We introduce in this paper the state feedback control of vector discrete event systems with forced events. A control specification is given in terms of predications on the set of states. A necessary and sufficient condition for the existence of controller is presented to achieve a prescribed behavior. A controller is constructed to prove our conclusion.