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 [12–14] 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
(1)[H*TR]=[HTTTR].
2. Problem Formulation
Consider a discrete time-delay PWA systems with input constraints:
(2)x(k+1)=Aix(k)+Adix(k-d)+Biu(k)+bi,x(k)=φ(k),∥u∥2≤umax,x(k)∈Xi,-d≤k≤0,k=0,1,…∞,
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 N¯, and i∈N¯={1,2,…,N}. 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
(3)u(k)=Kix(k).
Substituting (3) into inequality (2), we can get
(4)x(k+1)=A¯ix(k)+Adix(k-d)+bi,
where A¯i=Ai+BiKi. 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
(5)Xi={x(k)∈Rn∣∃k≥0,x(k)∈Xi,x(k+1)∈Xi}x(k)∈Rn2∃k≥0,x(k)x(k+1)∈Xi,i,j∈N¯.
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:
(6)V(x(k))=xT(k)Pix(k)+∑j=1dxT(k-j)Sx(k-j),
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]):
(7)[x(k)1]T[EiTEi*eiTEi-1+eiTei][x(k)1]≤0.
More precisely, if d1<CiTx<d2, then the degenerate ellipsoid is described by
(8)Ei=2CiT(d2-d1),ei=-(d2+d1)(d2-d1).
Finally, it is assumed that the control objective is to stabilize the system to a given point xcl. With the change of coordinates z=x-xcl, the problem is transformed to the stabilization of the origin. Accordingly, the ellipsoid changes into
(9)ɛi={z∣∥Eix+eicl∥≤1},
where eicl=ei+Eixcl.
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+m∣k), are computed by minimizing a nominal J∞(k) over a prediction horizon as follows:
(10)J∞(k)=∑m=0∞[xT(k+m∣k)QIx(k+m∣k)=∑m=0∞[+uT(k+m∣k)Ru(k+m∣k)](11)s.t.x(k+m+1∣k)=Aix(k+m∣k)+Adix(k-d+m∣k)+Biu(k+m∣k)+bi,x(k+m∣k)∈Xi,m=0,1…n,x(k+n+1∣k)∈Xi+1,∥u(k+m∣k)∥2≤umax,m=0,1,…∞,
where QI>0, R>0 are symmetric weighting matrices, n is control horizon, x(k+m∣k) is state at time k+m predicted based on the measurements of system (2) at time k. u(k+m∣k) is control move at time k+m computed by solving the optimization problem (10) at time k, u(k+m∣k) 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+n∣k) 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 x∈Xi+1. u(k∣k)⋯u(k+n∣k) 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(k∣k)⋯u(k+n∣k) 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
(12)minγ,u,Q,W,Yiγ,(13)s.t.[umax2IYi+1Yi+1TQ]≥0,(14)|u(k+m∣k)|≤umax,m=0⋯n,(15)[1**********QI1/2x(k∣k)γI000000000⋮⋮⋱00000000QI1/2x(k+n∣k)00γI0000000R1/2u(k∣k)000γI000000⋮⋮⋮⋮⋮⋱00000R1/2u(k+n∣k)00000γI0000x(k+n∣k)000000W000⋮⋮⋮⋮⋮⋮⋮⋮⋱00x(k+n+1-d∣k)00000000W0x(k+n+1∣k)000000000Q]>0,(16)[Q******0W-1Adi+1T0000ΣAdi+1Ξbi+1ei+1Tξ000Ei+1Q0ξei+1bi+1Tt000QI1/2Q000γI00R1/2Yi+10000γI0Q00000W]>0,
where x(k+1∣k)⋯x(k+n+1∣k) are computed iteratively by (2) as follows:
(17)x(k+n+1∣k)=Ain+1x(k∣k)+∑j=0nAin-jAdix(k-d+j∣k)+∑j=0nAin-jBiu(k+j∣k)+∑j=1nAin-jbi
and Σ=Ai+1Q+Bi+1Yi+1, Ξ=Q+ξbi+1bi+1T.
Proof
(1) Upper Bound on the Objective Function. The objective function can be split into two parts:
(18)J∞(k)=J0n(k)+Jn+1∞(k),
where
(19)J0n(k)=∑m=0n[xT(k+m∣k)QIx(k+m∣k)=h∑m=0n+uT(k+m∣k)Ru(k+m∣k)],Jn+1∞(k)=∑l=n+1∞[xT(k+m∣k)QIx(k+m∣k)=h∑m=0n+uT(k+m∣k)Ru(k+m∣k)].
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 Jn+1∞(k) is given as
(20)V(x(k))=xT(k)Px(k)+∑j=1dxT(k-j)Sx(k-j).
Suppose V(x(k)) satisfies the following inequality:
(21)V(x(k+m+1∣k))-V(x(k+m∣k))≤-[xT(k+m∣k)QIx(k+m∣k)+uT(k+m∣k)Ru(k+m∣k)]
with the conditions V(x(∞∣k))=0 and x(∞∣k)=0. Summing (21) from m=n+1 to m=∞ gives
(22)Jn+1∞(k)≤V(x(k+n+1∣k))=xT(k+n+1∣k)Px(k+n+1∣k)+∑j=1dxT(k+n+1-j∣k)Sx(k+n+1-j∣k).
Then, the minimization of the upper bound on the objective function J∞(k)u,Q,W,Yi,i∈N¯ is derived as
(23)minJ∞(k)u,Q,W,Yi,i∈N¯=minu,Q,W,Yi,i∈I∑m=0n[xT(k+m∣k)Lx(k+m∣k)minu,Q,W,Yi,i∈I∑m=0n[+uT(k+m∣k)Ru(k+m∣k)]+xT(k+n+1∣k)Px(k+n+1∣k)+∑j=1dxT(k+n+1-j∣k)Sx(k+n+1-j∣k)≤γ,
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
(24)minJ∞(k),
where
(25)J∞(k)=∑m=0∞[xT(k+m∣k)QIx(k+m∣k)=∑m=0∞[+uT(k+m∣k)Ru(k+m∣k)].
In this section, the objective function minJ∞(k) is replaced by
(26)min(J0n(k)+Jn+1∞(k))s.t.x(k+m+1∣k)s.t.=Aix(k+m∣k)+Adx(k+m-d∣k)s.t.+Biu(k+m∣k)+bi0≤m≤n,(27)V(x(k+m+1∣k))-V(x(k+m∣k))≤-[xT(k+m∣k)QIx(k+m∣k)≤-[+uT(k+m∣k)Ru(k+m∣k)]∥Ei+1x(k+m∣k)+ei+1∥≤1}m≥n+1.
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+m∣k), 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
(28)[x(k+m∣k)x(k-d+m∣k)1]TΠ[x(k+m∣k)x(k-d+m∣k)1]≤0,
where Π=[Ei+1TEi+10Ei+1Tei+1000ei+1TEi+10-1+ei+1Tei+1].
Substituting (20) into (21) gives
(29)[x(k+m∣k)x(k-d+m∣k)1]TM[x(k+m∣k)x(k-d+m∣k)1]≤0,
where
(30)M=[ψ1A¯i+1TPAdi+1A¯i+1TPbi+1Adi+1TPA¯i+1Adi+1TPAdi+1-SAdi+1TPbi+1bi+1TPA¯i+1bi+1TPAdi+1bi+1TPbi+1],ψ1=A¯i+1TPA¯i+1+S+QI+Ki+1TRKi+1-P.
Using the S-procedure [6] into (28) and (29), we get λ>0,
(31)[Φ10λEi+1Tei+10S0λei+1TEi+10-λ(1-ei+1Tei+1)]-[A¯i+1TAdi+1Tbi+1T]P[A¯i+1Adi+1bi+1]>0,
where
(32)Φ1=P+λEi+1TEi+1-S-Ki+1TRKi+1-QI.
By Schur complements, this is equivalent to
(33)[Φ10λEi+1Tei+1A¯i+1T0S0Adi+1Tλei+1TEi+10-λ(1-ei+1Tei+1)bi+1TA¯i+1Adi+1bi+1P-1]>0.
Substituting P=γQ-1 and pre- and postmultiplying by diag{II[0II0]} gives
(34)[Φ20A¯i+1TλEi+1Tei+10SAdi+1T0A¯i+1Adi+1γ-1Qbi+1λei+1TEi+10bi+1T-λ(1-ei+1Tei+1)]>0,
where Φ2=γQ-1+λEi+1TEi+1-S-Ki+1TRKi+1-QI. Pre- and postmultiplying by diag[QIII] gives
(35)[Φ30QA¯i+1TλQEi+1Tei+10SAdi+1T0A¯i+1QAdi+1γ-1Qbi+1λei+1TEi+1Q0bi+1T-λ(1-ei+1Tei+1)]>0,
where
(36)Φ3=γQ+λQEi+1TEi+1Q-QSQ-QKi+1TRKi+1Q-QQIQ.
This is equivalent to
(37)[Φ30QA¯i+1T0SAdi+1TA¯i+1QAdi+1γ-1Q]+[λQEi+1Tei+10bi+1]×λ-1(1-ei+1Tei+1)-1[λQEi+1Tei+10bi+1]T>0.
Substituting W=γS-1>0, ξ=γλ-1, pre- and postmultiplying by
(38)diag{γ-1/2γ-1/2γ1/2γ1/2},
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
(39)|u(k+m)|≤umax,m=0…n.
Inputs can be split into sequences:
(40){u(k∣k),u(k+1∣k)⋯u(k+n∣k),Ut},
where u(k∣k),u(k+1∣k)⋯u(k+n∣k) 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+m∣k), m=0…n are free variables satisfying |u(k+m)|≤umax, m=0…n.
(2) If PWA switch to the terminal operating ellipsoid region,
(41)Ut:u(k+m∣k)=Ki+1x(k+m∣k),m≥n+1,Ki+1=Yi+1Q-1,|u(k)|≤umax,
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(k∣k),u(k+1∣k)⋯u(k+n∣k),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 -λi(I-eieiT)>0, 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:
(42)[Q*****0W-1Adi+1T000Ai+1Q+Bi+1Yi+1Adi+1Q000QI1/2Q00γI00R1/2Yi+1000γI0Q0000W]>0.
Remark 8.
If the ellipsoidal region Xi contains origin, it is necessary to substitute (42) into (16) to get a feasible solution.
4. Simulation Result4.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 x-y 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:
(43)[ψ˙ω˙y˙]=[0100-kI0000][ψωy]+[00u0sin(ψ)]+[01I0]T,|T|≤Tmax,
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:
(44)X1={x∣x1∈(-3π5,-π5)},X2={x∣x1∈(-π5,-π15)},X3={x∣x1∈(-π15,π15)},X4={x∣x1∈(π15,π5)},X5={x∣x1∈(π5,3π5)}.
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
(45)x˙1(t)=αx2(t)+(1-α)x2(t-τ),x˙2(t)=-kIαx2(t)-kI(1-α)x2(t-τ)+1Iu,x˙3(t)=u0sin(x1(t)).
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:
(46)x˙=Aix+Adix(t-τ)+Biu+bix∈Xi|u|≤umaxi=1,2,…,5,
where A1,5=[00.700-0.00700.30900], A3=[00.700-0.0070100], A2,4=[00.700-0.00700.91400], B1,2,3,4,5=[010]T, Ad1=Ad2=Ad3=Ad4=Ad5=[00.300-0.0030000], b1=[00-0.757]T, b2=[00-0.216]T, b3=[000]T, b4=[000.216]T, b5=[000.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.
States trajectories.
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
(47)[x˙1x˙2]=[-30-200.050][x1x2]+[24-50g(x2)]+[200]u.
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:
(48)X1={x∈R2∣-L<x2<0.2},X2={x∈R2∣0.2<x2<0.6},X3={x∈R2∣0.6<x2<L},
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.
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:
(49)x˙=[-30-200.05-0.25]x+[200]u+[0-0.1422]x∈X1,x˙=[-30-200.050.1]x+[200]u+[00.0129]x∈X2,x˙=[-30-200.05-0.2]x+[200]ux∈X3.
Respectively, the open-loop equilibrium points of X1, X2, and X3 are xol1=[0.71,0.14]T, xol2=[0.5,0.45]T, and xol3=[0.37,0.64]T. The objective is to design a piecewise-affine state feedback controller to steer the original state x(0) to close-loop equilibrium xcl=xol3; at the same time the control input constraints |u|≤1(V) must be satisfied.
Using forward differential x˙=(x(k+1)-x(k))/T, 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
(50)x˙=Aix+Adix(t-τ)+Biu+bi,i=1,2,3,x∈Xi.
The constant α is the retarded coefficient [21]. In this example, we assume α=0.7. τ=2 is the time-delay constant, where A1=[-30-20α0.05-0.25α], A2=[-30-20α0.050.1α], A3=[-30-20α0.05-0.2α], Ad1=Ad2=Ad3=[01-α01-α], B1,2,3=[200]T, b1=[0-0.1422]T, b2=[00.0129]T, and b3=[00]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.
Trajectory of the current.
Trajectory of the voltage.
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).
Ferrari-TrecateG.CuzzolaF. A.MignoneD.MorariM.Analysis of discrete-time piecewise affine and hybrid systems20023812213921462-s2.0-003688805610.1016/S0005-1098(02)00142-5MR2134879CuzzaF. A.MorariM.Di BenedettoM. D.Vincentelli A. S.A generalized approach for analysis and control of discrete-time piecewise affine and hybrid system20012034Berlin, GermanySpringer189203Lecture Notes in Computer Science10.1007/3-540-45351-2_18KevenaarT. A. M.LeenaertsD. M. W.Comparison of piecewise-linear model descriptions19923912996100410.1109/81.207720JohanssonM.RantzerA.Computation of piecewise quadratic Lyapunov functions for hybrid systems19984345555592-s2.0-003204589810.1109/9.664157MR1617547RodriguesL.BoydS.Piecewise-affine state feedback for piecewise-affine slab systems using convex optimization200554983585310.1016/j.sysconle.2005.01.002MR2152862BoydS.El GhaouiL.FeronE.BalakrishnanV.199415Philadelphia, Pa, USASIAMSIAM Studies in Applied Mathematics10.1137/1.9781611970777MR1284712MR1284712DingS.YinS.PengK. HaoH.ShenB.A novel scheme for key performance indicator prediction and diagnosis with application to an industrial hot strip mill2012942239224710.1109/TII.2012. 2214394VeselyV.RosinovaD.QuangT. N.Networked output feedback robust predictive controller design201391039413953BououdenS.ChadliM.AllouaniF.FilaliS.A new approach for fuzzy predictive adaptive controller design using particle swarm optimization algorithm20139937413758YinS.DingS.LuoH.Real-time implementation of fault tolerant control system with performance optimization20136152402241110.1109/TIE.2013.2273477YinS.DingS.HaghaniA.HaoH.ZhangP.A comparison study of basic data-driven fault diagnosis and process monitoring methods on the benchmark Tennessee Eastman process20122291567158110.1016/j.jprocont.2012.06.009BrunoC.OlivieD.LMI-based multi-model predictive control of an industrial C3/C4 splitter201324442042910.1007/s40313-013-0050-1DoughertyD.CooperD.A practical multiple model adaptive strategy for multivariable model predictive control20031166496642-s2.0-003853745010.1016/S0967-0661(02)00170-3FalugiP.OlaruS.DumurD.Multi-model predictive control based on LMI: from the adaptation of the state-space model to the analytic description of the control law2010838154815632-s2.0-7795492058410.1080/00207171003736329MR2729736TianZ.HooK. A.Transition control using a state-shared model approach20032711164116562-s2.0-014210701010.1016/S0098-1354(03)00131-5JohanssonM.RantzerA.Computation of piecewise quadratic Lyapunov functions for hybrid systems19984345555592-s2.0-003204589810.1109/9.664157MR1617547Ferrari-TrecateG.CuzzolaF. A.MignoneD.MorariM.Analysis of discrete-time piecewise affine and hybrid systems20023812213921462-s2.0-003688805610.1016/S0005-1098(02)00142-5MR2134879XinpingG. ZhiyunL.GuangrenD.Observer-based robust control for uncertain linear systems with time-delay1999146716720KothareM. V.BalakrishnanV.MorariM.Robust constrained model predictive control using linear matrix inequalities19963210136113792-s2.0-003026060610.1016/0005-1098(96)00063-5MR1420038RodriguesL.2002Palo Alto, Calif, USAStanford UniversityCaoY. FrankP. M.Stability analysis and synthesis of nonlinear time-delay systems via linear Takagi-Sugeno fuzzy models200112422132292-s2.0-003554663310.1016/S0165-0114(00)00120-2MR1862869YinS.DingS.HaghaniA.HaoH.Data-driven monitoring for stochastic systems and its application on batch process20134471366137610.1080/00207721.2012.659708MR3050076YinS.YangX.KarimiH.Data-driven adaptive observer for fault diagnosis201220122183283610.1155/2012/832836MR2992452