Learn More
We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors, and formulate a new decentralized supervisory control problem, called a reliable decentralized supervisory control problem. A decentralized supervisor is said to be k-reliable (1</=k</=n) if it exactly achieves a specification language under(More)
— The task of decentralized decision-making involves interaction of a set of local decision-makers, each of which operates under limited sensing capabilities and is thus subjected to ambiguity during the process of decision-making. In a prior work [4] we made a key observation that such ambiguities are of differing gradations and presented a framework for(More)
Decentralized decision-making requires the interaction of various local decision-makers in order to arrive at a global decision. Limited sensing capabilities at each local site can create ambiguities in a decision-making process at each local site. We argue that such ambiguities are of differing gradations. We propose a framework for decentralized(More)
The task of decentralized decision-making involves interaction of a set of local decision-makers, each of which operates under limited sensing capabilities and is thus subjected to ambiguity during the process of decision-making. In a prior work [2] we made an observation that such ambiguities are of differing gradations and presented a framework for(More)
—For discrete event systems, we study the problem of predicting failures prior to their occurrence, also referred to as prognosis, in the inference-based decentralized framework where multiple decision-makers interact to make the global prognostic decisions. We characterize the class of systems for which there are no missed detections (all failures can be(More)
—The task of failure prognosis requires the prediction of impending failures. This paper formulates and studies the problem of distributed prognosis of discrete event systems, where the local prognosers exchange their observations for the sake of arriving at a prognostic decision. The observations are exchanged over communication channels that introduce(More)
We present fixed-point based characterization of several classes of co-observable languages that are of interest in the context of decentralized supervisory control of discrete event systems, including C&P∨D&A co-observable languages, C&P co-observable languages, and D&A co-observable languages [30]. We also provide formulae for computing(More)