FAULT DETECTION OF A CONTROL VALVE USING STRUCTURED PARITY EQUATIONS

Similar documents
AIRCRAFT BRAKING DYNAMICS AND BRAKE SYSTEM MODELING FOR FAULT DETECTION AND ISOLATION

Fault Detection and Isolation of the Wind Turbine Benchmark: an Estimation-based Approach

Principles and Practice of Automatic Process Control

Article The trade-off between the controller effort and control quality on example of an electro-pneumatic final control element

Modeling, Control and Experimental Validation of a Device for Seismic Events Simulation

AFAULT diagnosis procedure is typically divided into three

Identification of a Chemical Process for Fault Detection Application

Model Based Fault Detection and Diagnosis Using Structured Residual Approach in a Multi-Input Multi-Output System

Fault Neural Classifier Applied to a Level Control Real System

Fault Detection and Diagnosis of an Electrohydrostatic Actuator Using a Novel Interacting Multiple Model Approach

Actuator Fault Tolerant PID Controllers

FAULT DETECTION ON A REACTION WHEEL BASED ON PARAMETER ESTIMATION

CHAPTER 3 QUARTER AIRCRAFT MODELING

D O T 1 ; O T 2 ; O T 3 ; O T i

Input-output data sets for development and benchmarking in nonlinear identification

Simulation Study on Pressure Control using Nonlinear Input/Output Linearization Method and Classical PID Approach

ROBUST FAULT ISOLATION USING NON-LINEAR INTERVAL OBSERVERS: THE DAMADICS BENCHMARK CASE STUDY. Vicenç Puig, Alexandru Stancu, Joseba Quevedo

Modelling the Dynamics of Flight Control Surfaces Under Actuation Compliances and Losses

INTEGRATED ARCHITECTURE OF ACTUATOR FAULT DIAGNOSIS AND ACCOMMODATION

RESEARCH ON AIRBORNE INTELLIGENT HYDRAULIC PUMP SYSTEM

Modeling and Model Predictive Control of Nonlinear Hydraulic System

Chapter 2 Linear Feedback Control

FEEDBACK CONTROL SYSTEMS

Simultaneous State and Fault Estimation for Descriptor Systems using an Augmented PD Observer

Guide to Selected Process Examples :ili3g eil;]iil

Second Order Step by Step Sliding mode Observer for Fault Estimation in a Class of Nonlinear Fractional Order Systems

Model Validation for a Self-bearing Motor Prototype

Fault Detection and Diagnosis for a Three-tank system using Structured Residual Approach

Application of Adaptive Thresholds in Robust Fault Detection of an Electro- Mechanical Single-Wheel Steering Actuator

A Physically-Based Fault Detection and Isolation Method and Its Uses in Robot Manipulators

Linear State Feedback Controller Design

Diagnosis of PEM fuel cell stack based on magnetic fields measurements

Cautious Data Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark

Erik Frisk and Lars Nielsen

ONGOING WORK ON FAULT DETECTION AND ISOLATION FOR FLIGHT CONTROL APPLICATIONS

Control Engineering BDA30703

C(s) R(s) 1 C(s) C(s) C(s) = s - T. Ts + 1 = 1 s - 1. s + (1 T) Taking the inverse Laplace transform of Equation (5 2), we obtain

A Multiple-Observer Scheme for Fault Detection, Isolation and Recovery of Satellite Thrusters

ME 132, Dynamic Systems and Feedback. Class Notes. Spring Instructor: Prof. A Packard

The basic principle to be used in mechanical systems to derive a mathematical model is Newton s law,

INVESTIGATION OF FRICTION HYSTERESIS USING A LABORATORY- SCALE TRIBOMETER

Index. Index. More information. in this web service Cambridge University Press

Feedback Control of Linear SISO systems. Process Dynamics and Control

Subject: Introduction to Process Control. Week 01, Lectures 01 02, Spring Content

We are IntechOpen, the world s leading publisher of Open Access books Built by scientists, for scientists. International authors and editors

Chemistry Instrumental Analysis Lecture 31. Chem 4631

Chapter 7 Control. Part Classical Control. Mobile Robotics - Prof Alonzo Kelly, CMU RI

MODELING OF NONLINEAR SYSTEM FOR A HYDRAULIC PROCESS

