TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.
Saved in:
| Title: | TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. |
|---|---|
| Authors: | Zhao, Xiangfu1, xiangfuzhao@gmail.com, Tong, Xiangrong1, xr_tong@163.com, Ouyang, Dantong2, ouyd@jlu.edu.cn, Zhang, Liming2, limingzhang@jlu.edu.cn, Hou, Yanzhi1, 1433376288@qq.com |
| Source: | IEEE Transactions on Reliability; Dec2021, Vol. 70 Issue 4, p1596-1610, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00189529 |
|---|---|
| DOI: | 10.1109/TR.2021.3115130 |
