Complete Diagnosability of Abrupt Faults Using Set-based Sensitivities

Abstract To ensure the safe operation of technical processes, the occurrence of a fault has to be reliably detected for a supervisory component to react in time. We investigate the sensitivity of the measured outputs with respect to abrupt or parametric faults for polynomial hybrid systems. For this we define a sensitivity measure based on the reachable sets of the outputs. The approach allows for the consideration of discrete changes in variables as well as unknown-but-bounded parameters or output measurements. Guaranteed outer bounds of the reachable sets are derived by employing mixed-integer relaxations. Furthermore, we present an algorithm to derive an upper bound on the allowed measurement error such that the faults can be detected and isolated within a specified amount of time. The upper bounds can be used to select or optimize sensors to guarantee complete fault diagnosibility. We illustrate the proposed algorithm considering fault detection and isolation for a three tank system.

[1]  Jean B. Lasserre,et al.  Global Optimization with Polynomials and the Problem of Moments , 2000, SIAM J. Optim..

[2]  Rolf Isermann,et al.  Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .

[3]  Philipp Rumschinski,et al.  Methodology article Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks , 2010 .

[4]  R. Findeisen,et al.  Complete Fault Diagnosis of Uncertain Polynomial Systems , 2010 .

[5]  Oded Maler,et al.  Sensitive state-space exploration , 2008, 2008 47th IEEE Conference on Decision and Control.

[6]  Philipp Rumschinski,et al.  Fault Diagnosis for Polynomial Hybrid Systems , 2011 .

[7]  Martin Mönnigmann,et al.  Systematic identifiability testing for unambiguous mechanistic modeling – application to JAK-STAT, MAP kinase, and NF-κB signaling pathway models , 2009, BMC Systems Biology.

[8]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

[9]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[10]  D. Moens,et al.  Interval sensitivity theory and its application to frequency response envelope analysis of uncertain structures , 2007 .

[11]  Steven X. Ding,et al.  Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , 2008 .

[12]  Josep Vehí,et al.  Fault detection and isolation of the three-tank system using the modal interval analysis , 2002 .

[13]  Jian Liu,et al.  An LMI approach to minimum sensitivity analysis with application to fault detection , 2005, Autom..

[14]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems: theory and application , 1989 .

[15]  Stefan Streif,et al.  Bioinformatics Applications Note Systems Biology Admit: a Toolbox for Guaranteed Model Invalidation, Estimation and Qualitative–quantitative Modeling , 2022 .

[16]  Stefan Streif,et al.  Steady state sensitivity analysis of biochemical reaction networks: A brief review and new methods , 2009 .

[17]  Ian A. Hiskens,et al.  Trajectory Sensitivity Analysis of Hybrid Systems , 2000 .

[18]  Rolf Isermann,et al.  Fault-Diagnosis Systems , 2005 .

[19]  Philipp Rumschinski,et al.  Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks , 2010, BMC Systems Biology.