TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis

Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang 0005, Yanzhi Hou. TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. IEEE Transactions on Reliability, 70(4):1596-1610, 2021. [doi]

Abstract

Abstract is missing.