Minimum cardinality candidate generation

摘要

This NGDE algorithm incorporates a minimum cardinality candidate diagnosis generator which exploits conflict set reduction rules to dramatically reduce the search space and thus reduce the computational resources required to find minimum cardinality diagnoses.

主权项

1. A method for performing diagnoses in a modeled system, the method comprising:
searching for output information from components of the modeled system; searching for conflicts among the output information of the modeled system being searched; discovering conflicts among the output information; forming a conflict set from the discovered conflicts; transforming the conflict set into a simplified conflict set, the transforming including repeatedly:
(i) removing subsumed conflicts in the conflict set by subsumption;(ii) factoring the set of conflicts into disconnected subgraphs;(iii) further, removing a component x from all conflicts and note the equivalences if the component x≡a component y, wherein the component x≡the component y if conf(x)=conf(y), and wherein conf returns a set of conflicts in which a given component appears, and wherein the noted equivalences are not used to generate additional equivalent diagnoses; and(iv) further, removing the component x from all conflicts if the component x