Diagnosability Analysis Considering Causal Interpretations for Differential Constraints

This paper is focused on structural approaches to study diagnosability properties given a system model taking into account, both simultaneously or separately, integral and differential causal interpretations for differential constraints. We develop a model characterization and corresponding algorithms, for studying system diagnosability using a structural decomposition that avoids generating the full set of system analytical redundancy relations. Simultaneous application of integral and differential causal interpretations for differential constraints results in a mixed causality interpretation for the system. The added power of mixed causality is demonstrated using a Reverse Osmosis Subsystem from the Advanced Water Recovery System developed at the NASA Johnson Space Center. Finally, we summarize our work and provide a discussion of the advantages of mixed causality over just derivative or just integral causality.

[1]  Carlos Alonso González,et al.  Possible conflicts: a compilation technique for consistency-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[2]  M. A. Akanbi,et al.  Numerical solution of initial value problems in differential - algebraic equations , 2005 .

[3]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[4]  David Kortenkamp,et al.  Intelligent Control of a Water-Recovery System: Three Years in the Trenches , 2003, AI Mag..

[5]  Peter Struss,et al.  A TOOLBOX INTEGRATING MODEL-BASED DIAGNOSABILITY ANALYSIS AND AUTOMATED GENERATION OF DIAGNOSTICS , 2005 .

[6]  Frank Harary,et al.  Graph Theory , 2016 .

[7]  Kazuo Murota,et al.  Matrices and Matroids for Systems Analysis , 2000 .

[8]  Erik Frisk,et al.  Sensor Placement for Fault Diagnosis , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[9]  Magnus Johansson,et al.  Methods for Residual Generation Using Mixed Causality in Model Based Diagnosis , 2008 .

[10]  Alberto Isidori,et al.  A geometric approach to nonlinear fault detection and isolation , 2000, IEEE Trans. Autom. Control..

[11]  Jean Sallantin,et al.  AN ALGORITHMIC VIEW AT CAUSAL ORDERING , 2003 .

[12]  T. Wei,et al.  High order numerical derivatives for one-dimensional scattered noisy data , 2006, Appl. Math. Comput..

[13]  Jean-Philippe Cassar,et al.  A STRUCTURAL APPROACH FOR THE DESIGN OF FAILURE DETECTION AND IDENTIFICATION SYSTEMS , 1997 .

[14]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[15]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[16]  Aníbal Bregón Bregón Integration of fdi and dx techniques within consistency-based diagnosis with possible conflicts , 2010 .

[17]  Mattias Krysander,et al.  An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[19]  Marcel Staroswiecki,et al.  Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems , 2001, Autom..

[20]  Vincent Cocquempot,et al.  Structural Analysis for FDI: a modified, invertibility-based canonical decomposition , 2009 .

[21]  Model-based diagnosis for industrial applications , 1997 .

[22]  Fatiha Nejjari,et al.  Sensor Placement for Fault Diagnosis Based on Causal Computations , 2009 .

[23]  Jan F. Broenink Introduction to Physical Systems Modelling with Bond Graphs , 2000 .

[24]  Gautam Biswas,et al.  A Decomposition Method for Nonlinear Parameter Estimation in TRANSCEND , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[25]  Teresa Escobet,et al.  Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[26]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[27]  Peter Struss,et al.  The Consistency-based Approach to Automated Diagnosis of Devices , 1996, KR 1996.

[28]  Marcel Staroswiecki,et al.  Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[29]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[30]  N. S. Mendelsohn,et al.  Coverings of Bipartite Graphs , 1958, Canadian Journal of Mathematics.

[31]  Markus Stumptner,et al.  Diagnosability analysis without fault models 1 , 2006 .

[32]  Mattias Nyberg,et al.  Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[33]  Carlos Alonso González,et al.  Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation , 2009, CAEPIA.

[34]  Erik Frisk,et al.  Observer design and model augmentation for bias compensation with a truck engine application , 2009 .

[35]  Gautam Biswas,et al.  Designing Distributed Diagnosers for Complex Continuous Systems , 2009, IEEE Transactions on Automation Science and Engineering.

[36]  Oskar Dressler On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines , 1996, ECAI.

[37]  Sherif Abdelwahed,et al.  Online model-based diagnosis to support autonomous operation of an advanced life support system. , 2004, Habitation.

[38]  Giorgio Pariani,et al.  Results of an integrated water recovery system test , 2001 .

[39]  Paul M. Frank,et al.  Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.

[40]  Lars Eriksson,et al.  Air Mass-Flow Measurement and Estimation in Diesel Engines Equipped with GR and VGT , 2008 .