Multiuser discrete-event control with active events
Michael A Heymann, F. Lin, G. Meyer · IEEE Transactions on Automatic Control · 2002
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.