Decentralized supervisory control of discrete event systems with model uncertainty

Abstract

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.