Robust fault detection using consistency techniques for uncertainty handling

Often practical performance of analytical redundancy for fault detection and diagnosis is decreased by uncertainties prevailing not only in the system model, but also in the measurements. In this paper, the problem of fault detection is stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem can be solved using modal interval analysis and consistency techniques. Consistency techniques are then shown to be particularly efficient to check the consistency of the analytical redundancy relations (ARRs), dealing with uncertain measurements and parameters. Through the work presented in this paper, it can be observed that consistency techniques can be used to increase the performance of a robust fault detection tool, which is based on interval arithmetic. The proposed method is illustrated using a nonlinear dynamic model of a hydraulic system

SQualTrack: A Tool for Robust Fault Detection

One of the techniques used to detect faults in dynamic systems is analytical redundancy. An important difficulty in applying this technique to real systems is dealing with the uncertainties associated with the system itself and with the measurements. In this paper, this uncertainty is taken into account by the use of intervals for the parameters of the model and for the measurements. The method that is proposed in this paper checks the consistency between the system's behavior, obtained from the measurements, and the model's behavior; if they are inconsistent, then there is a fault. The problem of detecting faults is stated as a quantified real constraint satisfaction problem, which can be solved using the modal interval analysis (MIA). MIA is used because it provides powerful tools to extend the calculations over real functions to intervals. To improve the results of the detection of the faults, the simultaneous use of several sliding time windows is proposed. The result of implementing this method is semiqualitative tracking (SQualTrack), a fault-detection tool that is robust in the sense that it does not generate false alarms, i.e., if there are false alarms, they indicate either that the interval model does not represent the system adequately or that the interval measurements do not represent the true values of the variables adequately. SQualTrack is currently being used to detect faults in real processes. Some of these applications using real data have been developed within the European project advanced decision support system for chemical/petrochemical manufacturing processes and are also described in this paper

Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

The speed of fault isolation is crucial for the design and reconfiguration of fault tolerant control (FTC). In this paper the fault isolation problem is stated as a constraint satisfaction problem (CSP) and solved using constraint propagation techniques. The proposed method is based on constraint satisfaction techniques and uncertainty space refining of interval parameters. In comparison with other approaches based on adaptive observers, the major advantage of the presented method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements and model errors and without the monotonicity assumption. In order to illustrate the proposed approach, a case study of a nonlinear dynamic system is presented

Fault diagnosis by refining the parameter uncertainty space of nonlinear dynamic systems

This paper deals with fault detection and isolation problems for nonlinear dynamic systems. Both problems are stated as constraint satisfaction problems (CSP) and solved using consistency techniques. The main contribution is the isolation method based on consistency techniques and uncertainty space refining of interval parameters. The major advantage of this method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements, and model errors. Interval calculations bring independence from the assumption of monotony considered by several approaches for fault isolation which are based on observers. An application to a well known alcoholic fermentation process model is presented

An Interval Intelligent-based Approach for Fault Detection and Modelling

Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with this prevalent problem, in this paper we develop a methodology using Modal Interval Analysis which takes into account those uncertainties in the plant model. A fault detection method is developed based on this model which is quite robust to uncertainty and results in no false alarm. As soon as a fault is detected, an ANFIS model is trained in online to capture the major behavior of the occurred fault which can be used for fault accommodation. The simulation results understandably demonstrate the capability of the proposed method for accomplishing both tasks appropriately

La sintaxis de los determinantes en el Cantar de Mío Cid

Comunicació on s'analitza l'article en el 'Cantar del Mio Cid' i el sistema de demostratius en l'espanyol medieval

Presencia del paleogeno bajo los sedimentos neogénicos de Vilablareix (Girona)

This study makes clear the existence of a paleogenical red basal level (Pontils Fm.) in the Vilablareix àrea, under the mio-pliocenical cover of the Girona plain, enlargening the surface known go far of that level

A proposal for the diagnosis of uncertain dynamic systems based on interval models

The performance of a model-based diagnosis system could be affected by several uncertainty sources, such as,model errors,uncertainty in measurements, and disturbances. This uncertainty can be handled by mean of interval models.The aim of this thesis is to propose a methodology for fault detection, isolation and identification based on interval models. The methodology includes some algorithms to obtain in an automatic way the symbolic expression of the residual generators enhancing the structural isolability of the faults, in order to design the fault detection tests. These algorithms are based on the structural model of the system. The stages of fault detection, isolation, and identification are stated as constraint satisfaction problems in continuous domains and solved by means of interval based consistency techniques. The qualitative fault isolation is enhanced by a reasoning in which the signs of the symptoms are derived from analytical redundancy relations or bond graph models of the system. An initial and empirical analysis regarding the differences between interval-based and statistical-based techniques is presented in this thesis. The performance and efficiency of the contributions are illustrated through several application examples, covering different levels of complexity.

Filogeografia de la truita comuna (Salmo trutta) basada en la diversitat molecular del DNA mitocondrial

Les anàlisis realitzades en cent deu poblacions de truita comuna (Salmo trutta) que abarquen el seu rang natural de distribució indiquen que el patró filogenètic es relaciona amb les tres grans vessants on es troba distribuïda l'espècie: ponto-càspia, atlàntica i mediterrània. Aquesta diferenciació estaria associada a l'aïllament de les vessants durant el Quaternari. L'origen de l'espècie es relaciona amb la vessant ponto-càspia, d'acord amb els models biogeogràfics que postulen l'origen asiàtic de la ictiofauna europea. S'ha detectat també un segon nivell de divergència dins de cada vessant que dóna com a resultat l'existència de sis llinatges evolutius: Atlàntic i Duero a la vessant atlàntica, els llinatges Adriàtic, Mediterrani i Marmoratus als rius mediterranis, i el llinatge Danubi a la zona ponto-càspia. Les glaciacions del Pleistocè han modificat profundament el rang de distribució de la truita comuna, especialment a la vessant atlàntica, on s'han proposat quatre grans refugis glacials: a l'est de la capa de gel, a Europa central, a l'entorn del canal de la Mànega i a l'entorn del golf de Biscaia; tot i que només els tres primers haurien participat en la recolonització del nord d'Europa al final de l'última glaciació. El quart refugi, que inclou el sud de França i el Cantàbric hauria estat l'origen de l'expansió cap al sud durant el Pleistocè Superior d'un grup de poblacions distribuïdes actualment a la vessant atlàntica ibèrica, i també hauria servit de base per a l'expansió cap al nord d'altres grups de truita durant interglacials anteriors. A la vessant atlàntica de la peninsula Ibèrica, l'estructura poblacional es troba associada a la xarxa hidrogràfica i es determinen fins a cinc unitats poblacionals: les truites dels rius Cantàbrics, les del Miño, les del Duero, les del Tajo i les del Guadalquivir. Les poblacions del Guadalquivir pertanyerien a un grup d'influència mediterrània. Els marcadors d'al·lozims i de DNA mitocondrial es troben fortament correlacionats en aquesta vessant, on apunten cap als mateixos grups de poblacions. Per contra, els rius de la vessant mediterrània haurien estat colonitzats pels llinatges Adriàtic i Mediterrani i s'hauria produït una intensa intergradació secundària entre aquests llinatges durant els períodes glacials a partir de l'expansió de les poblacions retingudes a les capçaleres durant els interglacials. Els grups de hibridació, l'aïllament i la deriva en el període interglacial fa que els grups de poblacions identificats pels marcadors d'al·lozims i de DNA mitocondrial no coincideixin.