A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems

Masashi NOMURA
Shigemasa TAKAI

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E96-A    No.4    pp.835-839
Publication Date: 2013/04/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E96.A.835
Print ISSN: 0916-8508
Type of Manuscript: LETTER
Category: Concurrent Systems
timed discrete event system,  supervisory control,  decentralized control,  forcible event,  

Full Text: PDF>>
Buy this Article

In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. For any specification language satisfying a certain assumption, we propose a method for constructing a decentralized supervisor that achieves its sublanguage. The proposed method does not require computing the achieved sublanguage.