Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules

Shigemasa TAKAI  Toshimitsu USHIO  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E86-A   No.11   pp.2731-2738
Publication Date: 2003/11/01
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology)
Category: 
Keyword: 
discrete event system,  decentralized supervisory control,  reliable supervisor,  reliable co-observability,  

Full Text: PDF>>
Buy this Article




Summary: 
In this paper, we study reliable decentralized supervisory control of discrete event systems with a control architecture where certain controllable events are controlled under the conjunctive fusion rule, and certain others are controlled under the disjunctive fusion rule. We first introduce a notion of reliable co-observability with respect to such a partition of the controllable event set. We then prove that reliable co-observability together with Lm(G)-closure and controllability is a necessary and sufficient condition for the existence of a reliable decentralized supervisor under a given partition. Moreover, we present necessary and sufficient conditions for the existence of a partition of the controllable event set under which a given specification language is reliably co-observable.