Abstract

A delay-range-dependent robust constrained model predictive control is proposed for discrete-time system with uncertainties and unknown disturbances. The dynamic characteristic of the discrete-time system is established as a new extended state space model in which state variables and output tracking error are integrated and regulated independently. It is used as the design of control law of system, which cannot only guarantee the convergence and tracking performance but also offer more degrees of freedom for designed controller. Unlike the traditional robust model predictive control (RMPC), the novel, less conservative, and more simplified delay-range-dependent stable conditions are derived by linear matrix inequality (LMI) theory and some relaxed technologies, which make use of the information of the upper and lower bounds of the time-varying delay. Meanwhile, the performance index is introduced in the RMPC controller design, which can reject any unknown bounded disturbances. As a result, the design controller has better abilities of both tracking and disturbance rejection. The control results on the liquid level of tank system show that the proposed control method is effective and feasible.

1. Introduction

As the rapid development of the modern industry, there are increasing demands for higher product quality and system performance. These demands are in need of more system reliability and safety. The traditional control methods such as PID [1] can gurantee the system reliability and safety to achieve the smooth and effective operation in industrial production. However, due to the multivariable characteristic, multiconstraints, and large time delay for many industrial processes, the conventional approaches are incapable and insufficient.

Therefore, the advanced control technologies [28] have attracted more and more attention in the past few decades. Among them, model predictive control (MPC) is recognized as the most efficient and application potential advanced process control methodology, which has acquired huge economic profits on thousands of industrial control systems all over the world [9]. In general, MPC can be divided into two categories as follows.

First is the study of control algorithm and then to prove the stability of proposed method. Initially, a few industrial predictive control algorithms were proposed based on industrial demands, which are composed of model predictive heuristic control (MPHC) [10], dynamic matrix control (DMC) [11], generalized predictive control (GPC) [12], and predictive functional control (PFC) [13]. Since then, in order to obtain a better control performance, many improved methods about MPC have been exploited in various fields [1419], especially in industrial processes [1824]. But these methods need more tests to determine the control parameters in practical application. Meanwhile, the quantitative analysis of them also encountered insurmountable bottlenecks.

Second is the research about designing the control approach based on the premise of the stability of system. Taking advantage of optimal control theory, Lyapunov analysis method, linear matrix inequality (LMI) theory, invariant set, and other mature theories, theoretical studies about MPC have achieved a new breakthrough and obtained abundant results, in which the researches of robust model predictive control (RMPC) get more attention. RMPC combines the advantages of robust control and MPC, which can improve poor control performance because of considering the uncertainties of model. It was discussed by a host of researchers from various fields [2530].

Time delay usually occurs in industrial processes, which may lead to the poor performance and instability of system. Hence, some researches about the stability of systems with time delay were presented [7, 8, 3135], in which RMPC with time delay has been extensively reported in the past several years [3646]. In [3941], some designed approaches about MPC with time-delay-free were proposed, which are delay-independent. They have more conservative results than the delay-dependent ones. References [37, 45, 46] proposed the delay-dependent robust MPC for discrete-time delay system with input constraints by LMI technology. But the time delay of these methods is constant, which still exist some limits. For this reason, limited results [36, 38, 4244] with respect to delay-dependent RMPC for system with time-varying delay were presented. Bououden et al. [36] investigated the problem of RMPC for active suspension systems with time-varying delays and input constraints. Li et al. [42] studied the RMPC for discrete-time systems with time-varying delay and input constraint, but they did not take advantage of the information of the upper and down bounds of time-varying delay to structure Lyapunov function, which increases some conservative property in stability analysis. Liu and Zhang [43] proposed a delay-dependent RMPC algorithm for linear parameter-varying systems with polytypic description. Lombardi et al. [44] solved the robust control design problem for linear time invariant systems affected by variable feedback delay. Franzè et al. [38] dealt with networked control system problem subject to time-varying delays and data losses. Unfortunately, in aforementioned results, performance of disturbance has not been considered, which is important in practical industrial application. Meanwhile, the derivation of stability for them is conservative in some way. Different from these present researches, the main contributions of this paper are summarized as follows. (1)The novel extended state space model with state delay and uncertainties is used to describe the dynamic characteristic of the discrete-time system. It is used as the design of the control law, which not only guarantees the convergence and tracking performance but also offers more degrees of freedom for designed controller.(2)A differential approach is used to construct the Lyapunov-Krasovskii function candidate without some redundant free-weighting matrices that takes advantage of the information of the lower and upper bounds of the time-varying delay. It can avert the bounding and model transformation techniques for cross terms with differential inequality. The novel, less conservative, and more simplified delay-range-dependent stable conditions are given under the time-varying state delay, uncertainties, unknown disturbances, input constraints, and output constraints during the derivation of stability.(3)The performance index is introduced in the derivation of stability for proposed RMPC which can reject any unknown bounded disturbances.(4)The control results on the liquid level of tank system show that the proposed control method has better abilities of both tracking and disturbance rejection.

