Mathematical Problems in Engineering
Volume 2019 (2019), Article ID 9012182, 26 pages
https://doi.org/10.1155/2019/9012182

Research Article

Fault Tolerant Control for MIMO Nonlinear Systems via MPC Based on MIMO ARX-Laguerre Multiple Models

Abdelkader Mbarek and Kais Bouzrara

Research Laboratory of Automatic Signal and Image Processing, National School of Engineers of Monastir, University of Monastir, Rue Ibn ELJazzar, 5019 Monastir, Tunisia

Correspondence should be addressed to Abdelkader Mbarek; abdelkader.mbarek@enim.rnu.tn

Received 9 June 2019; Revised 5 August 2019; Accepted 9 September 2019; Published 3 October 2019

Academic Editor: Jean Jacques Loiseau

Copyright © 2019 Abdelkader Mbarek and Kais Bouzrara. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

In this article, we propose a fault tolerant control for multiple-input multiple-output (MIMO) nonlinear systems via model predictive control. The MIMO nonlinear systems are approximated by MIMO ARX-Laguerre multiple models. The latter is obtained by expanding a discrete-time MIMO ARX multiple model parameters on Laguerre orthonormal bases. The resulting model ensures an efficient complexity reduction with respect to the classical MIMO ARX multiple models. This parametric complexity reduction still subjects to an optimal choice of the Laguerre poles defining Laguerre bases. The parameter and structure identifications of the MIMO ARX-Laguerre multiple models are achieved by the recursive method and a metaheuristic algorithm, respectively. The proposed model is built from the system input/output observations and is used to synthesize a MIMO nonlinear fault tolerant control algorithm via MPC. So, we develop a fault detection and isolation (FDI) scheme based on the proposed model. The scheme of the fault detection is applied at every step of MPC control calculation, where we determine the actuator faults and we use it in the MPC optimization problem to determine the new control with respect to the actuator faults. The proposed strategy is tested on numerical simulation and validated on the real system.

1. Introduction

The security of technological systems is a major concern in the last decade [1–4]. Ensuring the security and the environment of a process require the knowledge of its operating status as finely as possible at every moment. In particular, we have to be able to decide if the working system is normal or if a malfunction has occurred. In this case, it is interesting to know the nature of this dysfunction, which is the main objective of the diagnosis. So, in the context of increasing autonomy of the systems, once the dysfunction is detected and identified, this knowledge must be taken into account when calculating a closed-loop control law to counter the influence of defects. This strategy is entitled fault tolerant control (FTC) [5].

The goal of this work is to synthesize fault tolerant control for nonlinear multiple-input multiple-output (MIMO) systems via model predictive control (MPC) based on reduced complexity multiple models. Model-based predictive control is a well-established online control strategy which iteratively computes control signals by solving an optimization problem over a future time horizon under certain process constraints [6–9]. This optimization uses a prediction model of the future plant behavior. The closed-loop performance depends on the choice of an appropriate model for prediction and several tuning parameters. To model MIMO nonlinear systems, several models are used like neural network [10], MIMO nonlinear autoregressive with exogenous input model (NARX) [11], fuzzy logic model [12], and MIMO autoregressive with exogenous input (ARX) multiple models known as MIMO Takagi–Sugeno model [13]. However, these models are constrained by a high parameter number. Furthermore, the complexity of MIMO nonlinear models handicaps the synthesis of a control law by increasing the computation time of the control. To overcome this problem, several works are developed in the literature in the case of single-input single-output (SISO) linear and nonlinear models and MIMO linear model by expansion on Laguerre orthonormal bases [14–18].

In this context, we propose in this paper to reduce the parametric complexity of ARX MIMO multiple models by decomposing its parameter associated with the inputs and the outputs on independent Laguerre orthonormal bases. This decomposition can be realized since the coefficients of the ARX MIMO multiple models are absolutely summable on in the sense of the bounded-input bounded-output (BIBO) stability criterion of the system. The new model, entitled MIMO ARX-Laguerre multiple models, ensures the parameter number reduction with a recursive and easy representation. The proposed model is characterized by a set of poles where an optimal choice of these poles is compulsory to lessen considerably the number of MIMO ARX-Laguerre multiple model parameters. In this paper, we propose to use a recursive method to identify the Fourier coefficients and a metaheuristic algorithm to optimize the MIMO ARX-Laguerre multiple model poles.

