Consistency-based diagnosis is one of the most widely used approaches to model-based diagnosis within the artificial intelligence community. It is usually carried out through an iterative cycle of behavior prediction, conflict detection, candidate generation, and candidate refinement. In that process conflict detection has proven to be a nontrivial step from the theoretical point of view. For this reason, many approaches to consistency-based diagnosis have relied upon some kind of dependency-recording. These techniques have had different problems, specially when they were applied to diagnose dynamic systems. Recently, offline dependency compilation has established itself as a suitable alternative approach to online dependency-recording. In this paper we propose the possible conflict concept as a compilation technique for consistency-based diagnosis. Each possible conflict represents a subsystem within system description containing minimal analytical redundancy and being capable to become a conflict. Moreover, the whole set of possible conflicts can be computed offline with no model evaluation. Once we have formalized the possible conflict concept, we explain how possible conflicts can be used in the consistency-based diagnosis framework, and how this concept can be easily extended to diagnose dynamic systems. Finally, we analyze its relation to conflicts in the general diagnosis engine (GDE) framework and compare possible conflicts with other compilation techniques, especially with analytical redundancy relations (ARRs) obtained through structural analysis. Based on results from these comparisons we provide additional insights in the work carried out within the BRIDGE community to provide a common framework for model-based diagnosis for both artificial intelligence and control engineering approaches.

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.

Fault isolation and identification are necessary components for system reconfiguration and fault adaptive control in complex systems. However, accurate and timely on-line fault identification in nonlinear systems can be difficult and computationally expensive. In this paper, we improve the quantitative fault identification scheme in the TRANSCEND diagnosis approach. First, we propose to use possible conflicts (PCs) to find the set of minimally redundant subsystems that can be used for parameter estimation. Second, we introduce new algorithms for computing PCs from the temporal causal graph model used in TRANSCEND. Third, we use the minimal estimators to decompose the system model into smaller, independent subsystems for the parameter estimation task. We demonstrate the feasibility of this method by running experiments on a simulated model of the reverse osmosis subsystem of the advanced water recovery system developed at the NASA Johnson Space Center. Our results show a considerable reduction in parameter estimation time without loss of accuracy and robustness in the estimation.

The development of efficient and reliable fault detection approaches is necessary to improve performance, safety, and reliability in engineering systems. Moreover, these approaches have to be simple enough to provide quick diagnosis results and to reduce development and maintenance costs. Consistency-based diagnosis using possible conflicts (PCs) relies upon the simulation of numerical models to provide a simple and efficient fault diagnosis approach. However, simulation approaches need to know the initial state, and this assumption is not easily fulfilled in real systems, even in the presence of measurements related to state variables due to noise and parameter uncertainties. In this paper, we develop an approach where PCs are used to automatically compute structural models which can be implemented as simulation and state observer models. Using these models, we propose a framework which integrates those state observers to estimate the initial states for simulation within the consistency-based diagnosis framework. Then, both the simulation models and the state observers are used to provide quick detection decisions without increasing the complexity of the diagnoser. Our integration proposal is open to different kinds of state observers, except for the structural model, and different fault detection configurations. The proposal has been tested on a thermohydraulic reconfigurable laboratory plant using real data with satisfactory results.