By Topic

Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Takai, S. ; Div. of Electr., Electron. & Inf. Eng., Osaka Univ., Suita, Japan ; Kumar, R.

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 previous work, we made an observation that such ambiguities are of differing gradations and presented a framework for inferencing over various local control decisions of varying ambiguity levels to arrive at a global control decision. A similar inferencing-based framework for the management of ambiguities in the decentralized diagnosis of failures was also reported by us in another earlier work. 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 ?winning? 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-ambiguities as well as the ambiguities of the others, and an inference based up on such knowledge. This correspondence paper extends this to the decentralized diagnosis of nonfailures which requires that any ambiguity about the nonoccurrence of a failure be resolved within a uniformly bounded delay. It is known that the decentralized diagnosability for failures does not imply that for nonfailures, and vice versa. Further, the following difference exists: Once the ambiguity about the occurrence of a failure is resolved, future observations do not cause the ambiguity to reoccur. The same is not true when one is concerned with the diagnosis for nonfailures, and so, a different formulation is needed. In order to characterize the class of systems for which the ambiguity about the nonoccurrence of a failure can be resolved within a uniformly bounded delay, we introduce the notion of N-inference diagnosability for NonFailures (- - also called N-inference NF-diagnosability), where the index N represents the maximum ambiguity level of any winning local decision. We present a method for verifying N-inference NF-diagnosability and also establish various properties of it.

Published in:

Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on  (Volume:40 ,  Issue: 2 )