Algorithm for fault diagnosis of multi-output model based on improved ATMS

Lei Dong,Qingdong Li,Zhang Ren,Yuxiong Pan
2011-01-01
Abstract:Model-based diagnosis is computationally expensive because it often uses component models in reasoning process. For the system of 2-output model, a method for deriving all minimal conflict sets based on improved ATMS is introduced here. All minimal conflict sets can be derived with every component model calculated one time, thus the efficiency is improved. According to these, a new method for solving minimal conflict sets of multi-output model under different failure is proposed. All the minimal hitting sets can be produced by combining revised set enumeration tree(SE-tree) with closed nodes. A concept of forged hitting sets is given, the method of SE-tree with closed nodes is improved. The complete description of implementation steps is given.
What problem does this paper attempt to address?