Title :
Multiuser discrete-event control with active events
Author :
Heymann, Michael ; Lin, Feng ; Meyer, George
Author_Institution :
Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
fDate :
2/1/2002 12:00:00 AM
Abstract :
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 :
controllability; discrete event systems; observability; production control; safety; active events; liveness specifications; manufacturing system; minimally restrictive controllers; multiuser discrete-event control; safety specifications; supervisory control theory; synthesis algorithm; Control system synthesis; Control systems; Discrete event systems; Law; Legal factors; Manufacturing systems; NASA; Safety; Supervisory control; Vents;
Journal_Title :
Automatic Control, IEEE Transactions on