The synthesis of a MIMO nonlinear fault tolerant control via MPC (MIMO NFTC-MPC) requires fault detection and estimation procedures. About that, we propose in this paper to use the moving horizon fault estimation (MHE) [19] based on the proposed MIMO ARX-Laguerre multiple models. The MHE is used to estimate the actuator faults from the error between the estimated outputs and the system outputs. The main contributions of this paper is basically threefold. (1) We present a new reduced complexity model for nonlinear MIMO systems by expanding the MIMO ARX multimodel on independent Laguerre bases. The resulting MIMO ARX-Laguerre multiple models ensures the parameter number reduction with a recursive and easy representation. (2) We develop a fault actuator detection and estimation based on the identified MIMO ARX-Laguerre multimodel and using the moving horizon fault estimation. (3) By combining the fault estimation procedure and the model predictive control for MIMO nonlinear system based on the MIMO ARX-Laguerre multiple models, we develop a MIMO nonlinear fault tolerant control via model predictive control.

This paper is organized as follows: in Section 2, we present the modeling of MIMO nonlinear systems where we recall the principle of MIMO multiple model approach and we give the definition of the MIMO ARX multiple models. In Section 3, we present the MIMO ARX-Laguerre multiple models obtained by the expansion of MIMO ARX multiple models on independent Laguerre bases. In Section 4, we propose the identification procedure of the MIMO ARX-Laguerre multiple models, where we develop a recursive method to identify the Fourier coefficients and we use a metaheuristic algorithm to optimize the poles. Section 5 is devoted to the development of a MHE to detect and estimate the actuator faults of the MIMO nonlinear system using the MIMO ARX-Laguerre multiple models. In Section 6, we synthesize the MIMO nonlinear fault tolerant control via MPC where we develop the j-step ahead predictor of the MIMO ARX-Laguerre multiple model outputs by taking into account the actuator faults and we present the control calculation by taking into account the constraint on the inputs and the outputs by resolving an optimization problem. Finally, Section 7 illustrates the proposed MIMO nonlinear fault tolerant control via MPC by a numerical example.

2. Modeling of MIMO Nonlinear Systems

2.1. Principle of Multiple Model Approach

A multiple model is a set of LTI (linear time invariant) and causal submodels aggregated by an interpolation mechanism to characterize the dynamic behavior of the overall nonlinear system. It is characterized by the number of submodels, their structure, and the choice of weighting functions. A multiple model structure is represented by

where is the multiple model output, L is the submodel number, is the weighting function associated to the submodel, is the decision variable in general is selected as the input or the output of the system, and is the output of the submodel. The weighting functions allow to determine the relative contribution of each submodel according to the zone where the system operates, and they respect the convexity properties given as follow:

The weighting functions can be constructed from continuous functions derivatives such as Gaussian functions as follows:

where and are, respectively, the dispersion and the center of the indexed variable .

2.2. MIMO ARX Multiple Models

A strictly causal discrete time MIMO nonlinear system with p inputs and m outputs can be represented by a MIMO ARX multiple models where each nonlinear multiple-input single-output (MISO) system for can be represented by a MISO ARX multiple models written as

where is the output of the submodel for the MISO model, is the weighting function associated with the sth submodel for the MISO model, and is the decision variable selected as the inputs or the outputs of the system:

where for , , if the decision variable is selected as the inputs and for , , if the decision is variable selected as the outputs. By defining the following matrices,

where and are, respectively, the center, , and the dispersion of the decision variable, , where is defined as

Then, the weighting function is defined as

The MISO linear submodel can be described by its output equation given by a MISO autoregressive with exogenous input (MISO ARX) model as follows:

where and are the model parameters of the MISO ARX submodel, and for and are, respectively, the system inputs and the system outputs, and and are the model orders associated, respectively, with the inputs and the outputs of every MISO ARX submodel. The MISO ARX submodel can be written in the matrix form as

with

then, the MISO ARX multiple models given by relation (4) can be rewritten as

The output of the MISO ARX multiple models can be rewritten as

with

where each MISO ARX multiple models is characterized by a parameters number determined as follows:

Then, the MIMO ARX multiple models are characterized by a parameter number. From relation (15), we can conclude that the complexity of the MIMO ARX multiple models increases according to the submodel orders and . In order to reduce the number of parameters, we will proceed with the decomposition of these coefficients and for of the MIMO ARX multiple models given by (9), for , on Laguerre orthonormal bases.

3. Expansion of MIMO ARX Multiple Models on Laguerre Orthonormal Bases

In this section, we use the Laguerre orthonormal bases to reduce the parametric complexity of the MIMO ARX multiple models defined by (9) [15, 18, 20]. This choice is due to the capability of Laguerre base on parametric reduction and for the classical recurrent representation. According to the stability condition of the system in the sense of bounded-input bounded-output criterion (BIBO), the coefficients and are absolutely summable and they satisfy

Therefore, these coefficients belong to the Lebesgue space . Noting that the orthogonal Laguerre functions form an orthogonal base belong also to the Lebesgue space, the coefficients and can be, respectively, developed on the Laguerre bases and as follows [20, 21]:

