A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Jinya Su, Wen-Hua Chen. "Model-Based Fault Diagnosis System Verification Using Reachability Analysis." IEEE Transactions on Systems, Man & Cybernetics. Systems 49.4 (2017) 1-10