Download as pdf or txt
Download as pdf or txt
You are on page 1of 6

Proceedings of the 19th World Congress

The International Federation of Automatic Control


Cape Town, South Africa. August 24-29, 2014

Periodic Event-Triggered Distributed


Receding Horizon Control of Dynamically
Decoupled Linear Systems
Huiping Li ∗ Yang Shi ∗∗ Weisheng Yan ∗∗∗ Rongxin Cui ∗∗∗∗

School of Marine Science and Technology, Northwestern Polytechnic
University, Xi’an, Shaanxi, 710072 China (e-mail:
peter.huiping@gmail.com).
∗∗
University of Victoria, Victoria, B.C., V8W3P6 Canada (e-mail:
yshi@uvic.ca)
∗∗∗
School of Marine Science and Technology, Northwestern
Polytechnic University, Xi’an, Shaanxi, 710072 China (e-mail:
wsyan@nwpu.edu.cn)
∗∗∗∗
School of Marine Science and Technology, Northwestern
Polytechnic University, Xi’an, Shaanxi, 710072 China (e-mail:
r.cui@nwpu.edu.cn)

Abstract: This paper is concerned with the distributed receding horizon control (DRHC)
problem for large-scale linear systems with disturbances. A periodic event-triggered DRHC
scheme is proposed to reduce communication and computation load. A detailed dual-mode
periodic event-triggered DHRC algorithm is designed, and sufficient conditions for ensuring
feasibility and stability are established, respectively. We show that the feasibility depends on
the testing period, and that the stability is related with the testing period, and the cooperation
matrices. The overall system is stable and the system state converges to a set under the designed
algorithm.

Keywords: Periodic event-triggering, distributed receding horizon control (DRHC), linear


systems, large-scale systems, disturbance

1. INTRODUCTION In recent years, the study of the DRHC problem for


large-scale systems has received much attention, and many
The control of large-scale and complex systems is becom- results have been reported for large-scale linear systems,
ing a new frontier in the areas of systems and control, due nonlinear systems and their applications. For example,
to the trend of developing many large-scale systems, such the investigation of the DRHC problem for large-scale
as multi-agent systems, complex process control systems, linear systems has been conducted in Camponogara et al.
smart grid and power systems, and cyber-physical systems. (2002); Jia and Krogh (2002); Motee and Sayyar-Rodsari
The receding horizon control (RHC), also known as model (2003); Izadi et al. (2009); Maestre et al. (2011); Venkat
predictive control, has been widely used in the industrials et al. (2008); Richards and How (2007); Franco et al.
Qin and Badgwell (2003, 2000), and it is one of the most (2007); Borrelli and Keviczky (2008); Stewart et al. (2010);
promising approaches to large-scale systems. There are Li and Shi (2013b). In these results, Jia and Krogh
three RHC schemes for the control of large-scale systems, (2002); Camponogara et al. (2002); Stewart et al. (2010);
namely, centralized RHC, distributed RHC (DRHC) and Maestre et al. (2011); Borrelli and Keviczky (2008) are
decentralized RHC. The implementation of centralized focused on large-scale systems with coupled dynamics
RHC normally requires solving a high-dimensional opti- among subsystems; while Franco et al. (2007); Izadi et al.
mization problem in real time, which is computationally (2009); Richards and How (2007); Li and Shi (2013b) study
expensive or practically infeasible. On the other hand, the the DRHC problems of large-scale dynamically decoupled
decentralized RHC generally decouples large-scale systems linear systems, with couplings presenting in the constraints
into many subsystems by ignoring couplings, which may or objective functions. Izadi et al. (2009) reports the
bring poor control performance or undesired results. The application result for the cooperative control of multi-
DRHC is able to convert the large-scale optimization prob- vehicle systems, and Venkat et al. (2008) investigates the
lem into several small-size optimization problems while DRHC problem of a complex power system.
considering couplings among subsystems by using commu- The DRHC of large-scale nonlinear systems and its ap-
nication links, and thus it is computationally efficient and plications have been studied in Raimondo et al. (2007);
can achieve prescribed control performance. Keviczky et al. (2008); Dunbar and Murray (2006); Ke-
⋆ This work was supported by the Natural Sciences and Engineering viczky et al. (2006); Dunbar (2007); Stewart et al. (2011);
Research Council of Canada. Dunbar and Caveney (2012); Franco et al. (2008); Li and

978-3-902823-62-5/2014 © IFAC 10066


19th IFAC World Congress
Cape Town, South Africa. August 24-29, 2014

