Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications

Masanori HOSHINO  Shigemasa TAKAI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E100-A   No.2   pp.395-405
Publication Date: 2017/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E100.A.395
Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
nondeterministic discrete event system,  similarity control,  decentralized control,  maximal permissiveness,  

Full Text: PDF>>
Buy this Article

We consider a decentralized similarity control problem for composite nondeterministic discrete event systems, where each subsystem has its own local specification and the entire specification is described as the synchronous composition of local specifications. We present necessary and sufficient conditions for the existence of a complete decentralized supervisor that solves a similarity control problem under the assumption that any locally uncontrollable event is not shared by other subsystems. We also show that the system controlled by the complete decentralized supervisor that consists of maximally permissive local supervisors is bisimilar to the one controlled by the maximally permissive monolithic supervisor under the same assumption.