Volume 2013, Issue 1 937274
Research Article
Open Access

Model Predictive Control of Piecewise Affine System with Constrained Input and Time Delay

Zhilin Liu

Zhilin Liu

College of Automation, Harbin Engineering University, Harbin, Heilongjiang 150001, China hrbeu.edu.cn

Search for more papers by this author
Lutao Liu

Corresponding Author

Lutao Liu

College of Information and Telecommunication, Harbin Engineering University, Harbin, Heilongjiang 150001, China hrbeu.edu.cn

Search for more papers by this author
Jun Zhang

Jun Zhang

School of Electrical and Information Engineering, Jiangsu University, Zhenjiang, Jiangsu 212013, China ujs.edu.cn

Search for more papers by this author
Xin Yuan

Xin Yuan

College of Automation, Harbin Engineering University, Harbin, Heilongjiang 150001, China hrbeu.edu.cn

Search for more papers by this author
First published: 21 December 2013
Citations: 2
Academic Editor: Shen Yin

Abstract

A model predictive control (MPC) is proposed for the piecewise affine (PWA) systems with constrained input and time delay. The corresponding operating region of the considered systems in state space is described as ellipsoid which can be characterized by a set of vector inequalities. And the constrained control input of the considered systems is solved in terms of linear matrix inequalities (LMIs). An MPC controller is designed that will move the PWA system with time delay from the current operating point to the desired one. Multiple objective functions are used to relax the monotonically decreasing condition of the Lyapunov function when the control algorithm switches from a quasi-infinite horizon to an infinite horizon strategy. The simulation results verify the effectiveness of the proposed method. It is shown that, based on LMI constraints, it is easy to get the MPC for the PWA systems with time delay. Moreover, it is suitable for practical application.

1. Introduction

In engineering practice, there are many hybrid systems described by piecewise affine systems (PWA) which are composed of linear subsystems and convex polytopic regions. Hybrid systems are composed of discrete event dynamic systems and continuous time dynamic systems or discrete time dynamic systems, which interact with each other [1]. The hybrid system theory, which is proposed for the demand of the economic development, is the result of the development of computer science and control theory. Piecewise affine system is one of the most important branches of hybrid system [2]. It consists of some subsystems that integrate the logical and continuous dynamics by switching. Theoretically, any nonlinear system can be approximated as piecewise affine system [3, 4]. In [5], the PWA system is described as ellipsoid which can be characterized by a set of vector inequalities. In [6], the constraint of linear matrix inequalities (LMIs) is released. In terms of LMIs, the PWA system can be stabilized in Lyapunov theory.

Model predictive control (MPC), also known as receding horizon control, is a popular technique for the control of dynamical systems, such as those encountered in chemical process control in the petrochemical, pulp and paper industries, and in industrial hot strip mill [7]. MPC is also a popular technique for the control of dynamical system subject to input and state constraints. At any time instant, MPC requires the online solution of an optimization problem to compute-optimal control inputs over a fixed number of future time instants, known as the finite horizon or quasi-infinite horizon. Using MPC, it is possible to handle inequality constraints on the manipulated and controlled variables in a systematic manner during the design and implementation of the controller [8, 9]. MPC has become the control strategy of choice in industrial applications that typically involve linear systems subject to linear inequality constraints. However, industrial processes are in general inherently nonlinear and operated over a wide range of operating conditions [10, 11]. The use of multiple model/controllers is a common strategy in dealing with the complex of nonlinear systems and has led to the development of various multiple model/controller approaches. Considerable research has been focused on the development and utilization of multiple model/controller banks within the MPC framework [1214] in order to cope with nonlinear systems. The basis of these approaches is the decomposition of the systems full range of operation into a number of operating regimes in which a simpler local model and/or controller is applied. The local models and controllers are then incorporated to give a global model and/or controller.

Closed-loop stability in multiple model/control approaches has also been studied [15] since designing local controllers that stabilize each individual model may not result in a stable global closed-loop system. In general, the use of piecewise models in a control structure necessitates a means of switching among the available models to the one that best describes the current process dynamics. The switching from one model/controller to another based on a logical argument (supervisory scheme) results in a hybrid system. A closely related work is the stability analysis of piecewise linear systems by [16] in which piecewise quadratic Lyapunov functions were constructed using convex optimization in terms of linear matrix inequalities (LMIs) as an alternative to a globally quadratic Lyapunov function.

Time delay systems are very common in industry. However, few works on control algorithms development for time delay PWA system have been reported [17, 18]. Based on this concept, we propose a MPC control algorithms for the discrete polytopic time-delay PWA systems. The MPC controller of the considered systems is solved in terms of LMIs. The sufficient conditions of stability are derived for time-delay systems. The feedback control law is obtained by convex optimization involving LMIs. The simulation results verify the effectiveness of the proposed method.