Shi (2013a); Liu et al. (2009, 2010, 2012). In particular, stability issues are analyzed, and the sufficient conditions
Raimondo et al. (2007); Keviczky et al. (2006) approach for guaranteeing feasibility and stability are established,
the DRHC problems of discrete-time nonlinear systems, respectively. Finally, the conclusion remarks are given in
where Raimondo et al. (2007) establishes the input-to- Section 5.
state stability and Keviczky et al. (2006) presents the
The following notations are adopted in this paper. The real
asymptotic stability. Dunbar and Murray (2006); Dun-
space is denoted by the symbol R; the set of all integers
bar (2007); Dunbar and Caveney (2012) investigate the
DRHC problem of continuous-time decoupled nonlinear is denoted by Z and Z>0 , {n ∈ Z : n > 0}. Given
systems, coupled nonlinear systems and inter-connected a matrix P , its transpose and inverse (if invertible) are
robot systems, respectively. In Franco et al. (2008), the denoted as P T and P −1 , respectively. P > 0 means that
DRHC problem of decoupled nonlinear systems with con- the matrix P is positive definite. The symbols λmax (P )
stant communication delays is studied, and the results and λmin (P ) stands for the maximum and the minimum
for decoupled nonlinear systems with disturbances and eigenvalues of P , respectively. The symbol σ̄(P ) represents
time-varying communication delays is reported in Li and the maximum singular eigenvalue of P . Given two matrices
Shi (2013a). Liu et al. (2009, 2010, 2012) investigate the P > 0 and Q > 0, λP,Q , λmax (P )/λmin (Q). Given a
DRHC problem of coupled nonlinear systems based on the column vector v and a matrix Q > 0 with appropriate
Lyapunov-based model predictive control concept. dimension,
p kvk stands for the Euclidean norm and kvkQ ,
v T Qv represents the Q-weighted norm. For column
Recently, in Åström and Bernhardsson (2002), the event-
triggered control strategy is proven to be computationally vectors v1 , · · · , vn , clo(v1 , · · · , vn ) = [v1T , · · · , vnT ]T .
more efficient than the traditional periodic sampling and 2. PROBLEM FORMULATION AND
update scheme. Thus, many interesting results have re- PRELIMINARIES
ported in the literature, such as Tabuada (2007); Heemels
et al. (2008); Donkers and Heemels (2012); Wang and Consider the distributed receding horizon control problem
Lemmon (2011). Note that the existing results of DRHC for a group of linear agents. For each agent i, the system
rely on the communication links to exchange informa- dynamics is modeled as
tion among subsystems. By using the communication link,
ẋi (t) = Ai xi (t) + Bi ui (t) + ωi (t), i = 1, · · · , M, (1)
the information transmission is synchronized periodically.
With that period, the optimization problem is solved, where xi (t) ∈ Rn is system state, ui (t) ∈ Rm is control
and the control signal is updated accordingly. Thus, the input, ωi (t) ∈ Rn is disturbance and M is the number
traditional periodic scheme in DRHC may be inefficient. of the agents. The control input is required to satisfy
To solve such an issue, the event-triggered strategy has constraint
been proposed in MPC Eqtami et al. (2011b); Varutti et al. ui (t) ∈ Ui , (2)
(2009) and in decentralized MPC Eqtami et al. (2011a). where Ui ⊆ Rm is a convex and compact set containing the
However, in these results, the triggering conditions need origin. The disturbance has an energy bound kωi (t)k 6 ρi .
to be examined continuously, which may be not practical There is a communication network among the agent sys-
or infeasible. Most recently, a periodic event-triggered s- tem, in which each agent can communicate with some of
trategy is proposed in Heemels et al. (2013), where the the agents. For each agent i, its neighbors are defined as
triggering condition only requires being testing periodical- the agents from which it can receive information. Denote
ly. Therefore, the periodic event-triggered strategy is more the neighbors’ index set of agent i by Ni , where Ni 6= ∅.
practical while computationally more efficient. Motivated The collection of agent i’s neighbors’ states is denoted by
by this fact, we propose to study the DRHC problem x−i (t).
of linear systems based on the periodic event-triggered
strategy. Based on (1), the overall system can be represented as
In this paper, we will investigate the the event-triggered ẋ(t) = Ax(t) + Bu(t) + ω(t), (3)
DRHC problem of large-scale decoupled linear systems with u(t) ∈ U, where x = clo(x1 , · · · , xM ), u =
with disturbances. The main contributions of this paper clo(u1 , · · · , um ), ω = clo(ω1 , · · · , ωM ), A = diag(A1 , · · · ,
are two-fold: AM ), B = diag(B1 , · · · , BM ), and U = U1 × · · · × UM .
• A periodic event-triggered DRHC scheme is proposed The nominal system of (1) is defined as follows
and the detailed dual-model periodic event-triggered ẋi (t) = Ai xi (t) + Bi ui (t). (4)
DRHC algorithm has been designed. Assumption 1. For the system in (1), there exists a ro-
• The feasibility of the designed algorithm and the bustly control invariant set Blanchini (1999) Xi , i.e., for all
stability of the closed-loop system are rigorously ui (t) ∈ Ui , if xi (t0 ) ∈ Xi , then xi (t) ∈ Xi , for all bounded
analyzed. The conditions for ensuring feasibility and disturbances with kωi (t)k 6 ρi .
stability are established, respectively. It is shown that
the closed-loop system is stable and the system state The conditions for ensuring such an Xi can be referred to
converges to a set. Blanchini (1999). Define δ̄i = supxi (t)∈Xi kxi (t)k.
The remainder of the paper is organized as follows. Section Assumption 2. For each agent i, the pair (Ai , Bi ) is con-
2 formulates the distributed RHC problem and presents a trollable.
preliminary result. In Section 3, the event-triggered strat-
Using Assumption 2, it is well known that there exists
egy is designed and the periodic event-triggered DRHC
a state feedback control law ui (t) = Ki xi (t) such that
algorithm is presented. In Section 4, the feasibility and
Āi = Ai + Bi Ki is stable.

