Research on Formal Description of Digraph-Based Fault Tree Construction and Its Application
Yan Qian · Acta Automatica Sinica · 2003
As one of the most attractive approaches in fault tree automatic construction, the digraph-based fault tree construction is not effective for complex system due to the unsuitable traditional operators defined by domain experts. In this paper, a formal description of the construction process is developed by extending the multiple-valued logic and utilizing constraint logic programming principle. Thus, the fault tree construction is transformed to a constrain satisfaction problem (CSP). And the problem can be simply solved through the CSP algorithms. The results of the fault tree automatic construction for a classical example show our method can reduce inaccuracy and is more efficient and effective.