Analysis of Offshore Knuckle Boom Crane Part Two: Motion Control

Lecture 12. Upcoming labs: Final Exam on 12/21/2015 (Monday)10:30-12:30

JUSTIFICATION OF INPUT AND OUTPUT CONSTRAINTS INCORPORATION INTO PREDICTIVE CONTROL DESIGN

A COMPARISON OF TWO METHODS FOR STOCHASTIC FAULT DETECTION: THE PARITY SPACE APPROACH AND PRINCIPAL COMPONENTS ANALYSIS

Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools

(Refer Slide Time: 00:01:30 min)

10 Measurement of Acceleration, Vibration and Shock Transducers

Unknown input observer based scheme for detecting faults in a wind turbine converter Odgaard, Peter Fogh; Stoustrup, Jakob

Active Fault Diagnosis for Uncertain Systems

Dynamic Redesign of a Flow Control Servo-valve using a Pressure Control Pilot

University of Bristol - Explore Bristol Research. Publisher's PDF, also known as Version of record

Sensitivity of Wavelet-Based Internal Leakage Detection to Fluid Bulk Modulus in Hydraulic Actuators

Robust Actuator Fault Detection and Isolation in a Multi-Area Interconnected Power System

Dynamic Redesign of a Flow Control Servovalve Using a Pressure Control Pilot 1

MODELING AND IDENTIFICATION OF A MECHANICAL INDUSTRIAL MANIPULATOR 1

A system is defined as a combination of components (elements) that act together to perform a certain objective. System dynamics deal with:

Closed loop Identification of Four Tank Set up Using Direct Method

Investigation of a nonlinear dynamic hydraulic system model through the energy analysis approach

Control and Monitoring of a High Recovery Reverse Osmosis Desalination Process

CV3000 Series. Characterized Insert Control Valves

HYDRAULIC LINEAR ACTUATOR VELOCITY CONTROL USING A FEEDFORWARD-PLUS-PID CONTROL

OPTIMIZATION OF MODEL-FREE ADAPTIVE CONTROLLER USING DIFFERENTIAL EVOLUTION METHOD

APPLICATION OF ADAPTIVE CONTROLLER TO WATER HYDRAULIC SERVO CYLINDER

CHBE320 LECTURE XI CONTROLLER DESIGN AND PID CONTOLLER TUNING. Professor Dae Ryook Yang

An Efficient Algorithm for Finding Over-constrained Sub-systems for Construction of Diagnostic Tests

DIAGNOSIS OF DISCRETE-TIME SINGULARLY PERTURBED SYSTEMS BASED ON SLOW SUBSYSTEM

A Light Weight Rotary Double Pendulum: Maximizing the Domain of Attraction

4/3-way servo solenoid directional control valves with electrical position feedback (Lvdt DC/DC) (ruggedized design)

Dry Friction Discontinuous Computational Algorithms L. Borello, M. D. L. Dalla Vedova DIMEAS Politecnico di Torino

Appendix A: Exercise Problems on Classical Feedback Control Theory (Chaps. 1 and 2)

Unknown Input Observer Based Detection of Sensor Faults in a Wind Turbine

APPLICATION OF THE COUPLED THREE DIMENSIONAL THERMAL- HYDRAULICS AND NEUTRON KINETICS MODELS TO PWR STEAM LINE BREAK ANALYSIS

Model-Based Design, Analysis, & Control: Valve-Controlled Hydraulic System K. Craig 1

Study of Fault Diagnosis Method Based on Data Fusion Technology

IMPROVING LATERAL STIFFNESS ESTIMATION IN THE DIAGONAL STRUT MODEL OF INFILLED FRAMES

Comparison of four state observer design algorithms for MIMO system

Nonlinear FDI based on state derivatives, as provided by inertial measurement units

DIAGNOSIS USING FINITE MEMORY OBSERVERS ON AN UNKNOWN INPUT SYSTEM

AdaptiveImpact Absorption. Smart Technology Centre

DETECTION AND ISOLATION OF LEAKAGE AND VALVE FAULTS IN HYDRAULIC SYSTEMS IN VARYING LOADING CONDITIONS, PART 2: FAULT DETECTION AND ISOLATION SCHEME

Modern Control Systems

FAULT DETECTION for SPACECRAFT ATTITUDE CONTROL SYSTEM. M. Amin Vahid D. Mechanical Engineering Department Concordia University December 19 th, 2010

