Simplified Interval Observer Scheme: A New Approach for Fault Diagnosis in Instruments

There are different schemes based on observers to detect and isolate faults in dynamic processes. In the case of fault diagnosis in instruments (FDI) there are different diagnosis schemes based on the number of observers: the Simplified Observer Scheme (SOS) only requires one observer, uses all the inputs and only one output, detecting faults in one detector; the Dedicated Observer Scheme (DOS), which again uses all the inputs and just one output, but this time there is a bank of observers capable of locating multiple faults in sensors, and the Generalized Observer Scheme (GOS) which involves a reduced bank of observers, where each observer uses all the inputs and m-1 outputs, and allows the localization of unique faults. This work proposes a new scheme named Simplified Interval Observer SIOS-FDI, which does not requires the measurement of any input and just with just one output allows the detection of unique faults in sensors and because it does not require any input, it simplifies in an important way the diagnosis of faults in processes in which it is difficult to measure all the inputs, as in the case of biologic reactors.


Introduction
Processes supervision systems for operators have evolved as new techniques of detection and isolation of faults have appeared. Research in this field has also grown as the complexity of industrial processes has grown and this has motivated the development of different focuses for FDI system design.
The diagnosis of faults can be done using observers. One great advantage of the diagnosis schemes based on observers is that in comparison with other methods they are very large schemes. The high level of complexity in current industrial processes has led to a situation where the amount of information generated by these processes can overcome the capacity of analysis of human operators, which hinders decision making [1,2]. The most recent supervision systems have the capacity to carry out diagnosis and maintenance functions, in order to guarantee the correct functionality of highly complex processes [3][4][5][6][7][8].
As an example of a process that is hard to supervise, in this work the production of biogas in an anaerobic reactor is used as a case study in which faults are diagnosed and isolated using a scheme based on observers. In many publications about non linear observers for the design of FDI systems, the residuals are based in the error of the estimation obtained by the observer [9]. In biological processes, due to their non linear nature, in the majority of cases they are not completely observable, therefore it is more appropriate to consider some relationships among parameters, instead of attempting to estimate them individually [10,11]. The work presented in [11] explores a methodology to determine the global state and parameters of biological reactors. The method proposed in the article allows one to formalize the design of asymptotic observers, which are capable of evaluating certain variables of state, which are not measured for the anaerobic digestion process, despite certain doubts about the kinetics of the process. We should mention that asymptotic observers need the information of all the input variables of the process, which it is practically impossible to achieve under normal conditions in the operation of an anaerobic reactor. Overcoming this problem implies knowing all the input variables of an anaerobic reactor and for this purpose an observer by intervals was developed in [12]. The main characteristic of intervals observers is that they are capable of providing estimations of guaranteed intervals of non measured state variables instead of an exact estimation, if a superior and inferior limit is provided for each one of the input processes.

Fault Diagnosis Schemes
Diagnosis schemes based on observers can be classified according the type of fault detected: sensor faults (Instrument Fault Detection or IFD), actuator faults (Actuator Fault Detection or AFD), and component faults (Component Fault Detection or CFD). Diagnosis schemes can also be classified according the number of observers that are used. There are schemes with one observer: a Direct scheme is a scheme of just one observer of complete order. The Simplified Observer Scheme (SOS), is a scheme of one observer of reduced order. For sensor faults (IFD), the only observer in this scheme uses all the inputs and one output, which only provides simple redundancy and only allows the localization of faults in one sensor. In AFD, the only observer uses all the outputs and just one input. When several observers constitute a bank of observers of reduced order we have a Dedicated Observer Scheme (DOS). For faults in sensors (IFD), each observer uses all the inputs and just one output. The number of observers equals the number of outputs (sensors). For actuator faults (AFD) each observer uses one input and all the outputs. It should be mentioned that the DOS scheme allows the localization of multiple faults, either in sensors (IFD) or in actuators (AFD). The Generalized Observer Scheme (GOS) is formed by a bank of observers of reduced order. For faults in sensors (IFD), each observer uses all the inputs and m-1 outputs, where m is the number of outputs. For actuator faults (AFD), each observer uses all the outputs and n-1 inputs, n being the number of inputs.