10067
19th IFAC World Congress
Cape Town, South Africa. August 24-29, 2014

Theorem 3. For the system in (4), given a stabilizing 3.2 Periodic Event-triggered Strategy
control law ui (t) = Ki xi (t) and two symmetric matrices
Qi > 0, Ri > 0, there exists a parameter εi > 0, such that Unlike the classical DRHC using the fixed period to update
xi (t0 ) ∈ Ωi (εi ) implies xi (t) ∈ Ωi (εi ), and the constraint in the control input in Dunbar (2007); Franco et al. (2008),
(2) is satisfied, for all t > t0 . Here, Ωi (εi ) , {xi (t) ∈ Rn : for each agent i, we design an event-triggered strategy to
kxi (t)kPi 6 εi }, and Pi is the solution to the Lyapunov determine the time interval for updating control input and
equation ĀT T
i Pi + Pi Āi + Qi + Ki Ri Ki = 0.
transmitting information. In particular, given some tkpi ,
p = 0, 1, · · · , the next time instant tkp+1 i for update is
Proof. The proof can be derived by following the similar
determined as follows: a) Test the triggering condition
lines in Dunbar (2007); Chen and Allgöwer (1998); Michal-
ska and Mayne (1993); Li and Shi (2014b,a), and thus is kxi (tkpi + nτ ) − x̂∗i (tkpi + nτ ; tkpi )kPi > σi , (7)
omitted here. at t = tkpi + nτ , n = 1, · · · , n0 , where σi > 0 is the
triggering level. If the triggering condition in (7) holds for
3. PERIODIC EVENT-TRIGGERED DRHC some n, take nt as the minimum value of such n; otherwise,
ALGORITHM take nt = n0 . b) Determine tkp+1i = tkpi + nt τ .

In this section, the optimization problem associated with Due to the existence of disturbances, it would be computa-
each agent i is firstly formulated. Then the periodic event- tionally costly to execute the optimal control input when
triggered strategy is proposed and the detailed periodic the system state trajectory enters a small region around
event-triggered DRHC is designed. the origin. Like the robust RHC in Michalska and Mayne
(1993) and DRHC in Dunbar (2007); Li and Shi (2013a),
we also take the so-called dual-mode strategy here. That is,
3.1 Distributed Optimization
for each agent i, if the optimal state trajectory x∗i (s; tkpi ),
For each agent i, at each time instant tkpi , define an s ∈ [tkpi , tkpi + T ], enters the set Ωi (ri αi εi ) at some time
optimization problem Pi : instant s = to + tkpi , where ri ∈ (0, 1), then the con-
trol input is switched to the state feedback control law
û∗i (s; tkpi ) =arg min Ji (x̂i (s; tkpi ), ûi (s; tkpi )), subject to:
ûi (s;tki ) ui (t) = Ki xi (t), for all t > to + tkpi .
p