where for and are the Fourier coefficients, and i are the Laguerre functions, and and are the poles defining, respectively, the orthogonal bases and . Taking into account the stability condition (16), the MISO ARX multiple models given by (9) can be written as

where if and if .

By substituting and given by (17) in the MISO ARX submodel defined by (18), the resulting submodel can be written as

for .

The relation (19) can be written, for , as

By analogy to the development given by Mbarek et al. [22] for the MIMO case and from relation (A.3) and (A.4) given in Appendix A, the MISO ARX-Laguerre multiple model can be described by the following recursive representation:

where , for and , are the parameter vectors regrouping the Fourier coefficients , for and , and , for and .

and the matrices are defined by

where the matrices , and , are defined according to the poles and as given, respectively, by relations (A.13) and (A.14).

The matrices and are defined by

where and are defined as follows:

where the vectors , and , are defined according to the poles and as given, respectively, by relations (A.15) and (A.16).

The output of the MISO ARX-Laguerre multiple models given by (21) can be written as

where and are defined as follows:

The MISO ARX-Laguerre multiple models given by relation (21) is characterized by parameters as given by relation (27) and poles defined as follows:

The proposed MIMO ARX-Laguerre multiple models given, for , by the MISO ARX-Laguerre multiple modes (21) can be represented, as in Figure 1, by a parallel structure diagram in the case of 2 inputs/2 outputs where every MISO model is decomposed into L submodels.

Figure 1: Parallel structure diagram of MIMO ARX-Laguerre multiple models in the case of 2 inputs/2 outputs.

By defining the output vectors and as

the MIMO ARX-Laguerre multiple models given by relation (21) can be written as

with

Then, the MIMO ARX-Laguerre multiple models can be written in the following recursive representation:

where the state vector and the matrices , , , and are defined, respectively, as

4. Identification of the MIMO ARX-Laguerre Multiple Models

A strictly causal discrete time nonlinear MIMO system with p inputs and m outputs can be described by a MIMO ARX-Laguerre multiple models where each MISO system, for , is represented by the recursive representation given by relation (21) and the output is rewritten by the vectorial representation as given in relation (26). Each MISO ARX-Laguerre multiple model is characterized by the parameter vector defined by relation (27) and the poles vector given by relation (29). To ensure a significant parametric reduction, it is necessary to optimize the MIMO ARX-Laguerre multiple model poles. The identification of the parameter vectors and the optimization of the poles are presented in the next sections.

4.1. Recursive Identification of the Fourier Coefficients

This method proposed by Abdelwahed et al. [21] is based on the minimization of a regularized square error given as

where

(i) and are, respectively, the output system and the output of the MIMO ARX-Laguerre multiple models(ii), , and , are, respectively, the Fourier coefficients at time instants and h(iii), , is a regularization constant which regulates the importance that we give either to the quadratic error between and or to that between the Fourier coefficients.

From relation (26) and at time instant h, the square error can be written in matrix form as

where and are the parameter vectors regrouping the Fourier coefficients associated with the output at time instant and h, respectively, and the vector and the matrix are defined as

The optimal parameter vector of each MISO system is obtained by minimizing the quadratic regularised square error given by relation (38). The gradient of the criterion with respect to is written as

From relation (40), we can calculate the estimated parameter vector of each MISO system as

The recursive parametric identification of the MIMO ARX-Laguerre multiple models representing a nonlinear MIMO system of p inputs and m outputs where each MISO system is decomposed into L submodel is described by the following algorithm.

4.2. Pole Optimization of the MIMO ARX-Laguerre Multiple Models Using Metaheuristic Algorithms

To guarantee a significant parametric reduction of the proposed MIMO ARX-Laguerre multiple models, it is necessary to optimize the Laguerre bases poles. Several optimization methods are proposed in the literature in order to put the Laguerre poles into their optimal values, such as the gradient algorithm, the Newton–Raphson algorithm, and the Bouzrara el al.’s method. In this paper, since we have many poles to be optimized, poles, we propose the use of genetic algorithms (GAs) as a metaheuristic optimization method. The values of the MIMO ARX-Laguerre multiple models poles are optimized by minimizing the normalized mean squared error of each MISO ARX-Laguerre multiple models given by

where and are the output system and the output of the MIMO ARX-Laguerre multiple models, respectively.

The pole optimization algorithm of the proposed MIMO ARX-Laguerre multiple models using the genetic algorithm is summarized in the following algorithm.

5. Moving Horizon Fault Estimation Based on MIMO ARX-Laguerre Multiple Models

In the following, we propose to use the moving horizon fault estimation (MHE) based on the MIMO ARX-Laguerre multiple models to solve the fault estimation of the MIMO nonlinear system. The MHE is used to estimate the actuator faults from the error between the estimated output and the system output . The MIMO ARX-Laguerre multiple models taking account of actuator faults can be written from (33) as