Design and Implementation of a New Diagnosis Scheme: SIOS-IFD
The SIOS-IFD is a scheme with just one interval observator, of reduced order, for faults in sensors. The main advantage of the SIOS-IFD scheme over all the previously presented schemes, is the fact that no input measurements are is required; it is only necessary to have knowledge of the interval of values that the named inputs can reach. SIOS-IFD only allows the localization of faults in one sensor, because it requires the in line measurement of just one output. Figure 1 shows a block diagram of the SIOS-IFD. In this figure it can be observed that the SIOS-IFD does not use the inputs u i (I = 1,2,3,4,…,n), but rather just uses one output (y 3 ) to estimate the other two outputs ( e ) and in that way be able to generate the responses: y .

Mathematical Model of the Anaerobic Reactor Used as Case Study
Next the simplified ADM1 mathematic model of the UASB reactor of the Instituto Tecnológico de Orizaba, Veracruz, México (Figure 2), which is the case study of the project of this article, is presented. Figure 2. UASB reactor.

PLANT
with: µ , , 1 2 10 . 1 10 10 where x 1 is the concentration of the anaerobic mass, s 1 is the concentration of organic matter expressed as chemic oxygen demand (COD), Q CH 4 is the exiting flux of methane biogas, D(t) is the rate of dilution, K m1 , K d y K s1 are the specific rates of growth of anaerobic mass, the dilution rate of the anaerobic reactor and the constant decrease of semisaturation for the anaerobic biomass, respectively. Y 1 is the coefficient of performance for the degradation of COD, is the concentration of COD in the affluent, I PH represents the pH inhibition, where pH LL and pH UL are the lower and higher pH limits, respectively. The values of the model parameters are shown in Table 1.

Interval Observer Designed for the SIOS-IFD Scheme
In this section the design of the interval observer designed for the IOS -IFD scheme is presented. The designed interval observer is capable of stimating value x 1 y Q CH 4 from the in-line measurement of s 1 . It should be emphasized that the designed interval observer does not require any measurement of the reactor input variables. The first necessary condition for the design of an interval observer is that a hypothetic observer of known inputs must exist, called base observer. In order to satisfy this first condition, the asymptotic observer presented next was designed.
The model described by the set of differential non linear Equation (1) can be rewritten in the following way: x , x t with: The asymptotic observer is designed under the assumption that all inputs are known, and m measures states on-line. Thereby the the space of states can be divided in such way that Equation (2) can be rewritten as: where the m measured states are regrouped in vector v 2 (t) (dim v 2 (t) = m) and the variables that will be estimated are represented by v 1  In the design of this asymptonic observer, it was assumed that the rate of dilution D, and the inputs to the digestor are considered as knowntherefore A(t) y b(t) are known t ≥ 0. The asymptonic observer 1 was designed assuming s 1 as the only state measured on-line, meaning, v 2 (t) = [s 1 ] (dim v 2 (t) = 1), while x 1 y s 1 were assumed as estimated states, meaning v 1

(t) (dim v 1 (t) = s = n -m). The matrices
For the calculation of the matrix N, N 1 was arbitrarily chosen as an identity matrix, to calculate N 2 in the following way: N 2 = -N 1 C 1 C 2 § , (where C 2 § is the pseudo reverse generalization of C 2 ), thus obtaining the following result: Now, in order to make the observer asymptotically stable, the following conditions must be fulfilled: W e + y W e must be stable.
Since both conditions are fulfilled, the observer is asymptotically stable. Next the design of an interval observer based on the designed asymptotic observer is presented. Once the asymptotic observer that will work as base observer have been designed, we continued with the design of the interval observer, which is based in the supposition that the values of the input vector b(t) are unknown, but their upper limit and lower limit are known, so . Thus, the asymptotic observer presented in Equation (3) works as a structure base to build the next interval observer: For the upper limit: The convergence of the interval observer is based in the principal of cooperation defined by [13] (see Lema 1). Let ̃ y ̃ be the errors of estimation associated with Equations (4) and (5), respectively. The follwoing expression represents the dynamics of those errors: It uses ̃ to refer to any of the errors ̃ o ̃ so that their dynamics have the same mathematical structure. In the previous equation Ω for the case of the upper limit, while Ω for the case of lower limit Lema 1 [11] In , . The system it is cooperative if , 0 .
This implies that if 0 0 then 0 0. Therefore, if the initial conditions of the estimated variables are unknown but have their limits organized as: 0 0 0 then ̃ 0 0 . Besides, if the system (6) is cooperative, the matrix is stable (Hurwitz) and if Ω is positive (or zero), it can be guaranteed that ̃ 0 0 , and in consequence: 0 [12].