Using Principal Component Analysis Modeling to Monitor Temperature Sensors in a Nuclear Research Reactor

CHAPTER 5 ROBUSTNESS ANALYSIS OF THE CONTROLLER

VIBRATION ANALYSIS IN SHIP STRUCTURES BY FINITE ELEMENT METHOD

Analysis of Nonlinear Characteristics of Turbine Governor and Its Impact on Power System Oscillation

Manufacturing Equipment Control

CHARACTERIZATION OF LPM'S 1-T DEW POINT GENERATOR

MODEL BASED FAULT DIAGNOSIS IN PEM FUEL CELL SYSTEMS

A Novel Approach For Sensor Noise Elimination In Real Time Process

Observer design for rotating shafts excited by unbalances

Laboratory Exercise 1

Transcription:

FAULT DETECTION OF A CONTROL VALVE USING STRUCTURED PARITY EQUATIONS Felipe Nunes Radtke, Fernando Lizarralde Dept. of Electrical Eng., COPPE, Federal University of Rio de Janeiro Rio de Janeiro, RJ, Brazil Dept. of Electrical Eng., COPPE, Federal University of Rio de Janeiro Rio de Janeiro, RJ, Brazil Emails: feliperad@gmail.com, fernando@coep.ufrj.br Abstract In this paper a model based fault detection system is developed for a control valve. The features extracted by the fault detection system are produced using the structured parity equations technique; therefore, linearized mathematical models of the control valve are obtained. At the end of the work, 17 of 25 faults are detected. Keywords Fault Detection, Fault Diagnosis, Structured residuals, Control Valve 1 Introduction Fault detection is a field of study of constant development, as characteristics like safety and fault tolerance are always desired in engineering projects. To achieve such requirements, several methods of fault detection have been developed, with great range of applications. In this paper, a model based fault detection system will be applied to a control valve, whose faulty operation is known as one of major cause of scarce performance of control loops (Scali et al., 2011). 2 Fault Detection Based on Structured Residuals A general scheme of the model based fault detection method is shown in figure 1 (Isermann, 2006): it consists of the identification of the analytical fault signatures are patterns produced in the feature when a fault is acting on the process. One of the main features used for model based fault detection are the output error residuals: it consists of the difference between the outputs of the process and the model. Thus n residuals can be produced for a process with n outputs. Ideally if no fault is present in the process, the residuals are null; otherwise a fault is said to be acting on the process. In this situation the residuals are influenced only by the faults. However, factors like measurements noise and modeling errors also affects the residuals, so thresholds are usually adjusted in order to avoid false detections. A further improvement that can be done is the use of structured residuals: in this approach, the faults will influence some residuals, and some not (Isermann, 2006). This is done by canceling the effects of some measured process signals in some of the residuals: For example, if a residual r 1 is not affected by a signal u 1, r 1 is considered independent of u 1. In the structured residual technique, every residual is independent of one measured signal from the process. This enhances the distinction between the fault signatures, as every residual belong to certain subspaces in the residual space. 3 Experiment Description Figure 1: Model based fault detection method symptoms (also called fault signatures) in some feature produced with data from the process and from a mathematical model that simulates the behavior of the process in the absence of faults. The The structure used for the experiment consists of a pneumatic linear servo motor, positioner and a control valve with equal-percentage inherent flow characteristic. The servo motor has a stroke of 38.1mm, while the valve has a maximum flow of 40t/h, with water as the operation fluid. There is a bypass valve, which only opens when a specific fault is acting on it; otherwise it remains fully closed all the time. All the components and faults were simulated with the DAMADICS Actuator Benchmark (Syfert et al., 2002). The measured signals are the flow F across

