Learn 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 our prior work, we made a key observation that such ambiguities are of differing gradations and presented a framework for(More)
The reliable decentralized supervisory control of discrete event systems (DESs) with communication delays is investigated in this paper. For a system equipped with n local supervisors, we formalize the notion of k-reliable (1 ≤ k ≤ n) decentralized supervisor under communication delays, in which some local supervisors are allowed to fail and(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 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)
— Keeping a property of system behaviors secret from an observer (who has a partial observation of any executed behavior) requires that the execution of any property-satisfying or property-violating behavior must not become known to the observer. When an observer does not know the exact behaviors of a system it observes, a weaker notion of secrecy 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)