Experimental Results of the Interval Observer
To experimentally verify the operation of the developed interval observer, the anaerobic digester was fed with wastewater from a brewery, which had maximum values of 3 gCOD/L and minimum values of 2 g COD/L, these values are based to the digester being accustomed to consume 3 gCOD/L. If the concentration of the water is greater than this, it can be diluted to achieve the desired value, but if it is lesser, it will be difficult to remove excess water to achieve the desired value, being in the worst case a concentration of 2 gCOD/L. The dilution rate is bounded by a maximum value of 0.74 d −1 and minimum value of 0.26 d −1 (these parameters were obtained experimentally by applying to the plant a positive bounded control as explained by Zavala [14], which sets the value of D by reference to the values of 3 g COD/L and 2 g COD/L for S1, these being the maximum and minimum value that is generated from D). The concentration of organic matter in the effluent (s1) was measured on-line to estimate x1 and Q CH 4 . Figure 3 shows the convergence of the range observer for the concentration of anaerobic mass x1; Figure 4 shows the curves, and on-line measurement for the methane biogas flow Q CH 4 .

Experimental Results of the SIOS-IFD
The developed SIOS-IFD scheme is able to detect unique, sudden and permanent faults in sensors s 1 , x 1 and Q CH 4 , from response and response , being y 1 = x 1 and y 2 = Q CH 4 . Figure 5 shows the responses to a single, sudden and permanent fault, +5% in the sensor s 1 , on day 45 of experimentation. This figure shows that both responses have faults on day 45, because both and , have been estimated from s 1 so the two estimates are wrong from the moment in which the fault of s 1 occurs.

Figure 5.
Responses to a single sudden and permanent fault, +5% in the sensor s 1 . Figure 6 shows that each of the responses generated by the diagnostic scheme developed are filtered through a moving window averaging filter. Subsequently, each filteredresponse is evaluated by a threshold detector. The output of each threshold detector is connected to a display, which can only display one of the following values: −1, 0 or 1. The value "−1" indicates that the response reached a value averaged less than the threshold, so, the response had a negative average change. Similarly, the value "1" indicates that the response had an average positive change. Finally, the value "0" indicates that either the responses does not have any media change; or rather variations in their average values were below preset thresholds.
The array of symptoms presented in Figure 6 [11] is the result of the evaluation of the responses generated by the fault diagnosis scheme developed for the example of a single, sudden and permanent fault of +5% in sensors 1 . These responses were shown in Figure 5.   Table 2 is symptom vector [11], which is the result of the evaluation of the response generated by the fault diagnosis scheme developed for the example of a single, sudden and permanent fault of +5% in the sensor s 1 . In this same Table it can be seen that there is a different symptom vector for each single, sudden and permanent fault in sensors s 1 , x 1 y Q CH 4 .

Conclusions
In this article experimental and simulation results of a novel system of diagnosis of faults in sensors are presented. It has been named as SIOS-IFD (Simplified Observer Interval Scheme-Instrument Fault Detection). The main advantage of the SIOS-IFD scheme in comparison with all the other schemes presented above is the fact that the measurement does not require any input, only knowledge of the range of values that such targets can achieve is required. The SIOS-IFD scheme only allows the location of a single sensor fault, for which it requires the in-line measurement in a single output.