DocumentCode
1251602
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
Volume
47
Issue
2
fYear
2002
fDate
2/1/2002 12:00:00 AM
Firstpage
314
Lastpage
318
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;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/9.983368
Filename
983368
Link To Document