Loughborough University
07984866.pdf (1.19 MB)
Download file

Model based fault diagnosis system verification using reachability analysis

Download (1.19 MB)
journal contribution
posted 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 in

IEEE Transactions on Systems, Man, and Cybernetics: Systems


SU, 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.


Institute of Electrical and Electronics Engineers (IEEE)


  • NA (Not Applicable or Unknown)

Publisher statement

This 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/

Acceptance date


Publication date



This 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/




  • en