Model based fault diagnosis for hybrid systems : application on chemical processes

The complexity and the size of the industrial chemical processes induce the monitoring of a growing number of process variables. Their knowledge is generally based on the measurements of system variables and on the physico-chemical models of the process. Nevertheless, this information is imprecise because of process and measurement noise. So the research ways aim at developing new and more powerful techniques for the detection of process fault. In this work, we present a method for the fault detection based on the comparison between the real system and the reference model evolution generated by the extended Kalman filter. The reference model is simulated by the dynamic hybrid simulator, PrODHyS. It is a general object-oriented environment which provides common and reusable components designed for the development and the management of dynamic simulation of industrial systems. The use of this method is illustrated through a didactic example relating to the field of Chemical Process System Engineering

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

Fault Diagnosis of Hybrid Systems with Dynamic Bayesian Networks and Hybrid Possible Conficts

Hybrid systems are very important in our society, we can find them in many engineering fields. They can develop a task by themselves or they can interact with people so they have to work in a nominal and safe state. Model-based Diagnosis (MBD) is a diagnosis branch that bases its decisions in models. This dissertation is placed in the MBD framework with Artificial Intelligence techniques, which is known as DX community. The kind of hybrid systems we focus on have a continuous behaviour commanded by discrete events. There are several works already done in the diagnosis of hybrid systems field. Most of them need to pre-enumerate all the possible modes in the system even if they are never visited during the process. To solve that problem, some authors have presented the Hybrid Bond Graph (HBG) modeling technique, that is an extension of Bond Graphs. HBGs do not need to enumerate all the system modes, they are built as the system visits them at run time. Regarding the faults that can appear in a hybrid system, they can be divided in two main groups: (1) Discrete faults, and (2) parametric or continuous faults. The discrete faults are related to the hybrid nature of the systems while the parametric or continuous faults appear as faults in the system parameters or in the sensors. Both types af faults have not been considered in a unified diagnosis architecture for hybrid systems. The diagnosis process can be divided in three main stages: Fault Detection, Fault Isolation and Fault Identification. Computing the set of Possible Conflicts (PCs) is a compilation technique used in MBD of continuous systems. They provide a decomposition of a system in subsystems with minimal analytical redundancy that makes the isolation process more efficient. They can be used for fault detection and isolation tasks by means of the Fault Signature Matrix (FSM). The FSM is a matrix that relates the different parameters (fault candidates) in a system and the PCs where they are used

Fault diagnosis of hybrid systems with applications to gas turbine engines

Stringent reliability and maintainability requirements for modern complex systems demand the development of systematic methods for fault detection and isolation. Many of such complex systems can be modeled as hybrid automata. In this thesis, a novel framework for fault diagnosis of hybrid automata is presented. Generally, in a hybrid system, two types of sensors may be available, namely: continuous sensors supplying continuous-time readings (i.e., real numbers) and threshold sensitive (discrete) sensors supplying discrete outputs (e.g., level high and pressure low). It is assumed that a bank of residual generators (detection filters) designed based on the continuous model of the plant is available. In the proposed framework, each residual generator is modeled by a Discrete-Event System (DES). Then, these DES models are integrated with the DES model of the hybrid system to build an Extended DES model. A "hybrid" diagnoser is then constructed based on the extended DES model. The "hybrid" diagnoser effectively combines the readings of discrete sensors and the information supplied by residual generators (which is based on continuous sensors) to determine the health status of the hybrid system. The problem of diagnosability of failure modes in hybrid automata is also studied here. A notion of failure diagnosability in hybrid automata is introduced and it is shown that for the diagnosability of a failure mode in a hybrid automaton, it is sufficient that the failure mode be diagnosable in the extended DES model developed for representing the hybrid automaton and residual generators. The diagnosability of failure modes in the case that some residual generators produce unreliable outputs in the form of false alarm or false silence signals is also investigated. Moreover, the problem of isolator (residual generator) selection is examined and approaches are developed for computing a minimal set of isolators to ensure the diagnosability of failure modes. The proposed hybrid diagnosis approach is employed for investigating faults in the fuel supply system and the nozzle actuator of a single-spool turbojet engine with an afterburner. A hybrid automaton model is obtained for the engine. A bank of residual generators is also designed, and an extended DES is constructed for the engine. Based on the extended DES model, a hybrid diagnoser is constructed and developed. The faults diagnosable by a purely DES diagnoser or by methods based on residual generators alone are also diagnosable by the hybrid diagnoser. Moreover, we have shown that there are faults (or groups of faults) in the fuel supply system and the nozzle actuator that can be isolated neither by a purely DES diagnoser nor by methods based on residual generators alone. However, these faults (or groups of faults) can be isolated if the hybrid diagnoser is used