Decentralized supervisory control of discrete event systems with model uncertainty
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.
decentralized supervisory control discrete event systems model uncertainty