Model diagnosis based on failure behavior
Dantong Ouyang · Computer Integrated Manufacturing Systems · 2008
A new method using failure behavior to resolve all minimal diagnoses,and the computation procedure was formalized by combining revised Set Enumeration tree(SE-tree) with closed nodes to produce all the resolutions gradually.It could directly compute all the minimal diagnoses without computing all the conflict sets and therefore the hitting sets of the collection of the corresponding conflict sets like the classical methods.And then the combinatorial explosion caused by calling Assumption-based Truth Maintenance System(ATMS),known as an NP-complete problem,could be avoided as well.As the closed nodes were added to the SE-tree,the non-minimal diagnoses could never be produced,and the true resolutions could not be missed by pruning,either.Results showed that the corresponding algorithm could be easily implemented,the efficiency was greatly improved and real-time requirements for complicated diagnosed objects were satisfied.