Title :
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
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
Keywords :
automata theory; discrete event systems; production control; safety; active events; automata theory; discrete-event systems; liveness; manufacturing systems; minimally restrictive controllers; safety specifications; supervisory control; Computer science; Control system synthesis; Control systems; Discrete event systems; Law; Legal factors; NASA; Paper technology; Safety; Supervisory control;
Conference_Titel :
Robotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on
Conference_Location :
Detroit, MI
Print_ISBN :
0-7803-5180-0
DOI :
10.1109/ROBOT.1999.769943
