On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems

Shigemasa TAKAI  Toshimitsu USHIO  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E83-A   No.11   pp.2282-2285
Publication Date: 2000/11/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
discrete event system,  decentralized supervisory control,  on-line control,  

Full Text: PDF>>
Buy this Article




Summary: 
In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.