Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems

• Published in: IEEE transactions on automation science and engineering Vol. 6; no. 3; pp. 479 - 491
• Main Authors: Kumar, R., Takai, S.
• Format: Journal Article
• Language: English
• Published: Piscataway, NJ IEEE 01-07-2009; Institute of Electrical and Electronics Engineers; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Ambiguity; Applied sciences; Automation; Communication networks; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Computers; Condition monitoring; Decentralized; decentralized diagnosis; Decision making; Decisions; Diagnosis; Discrete event systems; discrete- event systems (DESs); Exact sciences and technology; Failure; Fault detection; Inference; Inference algorithms; inference-diagnosability; inferencing; knowledge; Large-scale systems; Manufacturing systems; Power systems; Programming languages; Sensor systems; Software; Tasks; Type theory; Compilation; Self evaluation; inferencing; Paired system; Distributed computing; Delay; Multiple decision; inference-diagnosability; Failure; Discrete event system; knowledge; Capability index; Production system; High performance; Decision making; Measurement sensor; Interconnected power system; Inference; Distributed system; Communication network; Diagnosability; Upper bound; discrete-event systems (DESs); Decentralized system; decentralized diagnosis; Fault diagnostic; Ambiguity
• ISSN: 1545-5955; 1558-3783
• DOI: 10.1109/TASE.2009.2021330

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 inferencing over varying ambiguity levels to arrive at local and global control decisions. We develop a similar framework for performing diagnosis in a decentralized setting. For each event-trace executed by a system being monitored, each local diagnoser issues its own diagnosis decision (failure or nonfailure or unsure), tagged with a certain ambiguity level (zero being the minimum). A global diagnosis decision is taken to be a ldquowinningrdquo local diagnosis decision, i.e., one with a minimum ambiguity level. The computation of an ambiguity level for a local decision requires an assessment of the self-ambiguity as well as the ambiguities of the others, and an inference based up on such knowledge. In order to characterize the class of systems for which any fault can be detected within a uniformly bounded number of steps (or ldquodelayrdquo), we introduce the notion of N -inference-diagnosability for Failures (also called N -inference F-diagnosability), where the index N represents the maximum ambiguity level of any winning local decision. We show that the codiagnosability introduced in is the same as 0-inference F-diagnosability; the conditional F-codiagnosability introduced in , is a type of 1-inference F-diagnosability; the class of higher-index inference F-diagnosable systems strictly subsumes the class of lower-index ones; and the class of inference F-diagnosable systems is strictly subsumed by the class of systems that are centrally F-diagnosable.