Notation. The symbol * will be used in some matrix expressions to induce a symmetric structure. I denotes identity matrix. For example, when H and R are symmetric matrices, then
()

2. Problem Formulation

Consider a discrete time-delay PWA systems with input constraints:
()
where x(k) ∈ Rn is the state of the plant, u(k) ∈ Rm is the control input, and d is fixed time-delay constant. And bi is constant affine vector of the ith subsystem. i represents the switching rule, which makes value from finite set , and . Ai, Adi, Bi, and bi are sets of known real constant matrices with appropriate dimensions of the ith subsystem separately. The feedback control law is
()
Substituting (3) into inequality (2), we can get
()
where . Denote Xi as the state region where subsystem i is active at moment k, and there is no switch that occurred at moment k + 1 (see [5]), which is
()
Commonly, Xi is ellipsoid set. The dimension of Xi is less than the dimension of state. To stabilize the PWA system (2), a state feedback control law is solved by defining a quadratic Lyapunov-Krasovskii function:
()
By solving the following two problems, the feedback control law is obtained.

Problem 1. Find a piecewise affine state feedback controller that exponentially stabilizes the PWA system when x(k) ∈ Xi, x(k + 1) ∈ Xi.

Problem 2. It is the same as Problem 1 at the switching moment when x(k) ∈ Xi, x(k + 1) ∈ Xi+1.

Lemma 3. The state region Xi can be described as same ellipsoids Xiɛi, where ɛi = {x∣∥Eix + ei∥ ≤ 1}. Denote the ellipsoid Xi as the quadratic inequalities (see [5]):

()
More precisely, if , then the degenerate ellipsoid is described by
()
Finally, it is assumed that the control objective is to stabilize the system to a given point xcl. With the change of coordinates z = xxcl, the problem is transformed to the stabilization of the origin. Accordingly, the ellipsoid changes into
()
where .

Assumption 4. In application of this formulation to multiple regions, we assume that we know the order of regions that the states will go through starting from the current region of the system to the terminal region.

Assumption 5. We also assume that we know the number of moves that the system has to take to go from one region to another adjacent operating region.

3. Main Result

Model predictive control, also known as moving horizon control or receding horizon control, has become very successful in process industries, especially in the control of processes that are constrained, multivariable and uncertain. In general, MPC solves online an open-loop optimal control problem subject to system dynamics and constraints at each time instant and implements only the first element of the control profile. At each sampling time k, plant measurements are obtained and a model of the process is used to predict future outputs of the system. Using these predictions, m control moves u(k + mk), are computed by minimizing a nominal J(k) over a prediction horizon as follows:
()
()
where QI > 0, R > 0 are symmetric weighting matrices, n is control horizon, x(k + mk) is state at time k + m predicted based on the measurements of system (2) at time k. u(k + mk) is control move at time k + m computed by solving the optimization problem (10) at time k, u(k + mk) is implemented to the system at time k, and then in time k + 1, the maximization problem is solved by deriving an upper bound on the objective function J(k) based on the measurements of new states of system. The control law is obtained by convex optimization based on MPC involving LMIs and ellipsoids constraints (7), which is suitable to practical application.

In this section, the problem formulation for MPC using piecewise linear models of the form (2) is discussed. The aim is to find a sequence of control input signals u(k + nk) that will move the system from the current operating point to the desired one. The authors of [19] presented an MPC design technique (min-max MPC) in which the minimization of the nominal objective function was modified to a minimization of the worst case objective function. In this work, we extend this formulation using piecewise affine model with time delay.

Theorem 6. Consider a time-delay PWA system (2) with several operating points, where i denotes the active PWA model and Xi+1 shows the corresponding operating region which if described by |Ei+1x + ei+1| ≤ 1 with xXi+1. u(kk) ⋯ u(k + nk) are sequences of control inputs to the PWA system. The states of PWA system (2) are steered from Xi to X(i+1) in n steps, where n is control horizon constant. If there exist Yi+1 = Ki+1Q, Q ≥ 0, W > 0, γ > 0, ξ > 0, and a sequence of u(kk) ⋯ u(k + nk) satisfy the following LMI (12)–(16), the sequence of control input signals will move the system from the current operating region to the desired one, until to the origin of the system.

The modified MPC law is given by
()
()
()
()
()
where x(k + 1∣k) ⋯ x(k + n + 1∣k) are computed iteratively by (2) as follows:
()
and Σ = Ai+1Q + Bi+1Yi+1, .

Proof (1) Upper Bound on the Objective Function. The objective function can be split into two parts:

