IEEE Transactions on Automatic Control, Vol.47, No.2, 314-318, 2002
Multiuser discrete-event control with active events
The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events that they can trigger. A variety of liveness and safety specifications can be considered within this extended framework. A synthesis algorithm of minimally restrictive controllers is outlined. Multiuser systems are also discussed.
Keywords:discrete-event systems;manufacturing systems;multiagent;safety and liveness;supervisory control