A Structural Model Decomposition Framework for Hybrid Systems Diagnosis

Nowadays, a large number of practical systems in aerospace and industrial environments are best represented as hybrid systems that consist of discrete modes of behavior, each defined by a set of continuous dynamics. These hybrid dynamics make the on-line fault diagnosis task very challenging. In this work, we present a new modeling and diagnosis framework for hybrid systems. Models are composed from sets of user-defined components using a compositional modeling approach. Submodels for residual generation are then generated for a given mode, and reconfigured efficiently when the mode changes. Efficient reconfiguration is established by exploiting causality information within the hybrid system models. The submodels can then be used for fault diagnosis based on residual generation and analysis. We demonstrate the efficient causality reassignment, submodel reconfiguration, and residual generation for fault diagnosis using an electrical circuit case study.

[1]  V. Cocquempot,et al.  Fault detection and isolation for hybrid systems using structured parity residuals , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[2]  Xavier Olive,et al.  Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis , 2008, ECAI.

[3]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[4]  S. Narasimhan,et al.  HyDE – A General Framework for Stochastic and Hybrid Model-based Diagnosis , 2007 .

[5]  R. Pons.  Causal or-dering for multiple mode systems , 1997 .

[6]  Xavier Olive,et al.  Diagnosis of a Class of Non Linear Hybrid Systems by On-line Instantiation of Parameterized Analytical Redundancy Relations ? , 2009 .

[7]  H. Sira-Ramirez,et al.  Modeling and simulation of switch regulated dc-to-dc power converters of the boost type , 1995, Proceedings of First International Caracas Conference on Devices, Circuits and Systems.

[8]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[9]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[10]  Louise Travé-Massuyès,et al.  Set-Theoretic Estimation of Hybrid System Configurations , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[11]  Indranil Roychoudhury,et al.  A structural model decomposition framework for systems health management , 2013, 2013 IEEE Aerospace Conference.

[12]  Gautam Biswas,et al.  Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Louise Travé-Massuyès,et al.  Hybrid Estimation through Synergic Mode-Set Focusing , 2009 .

[14]  Feng Zhao,et al.  Estimation of Distributed Hybrid Systems Using Particle Filtering Methods , 2003, HSCC.

[15]  Gautam Biswas,et al.  Efficient simulation of hybrid systems: A hybrid bond graph approach , 2011, Simul..

[16]  Matthew Daigle,et al.  Diagnosability-Based Sensor Placement through Structural Model Decomposition , 2014 .

[17]  Matthew Daigle,et al.  An integrated framework for distributed diagnosis of process and sensor faults , 2015, 2015 IEEE Aerospace Conference.

[18]  Jan Lunze,et al.  Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations , 2000, HSCC.

[19]  Pieter J. Mosterman,et al.  A comprehensive methodology for building hybrid models of physical systems , 2000, Artif. Intell..