x̂˙ i (s; tkpi ) = Ai x̂i (s; tkpi ) + Bi ûi (s; tkpi ), Remark 4. From the testing criterion in (7), it can been
seen that, for each agent i, the triggering condition is only
x̂˙ a (s; tki ) = Aj x̂a (s; tki ) + Bj ûa (s; tki ),
j p j p j p
examined with a fixed interval τ , and the optimization
ûi (s; tkpi ) ∈ Ui , s ∈ [tkpi , tkpi + T ], problem Pi is only required to be solved with time-varying
intervals n(tkpi )τ when the triggering condition is satisfied,
kx̂i (tkpi + T ; tkpi )kPi 6 αi εi . (5)
where 1 6 n(tkpi ) 6 n0 is an integer depending on time
Here, the cost function is designed as follows instant tkpi . The information sent from agent i to its
Ji (x̂i (s; tkpi ), ûi (s; tkpi )) neighbors also follows such a time-varying interval. This,
Z t i +T
kp
in fact, reduces the computation and communication load.
, kx̂i (s; tkpi )k2Qi + kûi (s; tkpi )k2Ri
tki
p
3.3 Periodic Event-triggered DRHC
X
+ kx̂i (s; tkpi ) − x̃aj (s; tkpi )k2Qij ds
Combining the periodic event-triggered strategy and the
j∈Ni
dual-mode strategy, the periodic event-triggered DRHC
+ kx̂i (tkpi + T ; tkpi )k2Pi , (6) algorithm is summarized as follows:
where Qi > 0, Ri > 0, and Qij are symmetric matrices, Algorithm 1. For each agent i, i = 1, · · · , M ,
and Pi and εi are designed according Theorem 3. αi ∈
S1) Initialize the optimization problem at t = tk0i .
(0, 1) is the shrinkage rate Li and Shi (2013a). T = n0 τ is
the prediction horizon, with n0 > 1, being a given integer S2) Solve Problem Pi at tkpi to generate û∗i (s; tkpi ), p > 0.
and τ > 0 being the testing period. In (6), x̂i (s; tkpi ) is S3) If kx̂∗i (s; tkpi )kPi 6 ri αi εi for some s0 ∈ [tkpi , tkpi + T ],
called predicted state trajectory and it is generated by then apply the control input u∗i (s; tkpi ) for s ∈ [tkpi , s0 ]
x̂˙ i (s; tki ) = Ai x̂i (s; tki ) + Bi ûi (s; tki ), s ∈ [tki , tki + T ]. and go to S6).
p p p p p
S4) Apply û∗i (s; tkpi ) and at time s = tkpi + nτ , n =
x̃aj (s; tkpi ) is called assumed state trajectory which is gener- 1, · · · , n0 , test (7) to determine tkp+1
i .
ated by agent j and transmitted to agent i. In particular,
x̃aj (s; tkpi ) fulfills the following equation S5) Set tkpi = tkp+1 i , and go to S2).
S6) Apply ui (t) = Ki xi (t).
x̃˙ aj (s; tkpi ) = Aj x̃aj (s; tkpi ) + Bj ũaj (s; tkpi ), s ∈ [tkpi , tkpi + T ],
where ũaj (s; tkpi ) is produced as follows: 4. ANALYSIS
( ∗
a
ûj (s; tkqj ), if s ∈ [tkpi , tkqj + T ] In order to make the designed algorithm practically useful,
ũj (s; tkpi ) = a we need to investigate the feasibility and stability issues.
Kj x̃j (s; tkqj + T ), if s ∈ [tkqj + T, tkpi + T ].
This section provides conditions on how to design the
Here, tkqj = sup{knj ∈ Z≥0 : tkpi > tknj }. parameters to ensure feasibility and stability.

10068
19th IFAC World Congress
Cape Town, South Africa. August 24-29, 2014

4.1 Feasibility Analysis kx̃i (tkp+1


i + T ; tkp+1
i )kPi
Āi (tki −tki )
Before proceeding to conduct the feasibility analysis, a =ke p+1 p
x̃i (tkpi + T ; tkp+1
i )kPi
feasible control trajectory candidate should be construct- q p p
ed. Given the optimal control trajectory u∗i (s; tkpi ), at 6 λmax ((( Pi )−1 )T (eĀi nτ )T Pi eĀi nτ ( Pi )−1 )εi
time instant tkpi , a feasible control trajectory candidate 6αi εi , ∀n = 1, · · · , n0 ,
ũi (s; tkp+1
i ) at time instant tkp+1 i is constructed as follows where the condition in (9) is applied. Thus, x̃i (tkp+1 i +
Li and Shi (2013a), Michalska and Mayne (1993): T ; tkp+1
i ) ∈ Ω(αi εi ) and the terminal constraint is satisfied.
( ∗
ûi (s; tkpi ), s ∈ [tkp+1
i , tkpi + T ], This completes the proof.
ũi (s; tkp+1
i )= Remark 6. It is worth noting that Theorem 5 provides
Ki x̃i (s; tkp+1
i ), s ∈ (tkpi + T, tkp+1
i + T ].
sufficient conditions on how to design τ to guarantee
Theorem 5. For each agent i with dynamics in (1), given feasibility. From (8) and (9), it can been seen that the
u∗i (s; tkpi ), at tkpi , if the testing period τ is designed, such design of τ depends on the choice of the parameter αi and
that the disturbance bound ρi after the parameter εi , Pi and
p Ki are given.
ρi nτ σ̄( Pi eAi (n−n0 )τ ) 6 (1 − αi )εi , (8)
−1
p p
Āi nτ
σ̄( Pi e ( Pi ) ) 6 αi , (9) 4.2 Stability Analysis
for n = 1, · · · , n0 , then ũi (s; tkp+1
i ), s ∈ [tkp+1
i , tkp+1
i + T ],
is a feasible solution to Problem Pi at tkp+1 i . Using the designed Algorithm 1, we can show that the
closed-loop system is stable and converges to a robustly
Proof. We know that ũi (s; tkp+1 i ), s ∈ [tkp+1
i , tkpi + T ], invariant set. To facilitate the presentation, we define two
terms as follows:
makes the constraint in (2) be fulfilled. We next need to
show that ũi (s; tkp+1
i ), s ∈ [tkpi +T , tkp+1
i + T ] renders the C1 (τ, n) ,(1 − αi )2 ε2i + (n0 − n)τ λQi ,Pi δi2
constraints in (2) being satisfied. − β1 nτ λ−1 2 2 2
Pi ,Qi (1 − ri ) αi εi ,

According to (4), we have C2 (Qij , n) ,λQij ,Pi [(n0 − n)τ δi2 + nτ α2j ε2j ]
Ai (s−tki ) + λQij ,Pj [(n0 − 1)τ δj2 + n0 τ α2j ε2j ]
x̂∗i (s; tkpi ) =e p+1 x̂∗i (tkp+1
i ; tkpi )
Z s
− β2 nτ λ−1 2 2 2
Pi ,Qi (1 − ri ) αi εi ,
+ eAi (s−t) Bi û∗i (t; tkpi )dt, s > tkp+1 , where β1 ∈ √ (0, 1), β2 ∈ (0, 1) and β1 + β2 < 1, and
i
tki
p+1 δi = λmax ( Pi )δ̄i . The stability result is reported in the
Ai (s−tki ) following theorem.
x̃∗i (s; tkp+1
i ) =e p+1 xi (tkp+1
i )
Theorem 7. For the overall system in (3), if (A): The
Z s
testing interval τ is designed, such that (8) and (9) holds;
+ eAi (s−t) Bi û∗i (t; tkpi )dt, s > tkp+1
i . (B): C1 (τ, n) 6 0 for n = 1, · · · , n0 , and the cooperation
tki
p+1 matrices Qij , j ∈ Ni , are designed such that C2 (Qij , n) 6
Therefore, it can be obtained that 0, for n = 1, · · · , n0 , then closed-loop system is stable and
the system state converges to a robustly invariant set.
x̃∗i (tkpi + T ; tkp+1
i ) − x̂∗i (tkpi + T ; tkpi )
Ai (tki +T −tki ) Proof. The proof consists of two parts. Firstly, we show
=e p
[xi (tkp+1
p+1i ) − x̂∗i (tkp+1
i ; tkpi )] that the system trajectory of each agent i will enter a set
Ai (tki +T −tki )
Z ti
k in finite time. Define
p+1
=e p p+1 [ ωi (t; tkpi )dt], ∆i ,Ji (x̃i (s; tkp+1
i ), ũi (s; tkp+1
i ), x̃a−i (s; tkp+1
i ))
tki
p
− Ji (x̂∗i (s; tkpi ), û∗i (s; tkpi ), x̃a−i (s; tkpi )).
where the solution to the differential equation in (1) is
used. As a result, we can get By substituting all the terms in ∆i , we have
Z t i +T
kx̃∗i (tkpi + T ; tkp+1
i )kPi ∆i 6
k
p+1
kx̃i (s; tkp+1
i )k2Qi + kũi (s; tkp+1
i )k2Ri ds
6kx̂∗i (tkpi + T ; tkpi )kPi tki +T
p

Ai (tki +T −tki )
Z tki
p+1
+ kx̃i (tkp+1
i + T ; tkp+1
i )k2Pi − kx̂∗i (tkpi + T ; tkpi )k2Pi
+ ke p p+1 [ ωi (t; tkpi )dt]kPi Z t i +T
tki kp

q p + kx̃i (s; tkp+1


i )k2Qi − kx̂∗i (s; tkpi )k2Qi ds
tki
6αi εi + ρi nτ λmax ((eAi (n−n0 )τ )T Pi eAi (n−n0 )τ ), p+1
Z tki +T X
i
) − x̂aj (s; tkp+1 )k2Qij ds
p+1
where t(kp+1 ) − tkpi = nτ , n = 1, · · · , n0 is used. By using + kx̃i (s; tkp+1
i i

the condition in (8), it follows kx̃∗i (tkpi + T ; tkp+1


i )kPi 6 εi . tki
p+1
j∈Ni

As a consequence, the result in Theorem 3 can be used, Z tik


p+1
and it implies ũi (s; tkp+1
i ) ∈ Ui , s ∈ [tkpi +T , tkp+1
i + T ]. − kx̂∗i (s; tkpi )k2Qi ds. (10)
tki
Furthermore, we have p

10069
19th IFAC World Congress
Cape Town, South Africa. August 24-29, 2014

Next, we consider the terms in the right hand side of (10) Remark 8. Theorem 7 reals that the stability of the closed-
one by one. According to Theorem 5, x̃i (tkpi + T ; tkp+1 i )∈ loop system is related with the testing period τ , the
Ωi (εi ) and ũi (s; tkp+1
i ) = Ki x̃i (s; tkp+1
i ), s ∈ [tkpi + T, tkp+1
i ]. parameter δi , αi , and the cooperation matrices Qij when
the other parameters are fixed.
By using Theorem 3, it can be obtained
Z t i +T
k
)k2Qi + kũi (s; tkp+1 )k2Ri ds 5. CONCLUSION
p+1
kx̃i (s; tkp+1
i i
tki +T
p

+ kx̃i (tkp+1
i + T ; tkp+1
i )k2Pi − kx̂∗i (tkpi + T ; tkpi )k2Pi In this paper, we have investigated the event-triggered
DRHC problem of decoupled linear systems. The periodic
=kx̃i (tkpi + T ; tkp+1
i )k2Pi − kx̂∗i (tkpi + T ; tkpi )k2Pi event-triggered DRHC algorithm has been proposed to
reduce the communication and computation load. The
6(1 − α2i )ε2i . (11) conditions for guaranteeing the feasibility and stability

In terms of the fact that kx̂i (s; tkp )kPi > (1 − ri )αi εi ,
i have been established. The future work will be the con-
s ∈ [tkp+1
i , tkp+1
i + T ], and kx̃i (s; tkp+1
i )kPi 6 δi , we get sideration of the event-triggered DRHC problem of large-
Z t i +T scale nonlinear systems.
kp
kx̃i (s; tkp+1
i )k2Qi − kx̂∗i (s; tkpi )k2Qi ds
tki
p+1
REFERENCES
6(n0 − n)τ (λQi ,Pi δi2 − λ−1
Pi ,Qi (1 − ri )2 α2i ε2i ). (12) Åström, K.J. and Bernhardsson, B.M. (2002). Compari-
By using the same reasoning, we can obtain son of Riemann and Lebesgue sampling for first order
Z t i +T X stochastic systems. In Proceedings of the 41st IEEE
k
p+1
kx̃i (s; tkp+1
i ) − x̂aj (s; tkp+1
i )k2Qij ds Conference on Decision and Control, volume 2, 2011–
tki j∈Ni
2016.
p+1
Blanchini, F. (1999). Set invariance in control. Automati-
XZ tki +T
ca, 35(11), 1747–1767.
)k2Qij + kx̂aj (s; tkp+1 )k2Qij ds
p+1
62 kx̃i (s; tkp+1
i i
tki
Borrelli, F. and Keviczky, T. (2008). Distributed LQR de-
j∈Ni p+1 sign for identical dynamically decoupled systems. IEEE
62|Ni |[λQij ,Pi ((n0 − n)τ δi2 + nτ α2i ε2i ) Transactions on Automatic Control, 53(8), 1901–1912.
+ (λQij ,Pj (n0 − n)τ δj2 + λQij ,Pj nτ α2i ε2i )]. (13) Camponogara, E., Jia, D., Krogh, B.H., and Talukdar,
S. (2002). Distributed model predictive control. IEEE
Finally, it can be obtained Control Systems Magazine, 22(1), 44–52.
Z tik Chen, H. and Allgöwer, F. (1998). A quasi-infinite horizon
p+1
kx̂∗i (s; tkpi )k2Qi ds > nτ λ−1 2 2 2
Pi ,Qi (1 − ri ) αi εi . (14) nonlinear model predictive control scheme with guaran-
tki teed stability. Automatica, 34(10), 1205–1217.
p

By plugging (11) - (14) into (10), and using the condition Donkers, M.C.F. and Heemels, W.P.M.H. (2012). Output-
of C1 (τ, n) 6 0 and C2 (Qij , n) 6 0, we can obtain based event-triggered control with guaranteed L2 -gain
and improved and decentralized event-triggering. IEEE
∆Ji 6 −(1 − β1 − β2 )nτ λ−1 2 2 2
Pi ,Qi (1 − ri ) αi εi . Transactions on Automatic Control, 57(6), 1362–1376.
Due to the optimality, we have Dunbar, W.B. (2007). Distributed receding horizon con-
trol of dynamically coupled nonlinear systems. IEEE
Ji (x̂∗i (s; tkp+1
i ), û∗i (s; tkp+1
i ), x̃ai (s; tkp+1
i ))
Transactions on Automatic Control, 52(7), 1249–1263.
− Ji (x̂∗i (s; tkpi ), û∗i (s; tkpi ), x̃a−i (s; tkpi )) Dunbar, W.B. and Caveney, D.S. (2012). Distributed
receding horizon control of vehicle platoons: Stability
6∆Ji 6 −(1 − β1 − β2 )nτ λ−1 2 2 2
Pi ,Qi (1 − ri ) αi εi . and string stability. IEEE Transactions on Automatic
By using the same argument in Michalska and Mayne Control, 57(3), 620–633.
(1993), it can be shown that for some s > 0, x̂∗i (s; tkpi ) Dunbar, W.B. and Murray, R.M. (2006). Distributed
enters Ωi (ri αi εi ) in finite time, i.e., xi (s) enters Ωi ((1 − receding horizon control for multi-vehicle formation sta-
ri αi )εi ). bilization. Automatica, 42(4), 549–558.
Eqtami, A., Dimarogonas, D.V., and Kyriakopoulos, K.J.
Secondly, we show that the closed-loop system under the (2011a). Event-triggered strategies for decentralized
control law ui (t) = Ki xi (t) is stable and the system state model predictive controllers. In Proceedings of the 18th
converges to a set after xi (t) ∈ Ωi ((1 − ri αi )εi ). Taking IFAC World Congress. Milano, Italy.
Vi (xi (t)) = kxi (t)kPi as a Lyapunov function candidate, Eqtami, A., Dimarogonas, D.V., and Kyriakopoulos, K.J.
we have (2011b). Novel event-triggered strategies for model pre-
V̇i (xi (t)) =xT T T T
i (t)(Āi Pi + Pi Āi )xi (t) + 2xi Āi ωi (t) dictive controllers. In Proceedings of 50th IEEE Con-
= − xT ∗ T T ference on Decision and Control and European Control
i (t)Qi xi (t) + 2xi Āi ωi (t)
Conference (CDC-ECC), 3392–3397.
6 − kxi (t)k2Q∗ + 2ρi λmax ( Q∗i )kĀi kkxi (t)kQ∗i ,
p
i
Franco, E., Magni, L., Parisini, T., Polycarpou, M.M., and
where Q∗i = Qi + KiT Ri Ki . Thus, the closed-loop system Raimondo, D.M. (2008). Cooperative constrained con-
is stable as desired and the system state of agent i trol of distributed agents with nonlinear dynamics and
will converge to the set {xi (t) ∈ Rn : kxi (t)kQ∗i 6 delayed information exchange: A stabilizing receding-
horizon approach. IEEE Transactions on Automatic
2ρi λmax ( Q∗i )kĀi k}.
p
Control, 53(1), 324–338.

10070
19th IFAC World Congress
Cape Town, South Africa. August 24-29, 2014

Franco, E., Parisini, T., and Polycarpou, M.M. (2007). Michalska, H. and Mayne, D.Q. (1993). Robust receding
Design and stability analysis of cooperative receding- horizon control of constrained nonlinear systems. IEEE
horizon control of linear discrete-time agents. Interna- Transactions on Automatic Control, 38(11), 1623–1633.
tional Journal of Robust and Nonlinear Control, 17(10- Motee, N. and Sayyar-Rodsari, B. (2003). Optimal par-
11), 982–1001. titioning in distributed model predictive control. In
Heemels, W.P.M.H., Donkers, M.C.F., and Teel, A.R. Proceedings of the 2003 American Control Conference,
(2013). Periodic event-triggered control for linear sys- volume 6, 5300–5305.
tems. IEEE Transactions on Automatic Control, 58(4), Qin, S.J. and Badgwell, T.A. (2000). An overview of
847–861. nonlinear model predictive control applications: nonlin-
Heemels, W.P.M.H., Sandee, J.H., and Van Den Bosch, ear model predictive control. volume 26 of Progress in
P.P.J. (2008). Analysis of event-driven controllers for Systems and Control Theory, 369–392.
linear systems. International Journal of Control, 81(4), Qin, S.J. and Badgwell, T.A. (2003). A survey of industrial
571–590. model predictive control technology. Control Engineer-
Izadi, H.A., Gordon, B.W., and Zhang, Y. (2009). Decen- ing Practice, 11(7), 733–764.
tralized receding horizon control for cooperative multi- Raimondo, D.M., Magni, L., and Scattolini, R. (2007).
ple vehicles subject to communication delay. Journal of Decentralized MPC of nonlinear systems: An input-
Guidance, Control, and Dynamics, 32(6), 1959–1965. to-state stability approach. International Journal of
Jia, D. and Krogh, B. (2002). Min-max feedback model Robust and Nonlinear Control, 17(17), 1651–1667.
predictive control for distributed control with commu- Richards, A. and How, J.P. (2007). Robust distributed
nication. In Proceedings of the 2002 American Control model predictive control. International Journal of Con-
Conference, volume 6, 4507–4512. trol, 80(9), 1517–1531.
Keviczky, T., Borrelli, F., Fregene, K., Godbole, D., and Stewart, B.T., Venkat, A.N., Rawlings, J.B., Wright, S.J.,
Balas, G.J. (2008). Decentralized receding horizon con- and Pannocchia, G. (2010). Cooperative distributed
trol and coordination of autonomous vehicle formation- model predictive control. Systems & Control Letters,
s. IEEE Transactions on Control Systems Technology, 59(8), 460–469.
16(1), 19–33. Stewart, B.T., Wright, S.J., and Rawlings, J.B. (2011).
Keviczky, T., Borrelli, F., and Balas, G.J. (2006). De- Cooperative distributed model predictive control for
centralized receding horizon control for large scale dy- nonlinear systems. Journal of Process Control, 21(5),
namically decoupled systems. Automatica, 42(12), 2105– 698–704.
2115. Tabuada, P. (2007). Event-triggered real-time scheduling
Li, H. and Shi, Y. (2013a). Distributed model predictive of stabilizing control tasks. IEEE Transactions on
control of constrained nonlinear systems with commu- Automatic Control, 52(9), 1680–1685.
nication delays. Systems & Control Letters, 62(10). Varutti, P., Kern, B., Faulwasser, T., and Findeisen,
Li, H. and Shi, Y. (2013b). Distributed receding horizon R. (2009). Event-based model predictive control for
control of constrained linear systems with communica- networked control systems. In Proceedings of the 48th
tion delays. In The Proceedings of The 2013 America IEEE Conference on Decision and Control and jointly
Control Conference (ACC). Washinton DC, USA. with the 28th Chinese Control Conference (CDC/CCC),
Li, H. and Shi, Y. (2014a). Distributed receding hori- 567–572.
zon control of large-scale nonlinear systems: handling Venkat, A.N., Hiskens, I.A., Rawlings, J.B., and Wright,
communication delays and disturbances. Automatica, S.J. (2008). Distributed MPC strategies with appli-
http://dx.doi.org/10.1016/j.automatica.2014.02.031. cation to power system automatic generation control.
Li, H. and Shi, Y. (2014b). Robust distributed IEEE Transactions on Control Systems Technology,
model predictive control of constrained continuous- 16(6), 1192–1206.
time nonlinear systems: A robustness sonstraint ap- Wang, X. and Lemmon, M.D. (2011). Event-triggering in
proach. IEEE Transactions on Automatic Control, distributed networked control systems. IEEE Transac-
DOI:10.1109/TAC.2013.2294618. tions on Automatic Control, 56(3), 586–601.
Liu, J., Chen, X., de la Peña, D.M., and Christofides,
P.D. (2010). Sequential and iterative architectures for
distributed model predictive control of nonlinear process
systems. AIChE Journal, 56(8), 2137–2149.
Liu, J., Chen, X., Mu, de la Peña, D.M., and Christofides,
P.D. (2012). Iterative distributed model predictive con-
trol of nonlinear systems: Handling asynchronous, de-
layed measurements. IEEE Transactions on Automatic
Control, 57(2), 528–534.
Liu, J., de la Peña, D.M., and Christofides, P.D. (2009).
Distributed model predictive control of nonlinear pro-
cess systems. AIChE Journal, 55(5), 1171–1184.
Maestre, J.M., de la Peña, D.M., and Camacho, E.F.
(2011). Distributed model predictive control based on
a cooperative game. Optimal Control Applications and
Methods, 32(2), 153–176.

10071

You might also like