the valve, the servo motor stem displacement X and the input signal to the valve CV, that is the output from a controller, all of them being measured in a percentual scale. The servo motor, positioner and control valve are subjected to the occurrence of 25 faults, shown in table 1, where the signal ( ) indicates the faults with two directions; that means these faults can deviate the behavior of the process to a higher or lower value. Table 1: Faults Control Valve Faults f1 Clogging f2 Plug or seat sedimentation f3 Plug or valve seat erosion f4 Increase of valve stem friction ( ) f5 External leakage f6 Internal leakage f7 Medium evaporation or critical flow Pneumatic Servo Motor Faults f8 Twisted servo-motor s stem f9 Servo-motor housing tightness f10 Servo-motor s diaphragm perforation f11 Servo-motor s spring fault Positioner Faults f12 Electro-pneumatic transducer fault ( ) f13 Stem displacement sensor fault ( ) f14 Air supply pressure sensor fault ( ) f15 Positioner feedback fault External Faults f16 Positioner supply pressure drop f17 Unexpected pressure change ( ) f18 Fully or partly opened bypass valves f19 Flow rate sensor fault ( ) and choked flow to occur. Therefore the only variables able to modify the flow are the input signal CV and the stem displacement X. Given the relations between these 3 variables, and the fact that X is measured in the experiment, 2 models can be constructed: the first represents the dynamics of the servo motor and positioner, while the second represents the dynamics of the valve, as can be seen on figure 2. Theoretically, this approach is better than considering an unique model relating F with CV, because more residuals are able to be constructed, increasing the numbers of faults signatures that can be produced. Figure 2: Model Structure of the valve A ramp signal is applied at the control valve to identify any nonlinear behavior; the response is given at figure 3: it can be seen that the most significative nonlinearity is in the valve dynamics: it has reverse action response, and the flow only starts to change when the stem displacement becomes higher than approximately 45%. 4 Valve Mathematical Model In order to construct the structured residuals based on the output error, a mathematical model describing the non-faulty behavior of the valve has to be found. This step is of major importance, since the more accurate the model, the more accurate the fault detection system will be; however, it s known that when the process is of great complexity, it becomes impracticable to obtain its complete description; in cases like that some assumptions can be made in order to simplify the model, and it s up to the engineer to find a good relation between simplicity and accuracy. Regarding the control valve, the flow across it is dependent of the input signal, the servo motor stem displacement, and the fluid temperature and pressures at the valve inlet and outlet; in this work the fluid temperature and its pressure drop across the valve were maintained constant at values that prevented effects like flashing, cavitation Figure 3: Valve Ramp response Despite the nonlinearities observed, it is desir-

able to obtain linear models for G 1 and G 2 ; this is a very common procedure when dealing with valves (Smith and Corripio, 1985); so the input signal CV is going to be restricted around the operation range of (80% 95%). This procedure will keep the error between the responses of the valve and its linearized model inside acceptable boundaries. The linear models G 1 and G 2 are going to be calculated with the MATLAB System Identification Toolbox, and three model structures are going to be tested: first-order, second-order (underdamped or critically damped) and second-order over-damped, where only the minimum-phase case is considered for all structures. The models with better accuracy, (validated with different excitation signals then the ones used in the identification case) are going to be selected. The excitation signals used in the identification case is the GBN - Generalized Binary Noise, known to improve the identification results considerably, due to its capability of specifying the frequency band desired to concentrate more power; that makes possible to define an optimum GBN signal to identify a particular system. This procedure was done for each model structure tested for G 1 and G 2, according to the guidelines of Tulleken (1990). Neglecting the positioner dynamics, the best model calculated for the servo motor is: G 1 (s) = 1.017 0.3933s 2 + 1.254s + 1 (1) The MATLAB System Identification Toolbox is not able to estimate a satisfactory model for the valve, due to its inverse action characteristic; so, knowing that the relation between inverse and direct action response of a linear model can be expressed by: Y ia = 1 Y da Y ia = 1 G da U; (2) where Y ia and Y da are, respectively, the inverse and direct action response of a model, the equivalent direct action response of the valve was calculated, and this data was used to estimate the direct action model G 2ad : G 2ad (s) = 0.968 1.07s + 1 (3) Then, the response of the inverse action model of the valve is calculated using the model G 2ad and the relation expressed in equation (2). A comparison of the step response of the servo motor and the valve and its corresponding models is given in figure 4: it can be noticed that even with the limitation of the input signal CV at the range (80% 95%), some nonlinearity still were Figure 4: Step responses of valve and model present in the valve dynamics, in the form of a variable gain relating the flow with the stem displacement; as the gain calculated for the model G 2 (s) is a constant, some errors were noticed, but were considerable acceptable, given all the simplifications made. 5 Structured Parity Equations The structured parity equations were obtained based on the output error equations (Isermann, 2006); regarding figure 2, and considering G 2 as the inverse action model of the valve, two equations can be written: r 1 = X X est = X G 1 (s)cv (4) r 2 = F F est = F G 2 (s)x (5) In matrix notation: [ ] [ ] [ ] [ r1 1 G1 (s) 0 = X + CV + F (6) r 2 G 2 (s) 0 1] To produce the structured residuals r, equation (6) has to be multiplied by a matrix W, re-