where and are the estimated state vector and the estimation outputs model, respectively, when the actuator faults are defined as

The estimate actuators faults are obtained by an online minimization at every sample time of the quadratic cost function defined as follows:

where is the estimation fault horizon, is the estimation outputs model when the actuator faults are considered as given by (43), and is the outputs system defined as

The quadratic criterion given by (45) can be rewritten as

where is the fault actuators to be optimized using the MHE method:

The MHE method is formulated by minimizing the criterion given by (47) at every sample time:

where is defined as follows:

and is the admissible set of fault actuators constraints defined as

where and are -dimensional vectors defined as follows:

where and are the bounds of actuator faults that can be chosen from the physical constraints defined as

6. MIMO Nonlinear Fault Tolerant Control via Model Predictive Control

In this paper, we propose a MIMO nonlinear fault tolerant control via model predictive control using MIMO ARX-Laguerre multiple models (MIMO NFTC-MPC). The proposed MIMO NFTC-MPC is applied to a nonlinear system and used to compensate online the actuator faults by including the effects of the faults in the model predictive control optimization problem. Then, the MIMO NFTC-MPC strategy requires a fault estimation unit to estimate the actuator faults and a MIMO ARX-Laguerre multiple models observer to estimate the system state. The MIMO NFTC-MPC strategy is described by a block diagram as represented in Figure 2.

Figure 2: Block diagram of MIMO NFTC-MPC strategy.

The MIMO NFTC-MPC is characterized by three essential steps. The first step is devoted to the calculation of the system output prediction to determine the process behavior on the prediction horizon depending on the inputs applied to the process until the instant . The second step is dedicated to the actuator fault optimization until the instant , the outputs measured until the instant , and the equations describing the model, T, is the sample time. The third step is dedicated to the optimization of a criterion to determine a future control sequence over the control horizon .

6.1. The j-Step Ahead Predictor including the Actuator Faults

The MIMO ARX-Laguerre multiple models taking into account actuator faults can be written from relation (31) as

where is the vector of actuator faults estimated using the MHE method. To calculate the j-step ahead predictor on the MIMO ARX-Laguerre multiple models output taking into account actuator faults, , we use the incremental form given from (54) as

where , , , , and are the control increments, the output increments, the actuator faults increments, the state vector increments, and the weighting function increments, respectively, defined as

By successive substitutions and after some reorganization, we give the following proposition.

Proposition 1. The j-step ahead predictor including the actuator faults using the MIMO ARX-Laguerre multiple models, , is given as

where is the -dimensional identity matrix, is the truncation order of the L submodel for each MISO submodel, and is defined as

See proof in Appendix B.

The j-step ahead predictor given by (57) is split into two components, the free and the forced components:

where is the free components determined using the measured outputs until and the controls up to :

The free component given by relation (60) can be rewritten as

where is defined as

and from relation (A.25), the forced component resulting from the action of future control can be written as

For , relation (59) becomes

where

From relations (71) and (73) and for , the vectors and can be written as

where

(i) is a -dimensional vector computed from relation (72) and defined as

(ii) is a -dimensional vector defined as

(iii) is a -dimensional future control increments vector where is the control horizon, defined as

(iv) is a -dimensional actuator faults increments vector given by

(v) and are, respectively, -dimensional matrix and -dimensional matrix given as follows:

where is a -dimensional vector of zeros.

where is a -dimensional vector of zeros.

According to relations (71) and (73), the components and and can be written as

Then, from relation (66), the prediction vector given by (54) can be written in matrix form as

6.2. Control Calculation

The control calculation of a MIMO system with p inputs and m outputs is based on the minimization of the following performance quadratic criterion:

where , are the reference trajectories at time instant , are the weights on the tracking error considered constant and equal to ρ, and are positive weights generally considered constant and equal to .

The quadratic criterion given by (75) can be rewritten on the following compact matrix:

where is the -dimensional vector of predicted outputs defined in relation (65) and the vector is defined from the reference trajectories as follows:

is the vector of future control increments given by (69), and are positive definite matrices of dimension, respectively, and , defined as follows:

where

By replacing by its expression given by (74), the matrix form of criterion given by (76) becomes

The model predictive control methods allow to take into account some constraints optimization problem subject to physical constraints on the inputs and the outputs due to the actuator technology, the control system security, or the quality desired for the output of the controlled process. In the case of MIMO system of m outputs and p inputs, the constraints are given as

by analogy to the matrix form of constraints given by Mbarek et al. [22], these constraints can be expressed in terms of future control increments and written in matrix form as

with

where the future control increment vector is defined by relation (69), and the square matrix and the vector of dimensions , are defined as follows:

