Model-Based Fault Diagnosis System Verification Using Reachability Analysis
Date
2019-04
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Citation
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