Model-Based Fault Diagnosis System Verification Using Reachability Analysis
Publication date
04/2019Metadata
Show full item recordCitation
Su , J & Chen , W-H 2019 , ' Model-Based Fault Diagnosis System Verification Using Reachability Analysis ' , IEEE Transactions on Systems, Man, and Cybernetics: Systems , vol. 49 , no. 4 , pp. 742 - 751 . https://doi.org/10.1109/TSMC.2017.2710132