and the vectors , , , and of dimension are defined as follows:

and the vectors and of dimension are given by

These constraints define a future control increments admissible set as follows:

Then, the optimization problem subject to the physical constraints on the inputs and the outputs is written as follows:

where is the future control increments admissible set given by (89) and is the quadratic criterion that can be written, from (90), as

The optimization problem (90) subject to (84) is a convex quadratic programming problem (QP), for which the global solution is unique. As with all predictive control methods, where a moving horizon strategy is applied, at instant , only the first optimized control is applied to the system, with

7. Numerical Example

The proposed MIMO ARX-Laguerre multiple models, the fault detection algorithm, and the fault tolerant control via MPC are validated on numerical simulation using the following nonlinear MIMO discrete-time system characterized by two inputs and two outputs [14, 15]:

The MIMO nonlinear system given by (93) was simulated, and a set of training input-output data were obtained. These inputs and outputs systems are represented, respectively, by Figures 3 and 4.

Figure 3: Input signals.

(a)

(b)

Figure 4: Output signals.

To describe the MIMO nonlinear system by the proposed MIMO ARX-Laguerre multiple models, it is necessary to determine the weighting functions defined by relation (3) for submodels where we use the output systems as the decision variables. The weighting functions for are represented in Figure 5.

Figure 5: Weighting functions , s = 1, 2, 3.

From the input/output couples, we use 800 couples to identify the proposed nonlinear MIMO ARX-Laguerre multiple models where we applied the Algorithm 1 to identify the Fourier coefficients and the Algorithm 2 to optimize the poles. After several simulations for different truncation orders and for , the optimal choice of the latter is . Then, in our case, the nonlinear MIMO ARX-Laguerre multiple models is obtained by optimizing the poles , , given by relation (29) and identifying the Fourier coefficients , , defined by relation (27). In the following, we give the optimized values of the poles and the Fourier coefficients (Algorithm 3):

(1)
Assume we have M inputs/outputs couples and

(2)
Choose the number of submodels and fix the truncating orders

(3)
Assume that the Laguerre poles vectors , are optimized

(4)
Calculate the matrices and for and given by (23) and (25), respectively

(5)
Initialize the parameter vectors , and the state vectors for and

(6)
For

(a)Calculate for from relations (28) and (A.17)(b)Deduce the matrix and form the vector as given in relation (39)(c)Compute the estimated Fourier coefficients at time instant h, , using (41)(d), go to step (a)

Algorithm 1: Recursive parametric identification.

(1)
Assume we have M measured input/output system and

(2)
Choose the size of population N

(3)
Fix a stopping criterion

(4)
Fix an initial set of N pole vectors , , given by relation (29)

(5)
For each poles vector, identify the parameters vector for , using Algorithm 1

(6)
Compute the outputs for from relation (21)

(7)
Evaluate the fitness values of the initial population for each MISO model,

(8)
do

(a)Select parents(b)Crossover(c)Mutation(d)Next population(e)Identify parameter vectors and compute the outputs for each poles vectors(f)Evaluate the fitness values of the population for every MISO model,

(9)
Until stopping criteria reached

(10)
The last population is the optimal value of the MIMO ARX-Laguerre multiple models poles

Algorithm 2: Pole optimization algorithm.

(1)
The nonlinear system is modeled by the MIMO ARX-Laguerre multiple models for L fixed linear submodels for each MISO system, where the parameters vector , , is identified by Algorithm 1 and the pole vector , , is optimized by Algorithm 2

(2)
Choose the prediction horizon , the control horizon , the weights on the tracking error ρ, and the positive weights ϱ

(3)
Determine the positive definite matrices and given by relation (78)

(4)
Choose the physical constraints given by (81)–(83)

(5)
Fix the fault actuators constraints and

(6)
Compute the vectors , , , and given by (87) and the vectors and given by (88)

(7)
Compute these matrices , , and given by (36) and the matrix given by (35)

(8)
Calculate the matrices , , and given, respectively, by (71), (72), and (86)

(9)
Compute the matrix given by (85)

(10)
Choose the reference signals and initialize the input , for

(11)
for until ,

(a)Apply the inputs to the system and read the output , for (b)Optimize the fault actuators using the MHE method from relation (49)(c)Compute and given, respectively, by relations (54) and (55a)(d)For , compute given by relation (72)(e)Compute these vectors , , and given, respectively, by relations (77), (78), and (80) and compute the vector given by (77)(f)Compute the vector given by (85)(g)Solve the optimization problem given by (90)(h)Calculate the control signal from relation (92)

(12)
END

Algorithm 3: MIMO nonlinear fault tolerant control via MPC (MIMO NFTC-MPC).