sulting in a vector of 3 components, each one independent of one variable, as shown: r r 1 (Independent of X) = r2 (Independent of CV ) r3 (Independent of F ) The matrix W that satisfies these conditions is: W = G 2(s) 1 0 1 (7) 1 0 Therefore, the structured residuals are given by: [ ] r r1 = W r 2 = G 2(s) 1 [ ] 0 1 X G1 (S)CV F G 1 0 2 (s)x = F G 1(s)G 2 (s)cv F G 2 (s)x (8) X G 1 (s)cv Table 2: Residuals behavior Residuals Fault r 1 r 2 r 3 F a 0 = 0 0 F b 0 0 = 0 6 Experiment Methodology To verify the efficacy of the structured residuals projected in (9), a step signal with initial and final value of 80% and 95% is applied at CV for 300s (the same step signal can be seen at figure 4); this procedure is done first to the valve without faults, to give a reference behavior of the structured residuals, and can be seen in figure 6: Equation (8) can be written as: r r 1 F G 2 (s)x est = r2 = F G 2 (s)x (9) X X est r 3 A block diagram showing how the structured residuals are related to the Control valve and its models is shown in figure 5: Fa Fb Figure 6: Residuals for the valve without fault Real Actuator Input Signal (CV) Servo motor and positioner Servo motor model (G1) X Actuator Model Xest + - X Xest Valve Valve Model (G2) + - F G2Xest + - F G2X Then the same procedure is repeated for all the faults shown at table 1, with maximum fault strength, abrupt development at the time instant t = 60s, and duration of 240 seconds. Only the residuals that deviate to a constant value are considered in the identification of the fault signatures. Figure 5: Structured residuals block diagram The group of all possible faults that can act on the servo motor and positioner are represented by F a, while F b is the group of faults that can act on the valve. From figure 5 it can be concluded that the structured residual r1 is sensitive to all the faults belonging to F a or F b, that may occur in the whole actuator assembly; however, the structured residual r2 and r3 will only be sensitive to one of these groups: r2 is sensitive only to faults in the valve body, while r3 is sensitive only to faults acting in the servo motor and positioner. Those relations are expressed in the table 2, where the signal 0 means that a residual is sensitive to the occurrence of a specific fault group, while = 0 means that the residual is insensitive. 7 Results The detection results are given in table 3, giving necessary information to perform fault diagnosis. At total, 17 faults are able to be detected, with 11 distinct fault signatures: the faults f 7, f9, f13 (with fault direction 1), f15, f19 (with fd= 1), f 2 andf 3 can be isolated, but the group of faults (f1, f10, f16), and (f6, f13(fd=1), f18) can t; this means that if the value of the vector r in a given moment is [4(+) 5(+) (0)] T, we can only be sure that at least one of the faults in the group (f6, f13(fd=1), f18) is acting on the valve. Although the fault signatures caused in the vector r in the occurrence of f17 and f12 have two distinct patterns, the detection system isn t able to conclude the fault direction; therefore, the statement that the faults f17 and f12 can be iso-

