Decentralized Supervisory Control of Discrete Event Systems with Model Uncertainty
Seong-Jin Park, Jong‐Tae Lim · IEICE Transactions on Information and Systems · 2000
SUMMARY 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.