Using the optimal poles , , given by (95), we can deduce the matrices , , and given by relation (36), and using the identified parameters , , given by (94) and the weighting function for , we can determine the vector defined by relation (32). Then, the state space representation (31) of the proposed MIMO ARX-Laguerre multiple models representing the nonlinear MIMO system given by (93) is determined. In Figures 6 and 7, we draw the validation of the identified model.

Figure 6: Validation of first output.

Figure 7: Validation of second output.

The identified MIMO ARX-Laguerre multiple models are used to detect the fault actuator by applying the MHE technique developed in Section 5. To validate the capability of the MHE using MIMO ARX-Laguerre multiple models, we applied to the nonlinear MIMO system given by (93), a constant input and and we added to the input the fault given in Figure 8. By considering constraint to the faults given by relation (96), the optimal faults are given in Figure 9.

Figure 8: Fault input.

Figure 9: Fault optimization.

To validate the proposed fault tolerant control algorithm for nonlinear MIMO systems via MPC based on ARX-Laguerre multiple models Algorithm 3, we used constant reference trajectories and for and we applied to the numerical model given by relation (93), an input fault at each sample time as given in Figure 10. In Figures 11 and 12, we represent the trajectory references and the system outputs, respectively, for the first output and second output without FTC where we observe the influence of the input faults on the output systems. In Figures 13 and 14, we draw the system outputs and the reference trajectories in the case of FTC via MPC using nonlinear MIMO ARX-Laguerre multiple models, and in Figure 15, we plot the fault optimization.

Figure 10: Input faults in the case of FTC.

Figure 11: First output without FTC.

Figure 12: Second output without FTC.

Figure 13: First output in the case of FTC via MPC.

Figure 14: Second output in the case of FTC via MPC.

Figure 15: Input fault optimization.

7.1. Example 2: Communicating Two-Tank System

7.1.1. Description of the Experimental System

The proposed faults tolerant control scheme presented in this paper is tested on a MIMO nonlinear MIMO communicating two-tank system (CTTS). The picture of the MIMO CTTS is given in Figure 16, and its block diagram is represented in Figure 17. The CTTS contains two voltage-controlled motor pumps ( and ) which deliver the flow rates and inside of the tank 1 and the tank 2, respectively. Each tank is equipped with a level sensor and a valve for draining. This experimental process allows the control of both water levels and in tanks 1 and 2, respectively, (outputs) by tuning water flow rates and provided by the motor-pumps and (inputs). The notations used in Figure 17 are given in Table 1. The experimental process shown in Figure 16 operates as follows: the motor-pump fills the tank 1 with a flow rate and the motor-pump fills the tank 2 with a flow rate . The manual valves and ensure the draining of tanks 1 and 2, respectively, with flow rates and . Furthermore, if the levels and are different, a draining of tank 1 or 2 with the flow rate is performed through the interconnection valve .

Figure 16: Picture of the experimental CTTS.

Figure 17: Block diagram of the CTTS.

Table 1: Notations used for the CTTS system.

Motor-pump 1 with variable flow rate between 0 and at DC

Motor-pump 2 with variable flow rate between 0 and at DC

Manual drain valve of tank 1 of cross section

Manual interconnection valve between the two tanks of cross section

Manual drain valve of tank 2 of cross section

Electromagnetic valve of cross section

Flow rate provided by motor-pump 1

Flow rate provided by motor-pump 2

Flow rate between tanks 1 and 2

Flow rate drain of tank 1

Flow rate drain of tank 2

Three-way valve

Level sensor in the tank 1

Level sensor in the tank 2

The measurement platform and experimental process control represented in Figure 18 are characterized by the interface card plugged in the computer slot generating two PWM (pulse width modulation), the DAS-1600 card for the acquisition of water levels and and the control card of the variation of the flow rates and . This card transfers the PWM signals generated by the interface card to the motor-pumps and .

Figure 18: Block diagram of measurement and control of CTTS.

The nonlinear CCTS system can be described by a nonlinear MIMO model. In this paper, we will model this system by the proposed nonlinear MIMO ARX-Laguerre multiple models. In the following, the identified model is used to validate the MIMO MHE method proposed in Section 5 by the estimation of the actuator faults. Finally, we validate the proposed Algorithm 2 “MIMO nonlinear fault tolerant control via MPC” developed based on “nonlinear MIMO ARX-Laguerre multiple models.”

7.2. Identification of Nonlinear MIMO ARX-Laguerre Multiple Models

In this subsection, we validate the proposed nonlinear MIMO ARX-Laguerre multiple models to model the CTTS process. In this simulation, we fix the number of submodel to . The process inputs and were chosen to be pseudo-random sequence with variable amplitude between and as represented in Figure 19.

(a)

(b)

Figure 19: Process inputs and .

