Fault diagnosis is key to ensuring system safety through fault-adaptive control. This task is diffcult in hybrid systems with combined continuous and discrete behaviors because mode changes make diagnosability hard to achieve. Including additional sensors can improve diagnosability, but that is not always feasible. An alternative strategy is active diagnosis, where we improve the diagnosis result by executing or blocking controllable events. We present a qualitative, event-based approach to active diagnosis of hybrid systems, where we automatically synthesize event-based diagnosers for hybrid systems that can determine if the system is diagnosable through passive or active diagnosis. We apply our active diagnosis scheme to a real-world electrical power distribution system.

Multiple fault diagnosis is a difficult problem for dynamic systems. Due to fault masking, compensation, and relative time of fault occurrence, multiple faults can manifest in many different ways as observable fault signature sequences. This decreases diagnosability of multiple faults, and therefore leads to a loss in effectiveness of the fault isolation step. We develop a qualitative, event-based, multiple fault isolation framework, and derive several notions of multiple fault diagnosability. We show that using Possible Conflicts, a model decomposition technique that decouples faults from residuals, we can significantly improve the diagnosability of multiple faults compared to an approach using a single global model. We demonstrate these concepts and provide results using a multi-tank system as a case study.

Multiple fault diagnosis is a difficult problem for dynamic systems. Due to fault masking, compensation, and relative time of fault occurrence, multiple faults can manifest in many different ways as observable fault signature sequences. This decreases diagnosability of multiple faults, and therefore leads to a loss in effectiveness of the fault isolation step. We develop a qualitative, event-based, multiple fault isolation framework, and derive several notions of multiple fault diagnosability. We show that using Possible Conflicts, a model decomposition technique that decouples faults from residuals, we can significantly improve the diagnosability of multiple faults compared to an approach using a single global model. We demonstrate these concepts and provide results using a multi-tank system as a case study.

Model-based diagnosis enables efficient and safe operation of engineered systems. In this paper, we describe two algorithms based on a qualitative event-based fault isolation framework augmented with model-based fault identification that are applied to spacecraft power distribution systems. Although based on a common framework, the fundamental difference between the two algorithms is that one uses a global model for residual generation, fault isolation, and fault identification; whereas the other uses a set of minimal submodels computed using Possible Conflicts. We describe the implementation of the two algorithms and compare their diagnosis results on a representative spacecraft power distribution system.

Diagnosis and prognosis are necessary tasks for system reconfiguration and fault-adaptive control in complex systems. Diagnosis consists of detec- tion, isolation and identification of faults, while prognosis consists of prediction of the remain- ing useful life of systems. This paper presents an integrated model-based distributed diagnosis and prognosis framework, where system decomposi- tion is used to perform the diagnosis and prog- nosis tasks in a distributed way. We show how different submodels can be automatically con- structed to solve the local diagnosis and prog- nosis problems. We illustrate our approach us- ing a simulated four-wheeled rover for different fault scenarios. Our experiments show that our approach correctly performs fault diagnosis and prognosis in a robust manner.

Diagnosis and prognosis are necessary tasks for system re- configuration and fault-adaptive control in complex systems. Diagnosis consists of detection, isolation and identification of faults, while prognosis consists of prediction of the remain- ing useful life of systems. This paper presents a novel inte- grated framework for model-based distributed diagnosis and prognosis, where system decomposition is used to enable the diagnosis and prognosis tasks to be performed in a distributed way. We show how different submodels can be automati- cally constructed to solve the local diagnosis and prognosis problems. We illustrate our approach using a simulated four- wheeled rover for different fault scenarios. Our experiments show that our approach correctly performs distributed fault diagnosis and prognosis in an efficient and robust manner.

Systems health monitoring is essential in guar- anteeing the safe, efficient, and correct opera- tion of complex engineered systems. Diagnosis, which consists of detection, isolation and identi- fication of faults; and prognosis, which consists of prediction of the remaining useful life of com- ponents, subsystems, or systems; constitute sys- tems health monitoring. This paper presents an integrated model-based diagnostic and prognos- tic framework, where we make use of a com- mon modeling paradigm to model both the nom- inal and faulty behavior in all aspects of systems health monitoring. We illustrate our approach us- ing a simulated propellant loading system that in- cludes tanks, valves, and pumps.

Diagnostic inference involves the detection of anomalous system behavior and the identification of its cause, possibly down to a failed unit or to a parameter of a failed unit. Traditional approaches to solving this problem include expert/rule-based, model-based, and data-driven methods. Each approach (and various techniques within each approach) use different representations of the knowledge required to perform the diagnosis. The sensor data is expected to be combined with these internal representations to produce the diagnosis result. In spite of the availability of various diagnosis technologies, there have been only minimal efforts to develop a standardized software framework to run, evaluate, and compare different diagnosis technologies on the same system. This paper presents a framework that defines a standardized representation of the system knowledge, the sensor data, and the form of the diagnosis results – and provides a run-time architecture that can execute diagnosis algorithms, send sensor data to the algorithms at appropriate time steps from a variety of sources (including the actual physical system), and collect resulting diagnoses. We also define a set of metrics that can be used to evaluate and compare the performance of the algorithms, and provide software to calculate the metrics.

The lecture of the [Stanford-IVHM lecture series](https://dashlink.arc.nasa.gov/group/stanford-ivhm-lecture-series/) will give an overview of the approaches in building diagnostic solutions for networks and complex systems. The conventional rule-based approach and the top-down analysis will be compared with other innovative solutions based on information modeling and codebook correlation. One specific solution pioneered by research done in Columbia University and later implemented by SMARTS/EMC will be presented in more detail as an example of a consistent approach to diagnostics. Speaker: Yuri Rabover, Ph.D. VMTurbo Dr. Yuri Rabover, is a co-founder and Director of Product Strategy of VMTurbo, a startup in a stealth mode. Prior to VMTurbo Yuri spent 12 years working for SMARTS as director of engineering, product management and technology partnership. After EMC acquired SMARTS for $275M in 2005, Yuri was managing the Advanced Solution Group in the EMC Corporate CTO Office developing prototypes and proof of concepts of new innovative solutions. He is a seasoned technologist, strategist and researcher in the wide area of system, network and storage management with more than 20 years of industry and academia experience.

In performance maintenance in large, complex systems, sensor information from sub-components tends to be readily available, and can be used to make predictions about the system's health and diagnose possible anomalies. However, existing methods can only use predictions of individual component anomalies to guess at systemic problems, not accurately estimate the magnitude of the problem, nor prescribe good solutions. Since physical complex systems usually have well-defined semantics of operation, we here propose using anomaly detection techniques drawn from data mining in conjunction with an automated theorem prover working on a domain-specific knowledge base to perform systemic anomalydetection on complex systems. For clarity of presentation, the remaining content of this submission is presented compactly in Fig 1.