()
where
()
It is also assumed that the number of moves n required for the system to transition from one part Xi to the next desired part X(i+1) is prespecified. Using quadratic Lyapunov-Krasovskii function, the upper bound on the objective function is given as
()
Suppose V(x(k)) satisfies the following inequality:
()
with the conditions V(x(k)) = 0 and x(k) = 0. Summing (21) from m = n + 1 to m = gives
()
Then, the minimization of the upper bound on the objective function is derived as
()
where P = γQ−1 > 0 and W = γS−1 > 0. Using the S-procedure [6], we get (15).

(2) The Stability of Inequality with Ellipsoids Constraints. In this section, the aim is to design an MPC controller in which the minimization of the nominal objective function was modified to a minimization of the worst case objective function. A thorough discussion of the previous problems can be found in [19]. The objective function of MPC in [19] is

()
where
()
In this section, the objective function min J(k) is replaced by
()
()
In this section, the MPC formulation given in [19] is extended to PWA system with form (2) that has polytopic and ellipsoid approximations for the operating region Xi. The previous inequalities (27) are the stability constraints for subsystem i + 1. Inequalities (27) can guarantee the PWA system to be steered from Xi to Xi+1 in n steps. The control inputs u(k + mk), m = 0,1 … n are a sequence of free variables, based on the input constraints. If Xi+1 is not the terminal operating ellipsoid region, we apply u(k + mk), m = 0 … n to PWA. Once Xi+1 is the terminal operating ellipsoid region, the feedback control law u(k) = Ki+1x(k) is running to reduce the calculation. The quadratic ellipsoid inequality (10) is equivalent to
()
where .

Substituting (20) into (21) gives

()
where
()
Using the S-procedure [6] into (28) and (29), we get λ > 0,
()
where
()
By Schur complements, this is equivalent to
()
Substituting P = γQ−1 and pre- and postmultiplying by gives
()
where . Pre- and postmultiplying by diag [Q I I I] gives
()
where
()
This is equivalent to
()
Substituting W = γS−1 > 0, ξ = γλ−1, pre- and postmultiplying by
()
we get the inequality (16) by multiple Schur complements.

(3) Input Constraints. It is also possible to incorporate input constraints. We consider bounds on input at time k such as

()
Inputs can be split into sequences:
()
where u(kk),u(k + 1∣k) ⋯ u(k + nk) are free variables and Ut are future control moves in the terminal region given by the state feedback law.

(1) If PWA does not switches to the terminal operating ellipsoid region, the sequences u(k + mk), m = 0 … n are free variables satisfying |u(k + m)| ≤ umax , m = 0 … n.

(2) If PWA switch to the terminal operating ellipsoid region,

()
where Ki+1 is state feedback matrix, which is equal to LMI (13).

Using the previous techniques, the problem of minimizing an upper bound on the worst-case objective function, subject to input and terminal operating ellipsoid constraints, is reduced to a convex optimization of {u(kk), u(k + 1∣k) ⋯ u(k + nk), Ut} in terms of LMIs (12)–(16).

Remark 7. Although derived for a time-delay PWA system with ellipsoidal partitions, the optimization problem LMI (16) gives a feasible solution only when , which means the ellipsoidal region Xi does not contain origin [5]. When the ellipsoidal region contains origin, it is assumed that bi = 0. For convenient notion, we get LMI (16) as follows:

()

Remark 8. If the ellipsoidal region Xi contains origin, it is necessary to substitute (42) into (16) to get a feasible solution.

4. Simulation Result

4.1. Example for Autonomous Land Vehicle

We use the ALV (autonomous land vehicle) model formulated by [20] in this simulation. The objective is to design a controller that forces a cart on the xy plane to follow the straight line y = 0 with a constant velocity u0 = 1 m/s (see Figure 1). We assume that a controller has already been designed to maintain a constant forward velocity. The carts path is then controlled by the torque T about z-axis according to the following dynamics:
()
where ψ is the heading angle with time derivative ω, I = 1 kgm2 is the moment of inertia of the cart with respect to the center of mass, k = 0.01 Nms is the damping coefficient, and T is the control torque. Due to the limitation of power of the drive motor, the maximum control torque T is roughly 8 Nm. Approximately the control constraint is |T| ≤ Tmax  = 8. The states of the system are (x1, x2, x3) = (φ, ω, y). We assume that the trajectories can start from any possible initial angle in the range φ0 ∈ [−3π/5,3π/5] and any initial distance from the line. The function sin(ψ) is approximated by a piecewise affine function yielding a piecewise affine system with 5 regions as follows:
()
To illustrate the proposed results on the time-delay systems, we assume that the system x2(t) is perturbed by time delay and the delay model is given as
()
Details are in the caption following the image
Underactuated surface vessel.
The constant α is the retarded coefficient [21], which satisfies the conditions: α ∈ [0,1]. The limits 1 and 0 correspond to no delay term and to a completed delay term, respectively. In this example, we assume α = 0.7. We construct the following time-delay PWA system:
()
where , , , B1,2,3,4,5 = [0 1 0] T, , b1 = [0 0 −0.757] T, b2 = [0 0 −0.216] T, b3 = [0 0 0] T, b4 = [0 0 0.216] T, b5 = [0 0 0.757] T, umax  = 8.