To describe the MIMO nonlinear CTTS by the proposed MIMO ARX-Laguerre multiple models, we use the output systems as decision variables . From the input/output couples, we use 2000 couples to identify the proposed nonlinear MIMO ARX-Laguerre multiple models where we applied the Algorithm 1 to identify the Fourier coefficients and the Algorithm 2 to optimize the poles for truncation orders . And, we use last 1000 couples to validate the identified model as represented in Figures 20 and 21.

Figure 20: Validation of first output of the CTTS process.

Figure 21: Validation of second output of the CTTS process.

7.3. Fault Tolerant Control for CTTS via MPC

To control the CTTS using the proposed fault tolerant control algorithm via MPC based on MIMO ARX-Laguerre multiple models Algorithm 3, we used the reference trajectories and and we applied to the CTTS process an input fault actuators and at each sample time as given in Figure 22. The weighting functions , for , are determined in terms of the reference trajectories. In Figures 23 and 24, we draw the trajectory references and the system outputs, respectively, for the first outputs and second outputs without FTC where we observe the influence of the input faults on the output systems. By considering the constraint to the actuator faults given by relation (97), the optimal actuator faults and are given in Figure 22. In Figures 25 and 26, we draw the system outputs and the reference trajectories in the case of FTC via MPC using nonlinear MIMO ARX-Laguerre multiple models. We compare Figures 23–26, and observe the elimination of the effect of the actuator faults on the outputs by using the proposed fault tolerant control algorithm:

(a)

(b)

Figure 22: Fault actuators and and the optimal values and .

Figure 23: Reference trajectory and first output in the case without FTC.

Figure 24: Reference trajectory and second output in the case without FTC.

Figure 25: Reference trajectory and first output in the case of FTC via MPC.

Figure 26: Reference trajectory and second output in the case of FTC via MPC.

8. Conclusion

In this paper, we have proposed a new MIMO nonlinear fault tolerant via model predictive control to control MIMO nonlinear systems by taking into account fault actuators. The MIMO nonlinear systems are described by a MIMO ARX-Laguerre multiple models. One more important advantage of the proposed MIMO ARX-Laguerre multiple models is that its structure and its reduced parameter number can facilitate the controller design problem and reduce the computational effort of the MIMO NFTC-MPC. The fault actuators estimation is assured by the MHE method with respect to these constraints on these faults. The proposed MIMO NFTC-MPC is synthesized by taking into account the estimation fault actuators. The optimization problem of the MIMO NFTC-MPC is a minimization of a quadratic criterion with respect to constraints on input signals. The control algorithm is easily solved and yields efficient results. The stability of closed-loop system is guaranteed with respect to the choice of the tuning parameters.

Appendix

A. Formulation of Recursive Representation

Defining by and , respectively, the filtered inputs and the filtered outputs by the orthonormal functions as

where denotes the convolutions product. The resulting model entitled MISO ARX-Laguerre sub-model given by (20) can be rewritten as

for . According to the BIBO stability condition, the infinite series of the proposed MISO ARX-Laguerre submodel given by (A.2) can be truncated, respectively, to finite orders and as

Then, we obtained a reduced complexity MIMO ARX-Laguerre multiple models where each MISO ARX-Laguerre multiple model is defined from relations (4) and (A.3) as

The Z-transform of relation (A.4) can be written as

where and are, respectively, the Z-transform of and written from (A.1) as

where and are the Z-transform of the Laguerre filters given by their recursive form as follows:

From the recursive form of the Laguerre filters given by relation (A.7) and (A.8), we can deduce a recursive form of and as follows:

Then, by applying the Z-transform inverse to relations (A.9) and (A.10) and by defining the following vectors,

we can compute the filters outputs and recursively as

where the matrices and and the vectors and are defined according to the poles and as

Defining the state vectors as

and the input vector and the output vector as

B. Proof of Proposition 1

By successive substitutions taking into account , relation (55b) leads to write as

also, can be written in terms of state vector increments :

By replacing in relation (A.19) by its expression given by (A.20) and after some arrangement we obtain

where, from (55a) and by successive substitutions, the state vector predictor is

By replacing in equation (A.21) by its expression given by (A.22) and after some arrangement we obtain

defining

equation (A.23) becomes

where is the -dimensional identity matrix and is the truncation order of the of the L submodel for each MISO submodel.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

A. H. Mohamed and A. M. Nassar, “New algorithm for fault diagnosis of photovoltaic energy systems,” International Journal of Computer Applications, vol. 114, no. 9, pp. 26–31, 2015.

M. Davoudi, E. Kamyab, and J. Sadeh, “Parameter-free fault location for transmission lines based on optimisation,” IET Generation, Transmission & Distribution, vol. 9, no. 11, pp. 1061–1068, 2015.

