DocumentCode
338924
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
Volume
1
fYear
1999
fDate
1999
Firstpage
131
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on
Conference_Location
Detroit, MI
ISSN
1050-4729
Print_ISBN
0-7803-5180-0
Type
conf
DOI
10.1109/ROBOT.1999.769943
Filename
769943
Link To Document