Subscribe
Issue No.12 - December (1996 vol.45)
pp: 1435-1438
ABSTRACT
<p><b>Abstract</b>—Prior research has extended the classical PMC (or Symmetric Invalidation) Model to incorporate a priori weights or probabilities associated with units. We consider a similar extension to the BGM (or Asymmetric Invalidation) Model. In contrast to the PMC model, where deciding the weighted diagnosability number is co-NP complete, we show that the diagnosability number in the weighted BGM model can be obtained in O(<it>m</it><super>2</super>) time, where <it>m</it> is the number of tests in the system. We also show that diagnosis in this weighted model can be performed in O(<it>T</it>(<it>n</it>)) time, where <it>n</it> is the number of units in the system and <tmath>$T(n) \approx n^{2.376}$</tmath> is the amount of time needed to multiply two <it>n</it> by <it>n</it> matrices.</p>
INDEX TERMS
Asymmetric invalidation, weighted diagnosability, diagnosis, PMC model, BGM model.
CITATION
Vijay Raghavan, "Weighted Diagnosis with Asymmetric Invalidation", IEEE Transactions on Computers, vol.45, no. 12, pp. 1435-1438, December 1996, doi:10.1109/12.545973