Decentralized Supervisory Control of Discrete Event Systems with Model Uncertainty

Seong-Jin PARK  Jong-Tae LIM  

IEICE TRANSACTIONS on Information and Systems   Vol.E83-D   No.12   pp.2174-2177
Publication Date: 2000/12/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Theory of Automata, Formal Language Theory
discrete event systems,  decentralized supervisory control,  model uncertainty,  

Full Text: PDF>>
Buy this Article

This paper deals with the decentralized supervisory control problems of uncertain discrete event systems which are represented as a set of some possible models. For a given global specification, this paper provides the necessary and sufficient conditions for the existence of local supervisors to achieve the specification under model uncertainty.