Model based fault diagnosis system verification using reachability analysis
journal contributionposted on 2017-06-06, 11:06 authored by Jinya Su, Wen-Hua ChenWen-Hua Chen
In model-based Fault Detection and Isolation (FDI) systems, Fault Indicating Signals (FIS) such as residuals and fault estimates are corrupted by various noises, uncertainties and variations. It becomes challenging to verify whether a FDI system still works or not in real life applications. It is also challenging to select a threshold so that false alarm rate and missed detection rate are kept low depending on real operation conditions. This paper proposes solutions to the aforementioned problems by quantitatively analyzing the effect of uncertainties on FIS. The problems are formulated into reachability analysis problem for uncertain systems. The reachable sets of FIS are calculated under normal and selected faulty cases respectively. From these reachable sets, the effectiveness of a FDI system can be qualitatively verified under described uncertainties. A dedicated threshold can be further chosen to be robust to all possible described uncertainties. As a by-product, the minimum detectable fault can also be quantitatively determined by checking the intersection of the computed reachable sets. The proposed approach is demonstrated by evaluating a FDI algorithm of a motor in the presence of parameter uncertainties, unknown load and sensor noises, where a fault estimation based approach is adopted to diagnose amplifier, velocity and current sensor faults.
This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC) Autonomous and Intelligent Systems programme under the grant number EP/J011525/1 with BAE Systems as the leading industrial partner
- Aeronautical, Automotive, Chemical and Materials Engineering
- Aeronautical and Automotive Engineering
Published inIEEE Transactions on Systems, Man, and Cybernetics: Systems
CitationSU, J. and CHEN, W-H., 2017. Model based fault diagnosis system verification using reachability analysis. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 49 (4), pp.742-751.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
- NA (Not Applicable or Unknown)
Publisher statementThis work is made available according to the conditions of the Creative Commons Attribution 3.0 International (CC BY 3.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by/3.0/
NotesThis is an Open Access Article. It is published by IEEE under the Creative Commons Attribution 3.0 Unported Licence (CC BY). Full details of this licence are available at: http://creativecommons.org/licenses/by/3.0/