Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set

Masashi NOMURA  Shigemasa TAKAI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E95-A   No.5   pp.952-960
Publication Date: 2012/05/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E95.A.952
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Concurrent Systems
timed discrete event system,  supervisory control,  decentralized control,  forcible event,  

Full Text: PDF>>
Buy this Article

In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.