The paper is organized as follows: a problem formulation is presented in Section 2. Section 3 details the novel control strategy. Section 4 presents a case study in a tank system. Conclusions are presented in Section 5.

2. Problem Formulation

A practical industrial process, such as injection molding [47], is often represented as the following discrete-time state space form with state delay and uncertainties. where , , , and are the state, input, output, and unknown external disturbance at discrete time . denotes the discrete time-varying delay depending on discrete-time which satisfies where and are the upper and down bounds of delay, respectively. , is uncertainty set. , , , , , , and are the constant matrices corresponding to appropriate dimensions, and , and are uncertain perturbations at discrete-time that follows with where , and are known constant matrices with appropriate dimensions. are uncertainties depending on discrete-time .

In practice, the controller is operated at or near such constraints for the input and output variables in order to get the most efficient or profitable operations in many industrial cases. The corresponding constraints for system (1) can be viewed as where and denote the bounds for the input and output variables, respectively. Therefore, for the system (1) with the constraints (5) and uncertainty set , the control goal of MPC problem can be obtained by minimizing the following robust cost function: where and denote the predictive input and output for discrete-time made at discrete-time . and are the corresponding weighting matrices of tracking error and control input, respectively.

The control problem is to derive the control law of the following controller design in order to ensure the expected control performance under the case of uncertainties, time-varying delay, unknown disturbances, and the input and output constraints.

Remark 1. Equation (6) is a “min-max” optimization problem. The “max” is to search the largest or “worst-case” value of within the uncertainty set . The “min” is to search the current and future control variable to minimize the worst-case value. The “min-max” problem is not tractable under the finite horizon for MPC method. In general, the traditional strategy of RMPC with time-varying delay [36, 38, 4244] is to design the state feedback control law that minimizes a “worst-case” infinite horizon performance index (6). Using linear matrix inequality (LMI) theory, the infinite horizon optimization problem can be converted into a convex optimization with LMI constraints. Then, based on MPC principle, only the current control law is implemented at discrete-time and the optimization problem is repeated by the new state information at discrete-time .

3. New Control Strategy

3.1. Novel State Space Model with State Delay and Uncertainties

Pre- and postmultiplying (1) by back shift operator , we can obtain as follows: where ,

Define the set-point as , then the tracking error is

Using (7) and (8), we can obtain

The novel state space model with state delay and uncertainties is presented by the combination of tracking error and incremental state variable as follows: where

Remark 2. Equation (10) is the novel state space model including the state variables and the output tracking error variable of process, which actually can regulate the dynamic response of the process state and output tracking error separately. This feature will be used as the design of the proposed controller that not only guarantees the convergence and tracking performance but also offers more degrees compared with conventional control approach.

Therefore, based on the above analysis, the control law is designed as follows: where is the constant gain of proposed controller which can be calculated by the following design. Then, (10) can be transformed as where

Definition 1 (Robust MPC problem). Given the discrete-time system (13) with uncertainties and state measurement at discrete-time , , the robust MPC problem is feasible if the optimization problem is solvable.

Remark 3. is the extended state variable for discrete-time made at discrete-time . is the corresponding weighting matrices of extended state variable. Assume that the extended state variable including incremental state variables and tracking error at discrete-time can be measured in real-time. It is easy to achieve such assumption because the tracking error is calculated in practice and the incremental state variables also can be obtained by selecting the measured input and output variables and their past values as state variables. Therefore, it can satisfy the control requirement to use the state feedback control (12) in this controller design.

Definition 2. The uncertain discrete-time system (13) is robust control, if there exists a scalar for any and the following conditions hold for all admissible uncertainties. (1)The resulting discrete-time close-loop system (13) with is asymptotically stable.(2)The system output satisfies under the zero initial condition.

Remark 4. To reject the unknown bounded disturbances including internal and external disturbances, the robust performance is introduced in this paper. Smaller values of demonstrate better rejection performance or smaller sensitivity against the disturbances.

3.2. Robust Constrained Controller Design

The main objective of this section is to design robust constrained control law that guarantees the robust stability of system (13). The main theorem and corollary are summarized as follows.

Lemma 1 (Schur complements lemma [48].) Let , and be matrices of appropriate dimensions in which and are real matrices, then for if and only if

Lemma 2 (see [49]). For any vector , two positive integers , and matrix , the following inequality holds

Lemma 3 (see [50]). Let , and be real matrices of appropriate dimensions with satisfying , then for all , if and only if there exists such that

Theorem 1. Given some scalars , , the delay-range-dependent sufficient condition for the proposed controller that ensures the uncertain discrete-time closed system (13) with to be asymptotically controllable under the input and output constraints is that there exist symmetric positive matrices , and , such that the following LMI holds and the robust state-feedback controller gains are given by , where , , and denotes the transposed elements in the symmetric position.

