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

First International Diagnosis Competition - DXC'09

A framework to compare and evaluate diagnosis algorithms (DAs) has been created jointly by NASA Ames Research Center and PARC. In this paper, we present the first concrete implementation of this framework as a competition called DXC 09. The goal of this competition was to evaluate and compare DAs in a common platform and to determine a winner based on diagnosis results. 12 DAs (model-based and otherwise) competed in this first year of the competition in 3 tracks that included industrial and synthetic systems. Specifically, the participants provided algorithms that communicated with the run-time architecture to receive scenario data and return diagnostic results. These algorithms were run on extended scenario data sets (different from sample set) to compute a set of pre-defined metrics. A ranking scheme based on weighted metrics was used to declare winners. This paper presents the systems used in DXC 09, description of faults and data sets, a listing of participating DAs, the metrics and results computed from running the DAs, and a superficial analysis of the results

A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems

This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version

Benchmarking Diagnostic Algorithms on an Electrical Power System Testbed

Diagnostic algorithms (DAs) are key to enabling automated health management. These algorithms are designed to detect and isolate anomalies of either a component or the whole system based on observations received from sensors. In recent years a wide range of algorithms, both model-based and data-driven, have been developed to increase autonomy and improve system reliability and affordability. However, the lack of support to perform systematic benchmarking of these algorithms continues to create barriers for effective development and deployment of diagnostic technologies. In this paper, we present our efforts to benchmark a set of DAs on a common platform using a framework that was developed to evaluate and compare various performance metrics for diagnostic technologies. The diagnosed system is an electrical power system, namely the Advanced Diagnostics and Prognostics Testbed (ADAPT) developed and located at the NASA Ames Research Center. The paper presents the fundamentals of the benchmarking framework, the ADAPT system, description of faults and data sets, the metrics used for evaluation, and an in-depth analysis of benchmarking results obtained from testing ten diagnostic algorithms on the ADAPT electrical power system testbed

Robust fault diagnosis of nonlinear systems using interval constraint satisfaction and analytical redundancy relations

In this paper, a robust fault diagnosis problem for nonlinear systems considering both bounded parametric modeling errors and noise is addressed using parity-equation-based analytical redundancy relations (ARR) and interval constraint satisfaction techniques. Fault detection, isolation, and estimation tasks are considered. Moreover, the problem of quantifying the uncertainty in the ARR parameters is also addressed. To illustrate the usefulness of the proposed approach, a case study based on the well-known wind turbine benchmark is used.This work has been supported by WATMAN (Ref. DPI-2009-13744) and SHERECS Projects (DPI-2011-26243) of the Spanish Science and Innovation Ministry and the DGR of Generalitat de Catalunya (SAC group Ref. 2009/SGR/1491).Peer Reviewe

Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review

Since the last century, the exponential growth of the semiconductor industry has led to the creation of tiny and complex integrated circuits, e.g., sensors, actuators, and smart power. Innovative techniques are needed to ensure the correct functionality of analog devices that are ubiquitous in every smart system. The ISO 26262 standard for functional safety in the automotive context specifies that fault injection is necessary to validate all electronic devices. For decades, standardization of defect modeling and injection mainly focused on digital circuits and, in a minor part, on analog ones. An initial attempt is being made with the IEEE P2427 draft standard that started to give a structured and formal organization to the analog testing field. Various methods have been proposed in the literature to speed up the fault simulation of the defect universe for an analog circuit. A more limited number of papers seek to reduce the overall simulation time by reducing the number of defects to be simulated. This literature survey describes the state-of-the-art of analog defect injection and fault simulation methods. The survey is based on the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) methodological flow, allowing for a systematic and complete literature survey. Each selected paper has been categorized and presented to provide an overview of all the available approaches. In addition, the limitations of the various approaches are discussed by showing possible future directions

Model-Based Diagnostic Frameworks for Fault Detection and System Monitoring in Nuclear Engineering Systems

The high operations and maintenance (O&M) cost for nuclear plants is one of the most significant challenges facing the industry today. The research in this thesis is motivated by the ongoing effort to utilize automation and improved operator support technologies to reduce O&M costs in nuclear power plants. A diagnostic framework is first developed for the problem of monitoring equipment health and sensor calibration status in nuclear engineering systems. This is achieved by utilizing real-time data from sensors that are already in place for system monitoring to perform automated diagnostics of equipment degradation. Given the long-time scale over which component degradation typically proceeds, some of the sensors may also inevitably degrade and become unreliable. The need to simultaneously consider equipment and instrument faults is both a technical necessity and a desired capability. The automation of these monitoring tasks contributes to the reduction of the overall O&M cost by reducing the required human resources and by providing better maintenance scheduling. Early detection of slow degradation over the course of plant operation requires sufficient detection sensitivity from the diagnostic framework. The problem is more complicated in the presence of various sources of uncertainty and possible changes of operating conditions due to plant drifts. To resolve these difficulties and provide the desired capability, the proposed framework is a hybrid integration of quantitative model-based diagnosis, statistical change detection and probabilistic reasoning. Physics-based models are developed to describe the fault-free behavior of system components. Quantitative residuals are generated from the analytical redundancy in each model and serve as fault symptoms for model-based diagnosis. Statistical change detection methods are used to detect changes in the residuals in the presence of uncertainty. Measurement and modelling uncertainty are robustly treated by methods of statistical change detection and probabilistic reasoning. A system level diagnosis framework is proposed to deal with the lack of local sensors to each component. The overall framework has been implemented and demonstrated with a high-pressure feedwater system whose available sensor set is insufficient for the construction of standalone models for most major components. Results from the demonstration showed that the system level approach can be used to construct models and perform diagnostics for systems with limited instrumentation. Both component faults and sensor faults can be detected, and the effects of uncertainty can be mitigated by the proposed probabilistic reasoning framework. Areas for future work were identified and include the investigation of a dynamic Bayesian network to treat the effects of uncertainty in the diagnosis as well as the investigation of using high fidelity simulation codes to construct simulation-based surrogate models of the basic plant components.PHDNuclear Engineering & Radiological SciencesUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/155193/1/nghiant_1.pd

A Survey of Health Management User Objectives Related to Diagnostic and Prognostic Metrics

One of the most prominent technical challenges to effective deployment of health management systems is the vast difference in user objectives with respect to engineering development. In this paper, a detailed survey on the objectives of different users of health management systems is presented. These user objectives are then mapped to the metrics typically encountered in the development and testing of two main systems health management functions: diagnosis and prognosis. Using this mapping, the gaps between user goals and the metrics associated with diagnostics and prognostics are identified and presented with a collection of lessons learned from previous studies that include both industrial and military aerospace applications