Table 3: Detection Results Fault r1 r2 r3 f1 4(+) 0 4(-) f10 4(+) 0 4(-) f16 4(+) 0 4(-) f6 4(+) 5(+) 0 f13 (fd=1) 4(+) 5(+) 0 f18 4(+) 5(+) 0 f17 (fd=1) 4(+) 5(+) 4(-) f17 (fd=-1) 4(+) 5(+) 4(-) f12 (fd=1) 3(+) 0 2(-) f12 (fd=-1) 3(+) 0 2(-) f7 4(+) 4(+) 3(-) f9 (+) 0 (-) f13 (fd=-1) 0 2(-) 4(-) f15 0 (+) 0 f19 (fd=1) 3(+) 3(+) 0 f2 0 (-) 2(-) f3 2(+) 2(+) 0 ( ) stands for fault direction 1 Figure 7: Residuals for the valve with fault f16 lated depends on what s required of the fault detection system: only to detect a fault presence, or to also determine its direction. Regarding f 12, a electro-pneumatic transducer fault, its development time had to be changed to t = 10s for its fault signature to be detected. This has to be done due to the fact that the step signal applied in CV only excites the system (therefore altering the transducer output) at the time instant t = 50s. The behavior of the structured residuals when the valve is subjected to the fault f16, a pressure drop in the positioner supply is given at figure 7; it can be seen that, although the structured residual r2 shows some deviation, it isn t considered, because in order to simplify the detection system, only the residuals that deviate to a constant value are used. The residuals r2 of faults f1 and f10, and r3 of f3 also have irregular deviations that were ignored; the fault signature of f3 can be seen at figure 8. In the overall case, the detection results are in accordance with table 2 (containing the predictions of the structured residuals behavior in the occurrence of 2 groups of faults); the residual r1 is sensitive for all the faults simulated in the experiment; it has null value for the faults f15, f2 and f 13(f d = 1) because the deviations presented don t exceed the thresholds, as can be seen in figure 9. Comparing tables 1 and 2, the residual r2 should only be sensitive to the faults f1 to f7, and be insensitive to faults f8 to f11; the results show that r2 is sensitive to 8 faults, where 4 of them (f2, f3, f6 and f7) are predicted. On the other hand, it is insensitive to 6 faults, where 2 Figure 8: Residuals for the valve with fault f3 of them (f9 and f10) are predicted. The unpredicted detections happens with faults that act in components not included in the models G 1 and G 2 (positioner and external faults). The residual r 3 should only be sensitive to the faults f8 to f15, and insensitive to faults f1 to f7; the results show that r 3 is sensitive to 11 faults, where 4 of them (f9, f10, f12 and f13) are predicted. From the remaining 7 faults, 3 (f1, f2 and f7) are valve faults. Besides that, r 3 is insensitive to 6 faults (f3, f6, f13, f15, f18 and f19), where 2 of them (f6 and f3) are predicted. Again, the faults in components not included in the model affected the performance of the detection system. 8 Conclusion This paper presents the development of a fault detection system for the control valve. The output error equations are used to produce the vector of structured residuals r ; to achieve, two simplified linear models, G 1 and G 2, describing the behavior of the pneumatic servo motor and the valve without the influence of faults had to be calculated. The choice of two models instead of one is made due to the higher number of fault signatures that

Scali, C., Matteucci, E., Pestonesi, D., Zizzo, A. and Bartaloni, E. (2011). Experimental characterization and diagnosis of different problems in control valves, Preprints of the 18th IFAC World Congress. Smith, C. A. and Corripio, A. B. (1985). Principles and practice of automatic process control, Vol. 2, Wiley New York. Syfert, M., Bartys, M. and Quevedo, J. (2002). Benchmark definition. (available in http://diag.mchtr.pw.edu.pl/damadics/). Figure 9: Residuals for the valve with fault f3(fd = 1) Tulleken, H. J. A. F. (1990). Generalized binary noise test-signal concept for improved identification-experiment design., Automatica 26(1): 37 49. could be produced. As the valve response to a ramp input revealed a nonlinear behavior, some restrictions has to be made, like keeping the input signal to the valve within the range of (80% 95%), to prevent the error between the valve and the model to become too high. After the implementation of the fault detection system, 17 of 25 faults were able to be detected, and 7 could be isolated. This result proved to be good, given the fact that the fault detection system was constituted of 2 simplified linear models used to represent the behavior of such an complex and nonlinear system as a control valve. The experiment results are consistent to the predicted behavior of the structured residuals, and it became clear that better results can be achieved if a more detailed model, that includes the dynamics of the positioner and the modeling of external faults, is used. Besides that, the structured residuals are known as an efficient tool in the detection of additive faults, that change the process output by adding an offset to it, and not depending on the process input. For the detection of parametric faults, like e.g., the change of some valve parameters, some parameter estimation method have to be used, and again a detailed structure of the process model is going to be required. 9 Acknowledgments This work was supported in part by CNPq, Brazil. References Isermann, R. (2006). Fault-Diagnosis Systems: An Introduction From Fault Detection to Fault Tolerance, Springer.