Proof 1. To ensure robust stability of discrete-time close-loop system (13) with , letting that satisfies the following robust stability constraint: Summing up both sides of (24) from to and needing that or , it has where is the upper bound of . We construct the following Lyapunov-Krasovskii function candidate. where for simplicity, define the following notations: , and are positive definite matrices. Let We can obtain Then, where Using Lemma 2, it has From (24), it can obtain where Based on (30), (32), and (33), it has where , , , and . Using Lemma 1, we can obtain the following LMI condition by letting . In order to obtain delay-range-dependent sufficient (20), we only need to pre- and postmultiply LMI (36) by and let , , , , .
Therefore, if the sufficient (20) holds, the asymptotical stability of the discrete-time close-loop system (13) with will be guaranteed. Taking the maximum value of , , it has where . Letting , it can obtain the sufficient (21) using Lemma 1.
For the input constraint in (14), it has which is less than by (22).
For the output constraint in (14), it has which is less than by (23). Taking the maximum value of , it has .
Therefore, the input and output constraints in (14) are guaranteed by (22) and (23). This completes Proof 1.

Remark 5. Different from traditional method [5153], a differential approach is employed to construct the Lyapunov-Krasovskii function candidate without some redundant free-weighting matrices that take advantage of the information of the lower and upper bounds of the time-varying delay. The novel and less conservative delay-range-dependent stable condition (20) that averts the bounding and model transformation techniques for cross terms using differential inequality is derived. In addition, the more simplified input and output constraint conditions (22) and (23) and invariant set (21) are also derived using some relax technique. If the time-varying delay reduces to constant delay, the following Corollary 1 is given. Therefore, it is more comprehensive to take into account the delay in this paper.

Corollary 1. Given some scalars , , the delay-dependent sufficient conditions for the proposed controller that ensures the uncertain discrete-time closed system (13) with to be asymptotically controllable under the input and output constraints are that there exist symmetric positive matrices , , , , , , , , , , and , such that the following LMI holds where , , , ,

Proof 2. Choose the following Lyapunov function candidate. where Then, Corollary 1 is derived similarly to Proof 1.

Theorem 2. Given some scalars , , and , the delay-range-dependent sufficient conditions for the proposed controller that ensure the uncertain discrete-time closed system (13) with to be asymptotically controllable and to be a performance less than under the input and output constraints are that there exist symmetric positive matrices , , , , , , , , , , , and and positive scalars , such that the following LMI holds and the robust state-feedback controller gains are given by , where

Proof 3. To build the performance of the uncertain discrete-time closed-loop system (13) with zero initial condition, we define the following performance index. Then, for any with nonzero, it is obvious that yet Based on Proof 1 and the delay-range-dependent sufficient condition (42), we can obtain that Therefore, the performance index is guaranteed. This completes Proof 3.

Remark 6. Theorems 1 and 2 are sufficient conditions for designed proposed controller that robustly stabilizes uncertain discrete-time closed system (13), which can guarantee the and optimization performances. Similarly, the special case for constant delay is given in Corollary 2.

Corollary 2. Given some scalars , , and , the delay-dependent sufficient conditions for the proposed controller that ensures the uncertain discrete-time closed system (13) with to be asymptotically controllable and to be a performance less than under the input and output constraints are that there exist symmetric positive matrices , , , , , , , , , and and positive scalars , such that the following LMI holds and the robust state-feedback controller gains are given by , where The proof is omitted.

Remark 7. Based on the different disturbance cases, the final objective of all of the theorems and corollaries is to use those sufficient conditions to solve the control law (12) for proposed delay-range-dependent robust constrained model predictive controller. Therefore, the control law with the form (12) can be got. Substituting (12) into (1), the better control performance can be achieved for the system with under uncertainties, time-varying delay, unknown disturbance, input constraints, and output constraints.

4. Case Study in a Tank System

4.1. System Description

In this study, the tank system (TTS20) [54] in Figure 1 made by Ingenieurbüro Gurski-Schramm Company is used as a simulation object, because it can imitate a part or whole of many controlled process in practical industry. The principal structure and overall process flow of the TTS20 are shown in Figure 2.

The plant is composed of three plexiglas cylinders T1, T3, and T2 with the cross section A. These are connected serially with each other by cylindrical pipes with the cross section . Located at T2 is the single so-called nominal outflow valve. It also has a circular cross section . The outflowing liquid (usually distilled water) is collected in a reservoir, which supplies the pumps 1 and 2. Here, the circle is closed. denotes the highest possible liquid level. In case the liquid level of T1 or T2 exceeds this value, the corresponding pump will be switched off automatically. and are the flow rates of the pumps 1 and 2. In addition, for the purpose of simulating leaks, each tank additionally has a circular opening with the cross section and a manually adjustable ball valve in series. Here, the drain valve and the discharge of water leak can describe the fault information of water tank.

