Model-Based Fault Diagnosis System Verification Using Reachability Analysis

Su, JinyaChen, Wen-Hua2022-07-272022-07-272019-04Su, 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.2710132ORCID: /0000-0002-3121-7208/work/36594734https://hdl.handle.net/2164/18948101244284engOBSERVERSuncertaintyrobustnessalgorithm design and analysisReachability analysisFault Diagnosisfault estimationverification and validationQA75 Electronic computers. Computer scienceEngineering and Physical Sciences Research Council (EPSRC)EP/J011525/1QA75Model-Based Fault Diagnosis System Verification Using Reachability AnalysisJournal article10.1109/TSMC.2017.2710132https://doi.org/10.1109/TSMC.2017.2710132494