N. L. Georgijevic, M. V. Jankovic, S. Srdic, and Z. Radakovic, “The detection of series arc fault in photovoltaic systems based on the arc current entropy,” IEEE Transactions on Power Electronics, vol. 31, no. 8, pp. 5917–5930, 2016.

A. Mellit, G. M. Tina, and S. A. Kalogirou, “Fault detection and diagnosis methods for photovoltaic systems: a review,” Renewable and Sustainable Energy Reviews, vol. 91, pp. 1–17, 2018.

M. M. Morato, O. Sename, and L. Dugard, “LPV-MPC fault tolerant control of automotive suspension dampers,” IFAC-PapersOnLine, vol. 51, no. 26, pp. 31–36, 2018.

X. Peng, S. Jia, and X. Wang, “Analytic model predictive control of uncertain nonlinear systems: a fuzzy adaptive approach,” Mathematical Problems in Engineering, vol. 2015, Article ID 760490, 9 pages, 2015.

S. Gao and L. Luan, “The PVC stripping process predictive control based on the implicit algorithm,” Mathematical Problems in Engineering, vol. 2014, Article ID 838404, 8 pages, 2014.

K. Bouzrara, A. Mbarek, and T. Garna, “Non-linear predictive controller for uncertain process modelled by GOBF-Volterra models,” International Journal of Modelling, Identification and Control, vol. 19, no. 4, pp. 307–322, 2013.

D. Li and Y. Xi, “The synthesis of robust model predictive control with QP formulation,” International Journal of Modelling, Identification and Control, vol. 13, no. 1/2, pp. 1–8, 2011.

H.-t. Zhen, X.-h. Qi, J. Li, and Q.-m. Tian, “Neural network adaptive control of mimo systems with nonlinear uncertainty,” The Scientific World Journal, vol. 2014, Article ID 942094, 8 pages, 2014.

H. P. H. Anh and N. T. Nam, “Novel adaptive forward neural mimo narx model for the identification of industrial 3-dof robot arm kinematics,” International Journal of Advanced Robotic Systems, vol. 9, no. 4, p. 104, 2012.

Y.-X. Li, G.-H. Yang, and S. Tong, “Event-triggered adaptive fuzzy tracking control of nonlinear MIMO systems,” International Journal of Systems Science, vol. 49, no. 12, pp. 2618–2629, 2018.

A. Ajavon, K. M. Pekpe, and J. P. Cassar, “On efficiency of identification methods for mimo non linear system using Takagi Sugeno models,” IFAC Proceedings Volumes, vol. 44, no. 1, pp. 15000–15006, 2011.

I. Benabdelwahed, A. Mbarek, K. Bouzrara, and T. Garna, “Non-linear system modelling based on narx model expansion on Laguerre orthonormal bases,” IET Signal Processing, vol. 12, no. 2, pp. 228–241, 2018.

A. Sameh, M. Abdelkader, G. Tarek, and R. José, “Optimal multimodel representation by Laguerre filters applied to a communicating two tank system,” Journal of Systems Science and Complexity, vol. 31, no. 3, pp. 621–646, 2018.

G. Sarah, T. Garna, K. Bouzrara, J. Ragot, and H. Messaoud, “Online identification of the bilinear model expansion on Laguerre orthonormal bases,” International Journal of Control, vol. 87, no. 3, pp. 441–463, 2014.

T. Garna, K. Bouzrara, J. Ragot, and H. Messaoud, “Optimal expansions of discrete-time bilinear models using laguerre functions,” IMA Journal of Mathematical Control and Information, vol. 31, no. 3, pp. 313–343, 2013.

G. Marouani, A. Mbarek, T. Garna, and H. Messaoud, “Nonlinear model based predictive control using multiple models approach expanded on Laguerre bases,” WSEAS Transactions on Systems and Control, vol. 10, pp. 113–126, 2015.

M. Lauricella, M. Farina, R. Schneider, and R. Scattolini, “A distributed fault detection and isolation algorithm based on moving horizon estimation,” IFAC-PapersOnLine, vol. 50, no. 1, pp. 15259–15264, 2017.

K. Bouzrara, T. Garna, J. Ragot, and H. Messaoud, “Decomposition of an arx model on laguerre orthonormal bases,” ISA Transactions, vol. 51, no. 6, pp. 848–860, 2012.

I. B. Abdelwahed, A. Mbarek, and K. Bouzrara, “Adaptive MPC based on MIMO ARX-Laguerre model,” ISA Transactions, vol. 67, pp. 330–347, 2017.

A. Mbarek, K. Bouzrara, T. Garna, J. Ragot, and H. Messaoud, “Laguerre-based modelling and predictive control of multi-input multi-output systems applied to a communicating two-tank system (CTTS),” Transactions of the Institute of Measurement and Control, vol. 39, no. 5, pp. 611–624, 2017.