The distilled water from reservoir is injected into T1 and T2 by the pump 1 (P1) and pump 2 (P2), respectively. Then, the water from their bottom valve and T3 drain valve is excluded to the reservoir for supply of P1 and P2 and this forms a circuit. Among them, T1, T2, and T3 are measured by three pressure level sensors as a measurement element of the system, and the flow rates of and are adjusted by a digital controller.

4.2. Process Model

Through the combination of P1, P2, the cylindrical valve, and water tank leakage valve, tank system can be easily converted into a single-input single-output, or multiple-input multiple-output system, or first order, second order, and third order models. The diagram of principle structure to define the variables and parameters of TTS20 is shown in Figure 3. Here, we only open the cylindrical valve between T1 and T3 and the water tank leakage valve of T3. The flow rate of P1 is as the control input of system, and the level of T1 in the liquid level is as the output of system. Therefore, the tank is transformed into a single-input single-output (SISO) model by adjusting the flow rate. The SISO model of the TTS20 is where chosen as the controlled variables are the height of water level in T1 and T3, respectively, chosen as the manipulated variable of the system is the flow rate of P1, is the flow rate from T1 to T3, is the leakage flow in the bottom of T3,  m2,  m2,  m, , and are the outflow coefficients, and is the symbolic function. The initial values of are set as 0. The state variables and the input are

With local linearization to (53) in operating points 0.33 , the SISO discrete-time state space model with state delay, uncertainties and unknown disturbance for TTS20 is where in which is a random number within .

Remark 8. In (55), it is assumed that the process has the characteristics of state delay, uncertainties and unknown disturbance. These characteristics are common for many industrial processes. In order to deal these conditions, it is assumed in the simulation case of the tank system.

4.3. Simulation Results

For the comparison, the model (55) is used as the traditional robust constrained MPC and proposed method in this paper, respectively. The input and output constraints are

The set point for two methods is set as

In order to describe the tracking performance, the following index is used.

To analyze the effect of , three groups of different , , , and , are used in the proposed method and the result is shown in Figure 4, in which the weighting matrices is fixed to be 0.1. From Figure 4, it can be seen that the speed of the tracking performance is descending for the three values as becomes large. This indicates that large value of this weighting matrix will result in smoother convergence, but the slower response to process output. The same control effect of , three groups of different , ,, and , are shown in Figure 5, in which the weighting matrix . Therefore, through repetitive test, the control parameters of the proposed method are chosen as , . And the parameters of the traditional RMPC method are set as , .

The proposed control method used in water level of the tank system compared with conventional control is shown in Figure 6. It can be seen that better tracking and stronger disturbance rejection are shown as follows. Figure 6(a) shows the output response under the proposed and conventional method. It can find an obvious bigger overshoot under the conventional approach. Although the conventional method can achieve the tracking for the changes of the set point, the proposed approach has better tracking performance. Figure 6(b) shows the effect with regard to control input. From the figure, it can be found that the proposed method has a smoother action to track the changes of the set point and overcome the uncertainties and unknown disturbance. Meanwhile, the output response and control input for both methods can remain within the given conditions of constraints. Simply put, the proposed control method has a few better abilities of both tracking and disturbance rejection under the input and output constraints.

5. Conclusion

A new delay-range-dependent robust constrained MPC is proposed for discrete-time system with uncertainties and unknown disturbances in this work. The system is constructed as a new extended state space model in which state variable and tracking error are integrated and regulated independently, which not only guarantees the convergence and tracking performance but also offers more degrees of freedom for designed controller. By structuring a Lyapunov-Krasovskii function candidate, a novel, less conservative, and more simplified delay-range-dependent stable conditions combined with performance index are obtained in terms of LMI. An industrial case study on the liquid level of tank system shows that the proposed control method has better abilities of both tracking and disturbance rejection under the input and output constraints.

Because of the strong nonlinearity in many industrial processes such as polymerization process cannot be described by the simple linear model, how to solve such problem causes a great challenge. Recent works have demonstrated that the Takagi-Sugeno (T-S) model or neural network model is good at addressing nonlinear dynamic leading to the motivation of integrating either of the above modeling method with RMPC to achieve a new RMPC control scheme for nonlinear industrial processes, which will be some interesting issues as our future works.

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 competing financial interest.

Acknowledgments

The study was supported by the National Natural Science Foundation of China Project (61673199), Natural Science Foundation of Liaoning Province Project (2013020024, 20180550905), the Program for Liaoning Excellent Talents in Universities (LJQ2015061, LR2015034), and the Open Research Project of the State Key Laboratory of Industrial Control Technology, Zhejiang University, China (ICT1800400).