Model-Based Fault Diagnosis System Verification Using Reachability Analysis

Jinya Su, Wen-Hua Chen
2017 IEEE Transactions on Systems, Man & Cybernetics. Systems  
doi:10.1109/tsmc.2017.2710132 fatcat:q2tavzr4tje5dhzsec726ajkya