An improved approach for generating max-fault min-cardinality diagnoses

Details

Event DX 2008
Technical Publications
September 22nd 2008
Most approaches to model-based diagnosis focus on isolating a defective component by performing additional measurements on the defective system. Sometimes internal measurements are expensive to make and it is much less costly to change system inputs and observe how outputs change. In digital circuits this is called test-vector generation. Of particular interest are Max-Fault Min-Cardinality (MFMC) observation vectors which result in the maximum number of faults in the minimal cardinality diagnosis. Prior approaches to MFMC generation either used sampling (which is incomplete) or exhaustively enumerate all possible observation vectors (which is computationally impossible). This paper presents a new direct approach to determining MFMC vectors which shows 4-5 orders of magnitude performance improvement over prior algorithms.

Citation

de Kleer, J. An improved approach for generating max-fault min-cardinality diagnoses. 19th International Workshop on Principles of Diagnosis (DX '08); 2008 September 22-24; Blue Mountains, Australia.

Additional information

Focus Areas

Our work is centered around a series of Focus Areas that we believe are the future of science and technology.

FIND OUT MORE
Licensing & Commercialization Opportunities

We’re continually developing new technologies, many of which are available for Commercialization.

FIND OUT MORE
News

Our scientists and staffers are active members and contributors to the science and technology communities.

FIND OUT MORE