τ = 2 is the time-delay constant. We construct the discrete system by sampling T = 0.02 s, and initial state x(0) = x(−1) = x(−2) = [π/2,0, 3] T. By applying Theorem 6, we get the simulation results.

Figures 2 and 3 are the simulation results. Figure 2 shows the state response of the PWA system with time delay. Obviously, all of the states are stable. Figure 3 shows control input action. Physical limitations in ALV impose hard constraints on the torque input. The simulation result in Figure 3 shows that state feedback control strategy can stabilize the PWA system with time-delay subject to input constraints. In this section, the simulation shows the specified constraints on the torque input variable are satisfied.

Details are in the caption following the image
States trajectories.
Details are in the caption following the image
Control action.

4.2. Example for Nonlinear Circuit

This example considers a circuit with a nonlinear resistor taken from [5] and shown in Figure 4 with time in 10−10 seconds, the inductor current in mA, and the capacitor voltage in Volts, and the dynamics are
()
Details are in the caption following the image
A circuit with a nonlinear resistor.
Following [5], the characteristic of the nonlinear resistor is described as g(x2), which is defined to be the piecewise-affine function shown in Figure 5. The corresponding polytopic regions are generated as follows:
()
where L = 100. X1,2,3 are described as ellipsoids in (10) with the following parameters: E1 = E3 = [0,0.01], E2 = [0,5], e1 = 1.0044, e2 = 1.2145, and e3 = 0.9996.
Details are in the caption following the image
Characteristic of the nonlinear resistor.
By using Lemma 3 and the characteristic of the nonlinear resistor, the dynamics (47) is transformed to the PWA system as follows:
()
Respectively, the open-loop equilibrium points of X1, X2, and X3 are , , and . The objective is to design a piecewise-affine state feedback controller to steer the original state x(0) to close-loop equilibrium ; at the same time the control input constraints |u| ≤ 1(V) must be satisfied.
Using forward differential , we get the following PWA with time delay, where T = 0.002 s, and initial state is selected as x(0) = x(−1) = x(−2) = [0.5;   0.1] ∈ X1. To illustrate the proposed results on the time-delay system, we assume that the system x2(t) is perturbed by time delay and the delay model is given as
()
The constant α is the retarded coefficient [21]. In this example, we assume α = 0.7. τ = 2 is the time-delay constant, where , , , , B1,2,3 = [20 0] T, b1 = [0 −0.1422] T, b2 = [0 0.0129] T, and b3 = [0 0] T. By applying Theorem 6, we get the following simulation results.

Figures 6 and 7 show the state response of the PWA system with time delay. Trajectory of the current and voltage shows that the original states are steered from X1 to close-loop equilibrium in X3. Obviously, all of the states are stable. Figure 8 shows the control input action. The simulation result shows that state feedback control strategy can stabilize the PWA system with time delay subject to ellipsoid constraints. Moreover, the constraint on the control input is satisfied.

Details are in the caption following the image
Trajectory of the current.
Details are in the caption following the image
Trajectory of the voltage.
Details are in the caption following the image
Control input.

5. Conclusion

This work presented a stabilizing multimodel predictive control algorithm which has a contractive constraint to guarantee closed-loop stability. Moreover, the stability of the closed-loop is analyzed by employing the Lyapunov functions approach. Depending on the system state (in the terminal region or outside) the corresponding Lyapunov functions are assigned. The use of multiple objective functions has enabled us to relax the monotonically decreasing condition of the Lyapunov function when the control algorithm switches from a quasi-infinite horizon to an infinite horizon strategy. We have developed a new controller design technique for MPC of piecewise affine systems with time-delay and input constraints. The two simulation examples proposed in Section 4 show that the driving moment (in example 1) and control voltage (in example 2) are limited in amplitude, which makes MPC approach a natural choice for the design of the controller with hard constraints. The technique in this paper leads to convex LMIs based online optimization problem when the local operating regions of the piecewise linear model family are described by ellipsoids. Perhaps the principal shortcoming of MPC proposed is their inability to explicitly incorporate plant model uncertainty. MPC involving data-driven technique is suitable to overcome the previous problem [7, 10, 11, 22, 23]. And it should also be noted that the controller proposed in this paper is developed with known order of regions. In the future work, efforts will be made to design the data-driven MPC controller with uncertain model parameters and switching order.

Acknowledgments

The authors are grateful to the reviewers for their valuable comments. This work is partially supported by National Natural Science Foundation of China (51379044, 61304060, 61201410, and 61104037), Fundamental Research Funds for the Central Universities (HEUCF130804), and Heilongjiang Province Natural Science Foundation Projects (F200916).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.