You are on page 1of 5

IET Research Journals

Brief Paper

ISSN 1751-8644
Second-order consensus of multiple doi: 0000000000
www.ietdl.org
non-identical agents with non-linear
protocols
S. Cheng1,2 J.C. Ji1 J. Zhou2
1
Faculty of Engineering and IT, University of Technology, Sydney PO Box 123, Broadway, NSW 2007, Australia
2
Shanghai Institute of Applied Mathematics and Mechanics and Shanghai Key Laboratory of Mechanics in Energy Engineering, Shanghai
University, Shanghai, 200072, People’s Republic of China
E-mail: shanchengcheng2010@163.com

Abstract: The second-order consensus of multiple interacting non-identical agents with non-linear protocols is studied in this
article. Firstly, it is shown that all agents with different non-linear dynamics can achieve consensus without a leader. Secondly,
an explicit expression of the consensus value is analytically developed for the group of all agents. Thirdly, for the consensus of
multiple agents with a leader, it is proved that each agent can track the position and velocity of the leader, which are different from
those of the follower agents. Finally, numerical simulations are given to illustrate the theoretical results.

1 Introduction all agents in the group have significant effects on the final consen-
sus value and their influences are independent. The rest of the paper
The problem of consensus of multiple agents has attracted great is organised as follows. Section 2 states the problem formulations
attention over the past decade. This is mainly because that multiple and part of graph theory. Section 3 gives the main consensus results
agent systems can be found in many applications, including cooper- of multiple non-identical agents with and without a leader. Some
ative and formation control of mobile vehicles, flocking of multiple numerical simulations are given in Section 4. Finally, Section 5
agents, distributed multi-vehicles coordinated control, design of sen- presents a brief conclusion to this paper.
sor network and autonomous underwater vehicles. Generally speak-
ing, consensus means that all agents need to reach an agreement
on certain quantities of interest (such as the position and velocity) 2 Problem formulations
under some control protocols. Vicsek et al. proposed a simple model
for phase transition of a group of self-driven particles and numeri- Some mathematical notations to be used throughout this paper are
cally demonstrated complex dynamics of the model. In this model, given below. Let R define a set of real numbers; Rn be the n-
each agent’s motion is updated by using the local protocol based dimensional real vector; Rn×n be the set of n × n real matrices;
on the average of their own headings and neighbours. Jadbabaie and n̄ = {1, 2, . . . , n} be an index set. To ensure the existence,
et al. provided a theoretical explanation for the Vicsek model based uniqueness of the solution, and the cooperative property of the non-
on algebraic graph theory. Saber and Murry investigated a system- linear protocol, it is assumed that a set of continuously differentiable
atic framework of consensus problems with directed interconnection functions fl (z), hl (z) and bi (t) (i ∈ N̄ , l ∈ n̄) satisfy the following
graphs or time-delays. properties (see and relevant references therein for details):
To the authors’ best knowledge, most existing works concerned
with the second-order consensus of multiple agents assumed that all (i) fl (z) = 0 ⇔ z = 0; zfl (z) > 0, ∀z 6= 0; fl′ (z) denotes the
agents have the same dynamics. As a matter of fact, the dynamics of differentiation with respect to z;
multiple agents composed of a group can be different, for example, (ii) hl (−z) = −hl (z), ∀z ∈ R; hl (z) = 0 ⇔ z = 0; (zj − zi )hl (zj −
each agent can have different mass (inertia) and different velocity zi ) > 0, ∀zj 6= zi ∈ R;
gain because of design restriction and inherent property (or the mea- (iii) 0 < b ≤ bi (t) ≤ b̄ < +∞, ḃi (t) are bounded, where a dot
suring instrument). In addition, non-linear factor inevitably exists denotes the differentiation with respect to time t.
as a non-linear function of a variable between the agents during
the information exchange. For instance, because of the limitation Consider the system consisting of N agents, and the dynamics of
of observational technique and the inaccuracy of model parameters, each agent can be expressed as
the velocity vi (t) of an agent may be unobservable in some cases. In (
such cases, instead, a non-linear function f (vi ) of the velocity vi (t) ṗi (t) = qi (t),
can be observed (see ). On the other hand, the linear parameters of i ∈ N̄ (1)
mi q̇i (t) = ui1 (t) + ui2 (t),
an agent in the formation cannot be known exactly, and the agent
is always subjected to external disturbances and some inevitable
inaccurate data. Accordingly, in order to achieve high control per- where pi (t) = (pi1 (t), pi2 (t), . . . , pin (t))⊤ ∈ Rn and qi (t) =
formance and explore the collective dynamics of multiple agents, the (qi1 (t), qi2 (t), . . . , qin (t))⊤ ∈ Rn are the position and velocity of
consensus problem under non-linear protocols should be considered. agent i, respectively, mi is the mass (inertia) of agent i, ui1 (t) ∈ Rn
The main contribution of this paper is to provide an explicit and ui2 (t) ∈ Rn are control inputs (control protocols). Here, the
expression of the consensus value, which is not only dependent on control protocols are assumed to be of the form
the initial positions and velocities, but also the masses (inertia) and
velocity gains of all agents. For the case of agents with a leader, it ui1 (t) = −bi (t) f (qi ),
will be shown that all agents can track the position and velocity of X
the leader, which are different from those of follower agents in the ui2 (t) = cij h(pj (t) − pi (t)), i ∈ N̄ (2)
group. It will also be shown that the masses and velocity gains of j∈Ni

IET Research Journals, pp. 1–5


c The Institution of Engineering and Technology 2015 1
where bi (t) is the velocity gain of agent i, f (qi ) = (f1 (qi1 ), 3 Consensus of non-identical agents with
f2 (qi2 ), . . . , fn (qin ))⊤ ∈ Rn and h(pj (t) − pi (t)) = (h1 (pj1 − non-linear protocols
pi1 ), h2 (pj2 − pi2 ), . . . , hn (pjn − pin ))⊤ ∈ Rn are strictly increas-
ing non-linear functions with fl (z), hl (z) and bi (t) satisfying 3.1 Consensus of non-identical agents without a leader
the above assumptions (i)–(iii). The main aim of the paper is to
determine ui1 (t) and ui2 (t) for all agents without a leader to satisfy Theorem 1. Consider system (1) with control protocol (2)
and assume that the undirected graph G is connected. Then,
limt→+∞ (pjl (t) − pil (t)) = 0, limt→+∞ qil (t) = 0 (i, j ∈ N̄ , l ∈
lim (pjl (t) − pil (t)) = 0, n̄).
t→+∞

lim qil (t) = 0, i, j ∈ N̄ , l ∈ n̄ Proof: Select the Lyapunov function as


t→+∞

N N n
and for all agents in the presence of a leader, to design the control 1X 1X X X
protocols V (t, pi (t), qi (t)) = mi qi⊤ (t)qi (t) + cij
2 2
i=1 i=1 j∈Ni l=1
Z pjl (t)−pil (t)
ui1 (t) = −bi (t)f (qi ), × hl (s) ds (5)
X 0
ui2 (t) = cij h(pj (t) − pi (t)) + ciL h(pL (t) − pi (t)), i ∈ N̄
j∈Ni Differentiating V (t, pi (t), qi (t)) with respect to time along the
(3) solution of (1) yields

such that N N n
dV X ⊤ 1X X X
= m q
i i (t)q̇ i (t) + cij hl (pjl (t)
dt (1) 2
i=1 i=1 j∈Ni l=1
lim (pil (t) − pLl (t)) = 0,
t→+∞ − pil (t))(qjl (t) − qil (t))
lim (qil (t) − qLl (t)) = 0, i ∈ N̄ , l ∈ n̄ N N n
t→+∞ 1X X X
mi qi⊤ (t)q̇i (t) +
X
= cij hl (pjl (t)
2
i=1 i=1 j∈Ni l=1
where ciL > 0, if there is a connection from the leader to agent i,
− pil (t))qjl (t)
and ciL = 0, if no connection exists from the leader. pL (t) ∈ Rn
and qL (t) ∈ Rn denote the position and velocity of the leader, N n
1X X X
respectively. The dynamics of the leader is governed by − cij hl (pjl (t) − pil (t))qil (t)
2
i=1 j∈Ni l=1
N N n
(
ṗL (t) = qL (t) 1X X X
mi qi⊤ (t)q̇i (t) +
X
(4) = cji hl (pil (t)
q̇L (t) = −bL (t) f (qL ) 2
i=1 i=1 j∈Ni l=1

− pjl (t))qil (t)


It should be noted that control input ui2 (t) is a local control proto- N n
col with a neighbour-to-neighbour interaction between agents. Each 1X X X
− cij hl (pjl (t) − pil (t))qil (t)
agent (for example, agent i) can update its current velocity based 2
i=1 j∈Ni l=1
on the position information of its neighbours. The protocol ui2 (t)
also includes some non-linear properties, such as uncertain linear N N X X
n
mi qi⊤ (t)q̇i (t) −
X X
model parameters and unpredictable external disturbances . Protocol = cij hl (pjl (t)
ui2 (t) requires neighbour’s current positions only and does not need i=1 i=1 j∈Ni l=1
neighbour’s other information.
In the analysis of the convergence conditions for multiple agents, − pil (t))qil (t)
the undirected graph G = {V, E, C} will be used to model the inter- N N X X
n
bi (t)qi⊤ (t) f (qi ) +
X X
action among N agents. V = {1, 2, . . . , N } is the node (agent) =− cij hl (pjl (t)
set; an edge of G is denoted by eij = (i, j) which means nodes j i=1 i=1 j∈Ni l=1
and i can receive information from each other; a set of edges E =
{(i, j) ∈ V × V|i ∼ j} containing unordered pairs of nodes repre- − pil (t))qil (t)
sents communication links; a non-negative adjacency matrix C is N X X
n
defined as: cij = cji > 0 if eij ∈ E (there is a connection between
X
− cij hl (pjl (t) − pil (t))qil (t)
agents i and j), while cij = 0 if eij ∈ / E (there is no connection i=1 j∈Ni l=1
between agents i and j). The network neighbours of agent i are
N
assumed to belong to a set Ni : Ni = { j | (i, j) ∈ E} ⊆ V\{ i }.
qi⊤ (t) f (qi ) ≤ 0
X
The Laplacian matrix L = (lij ) ∈ RN ×N associated with G is ≤ −b (6)
P
defined as lii = j∈Ni cij and lij = −cij (i 6= j). A path of G is i=1
a sequence of edges of the form (i1 , i2 ), (i2 , i3 ), . . . , where ij ∈ V. Rt
An undirected (directed) graph is said to be connected (strongly con- then V̇ (t, pi (t), qi (t)) ≤ 0 and t0 g(s) ds ≤ V (t0 , pi (t0 ), qi (t0 )) −
nected), if there exists a path between any two distinct vertices of the
V (t, pi (t), qi (t)), where g(t) = b N
P Pn
graph. If there exists a path from agent i to agent j, then agent j is Rt i=1 l=1 qil (t)fl (qil ). Fur-
said to be reachable from agent i. For graph G, if there is a path from thermore, limt→+∞ t0 g(s) ds ≤ V (t0 , pi (t0 ), qi (t0 )) < +∞
every agent to agent r, then it can be said that agent r is globally exists and is finite. By considering Lyapunov function (5) and
reachable in G . A graph G associated with the system consisting of equality (6) as well as the properties of fl (z), hl (z) and bi (t),
PN Pn
N agents and one leader (in the leader case) will be considered in P can be seen that ġ(t) = b i=1 l=1 1/m′i [−bi (t)fl (qil ) +
it
subsequent sections. j∈Ni cij hl (pjl (t) − pil (t))][fl (qil ) + qil (t)fl (qil )] is bounded.

IET Research Journals, pp. 1–5


2 c The Institution of Engineering and Technology 2015

Therefore g(t) is uniformly continuous in t and qL (t) (i ∈ N̄ ), respectively. Then the error systems obtained from
(1), (3) and (4) can be written as
X
mi q̇il (t) = −bi (t)fl (qil ) + cij hl (pjl (t) − pil (t)),
j∈Ni 
i, j ∈ N̄ , l ∈ n̄ (7) p̂˙ i (t) = q̂i (t),

q̂˙i (t) = −bi (t)f (q̂i (t) + qL (t)) + bL (t) f (qL ) i ∈ N̄ (8)
 +P
j∈Ni cij h(p̂j (t) − p̂i (t)) − ciL h(p̂i ),

thus limt→+∞ g(t) = 0 by applying the Barbalat lemma ,
which further gives limt→+∞ qil (t) = 0. On the other hand,
limt→+∞ q̇il (t) = 0 since q̇il (t) is uniformly continuous in t. Tak-
ing the limit as t → +∞ on both sides ofP(7) gives rise to the Select the Lyapunov function as
expression limt→+∞ q̇il (t) = limt→+∞ { j∈Ni cij hl (pjl (t) −
pil (t))} = 0, then limt→+∞ (pjl (t) − pil (t)) = 0. 
V (t, qL (t), p̂i (t), q̂i (t))
Corollary 1. Assume f (qi ) = qi (t), bi (t) = bi and suppose that
the undirected graph G is connected. Then M ⊤
N
1 X ⊤
= qL (t)qL (t) + q̂i (t)q̂i (t)
2bk bk
N i=1
1X
pi (t) → (bi pi (0) + mi qi (0)), i ∈ N̄ N X
n Z p̂il (t)
β 2 X
i=1 + ciL hl (s)ds
bk 0
i=1 l=1
as t → +∞, where β = N Z p̂jl (t)−p̂il (t)
P
i=1 bi , pi (0) and qi (0) are the initial N n
position and velocity of pi (t) and qi (t), respectively. 1 X X X
+ cij hl (s)ds
bk 0
i=1 j∈Ni l=1
Proof: Note that α(t) = N
P
i=1 (bi pi (t) + mi qi (t)) is an invariant
quantity and its first-order derivative α̇(t) = 0 because of the sym-
metry of matrix C = (cij )N ×N . Applying α(0) = α(+∞) and Differentiation of V (t, qL (t), p̂i (t), q̂i (t)) with respect to time along
the above results yields pi (t) → 1/β N
P
i=1 (bi pi (0) + mi qi (0)) as the trajectory of (8) results in
t → +∞. 

Remark 1. Lyapunov function V (t, pi (t), qi (t)) is positively defi- N


nite since the properties of hl (z), and V (t, pi (t), qi (t)) = 0 if and dV M ⊤ 2 X ⊤ ˙
= qL (t)q̇L (t) + q̂i (t)q̂i (t)
only if qil (t) = 0 and pjl (t) − pil (t) = 0 (i, j ∈ N̄ , l ∈ n̄). dt (8)
bk bk
i=1
N X
n
Remark 2. In proving Theorem 1, the Barbalat lemma has been 2 X
+ ciL hl (p̂il )q̂il (t)
used instead of Lasalle Invariance Principle since system (1) is a bk
i=1 l=1
time-varying system. Theorem 1 indicates that the asymptotic con-
sensus is reachable even if all agents are non-identical. Corollary N n
1 X X X
1 presents an explicit expression of the consensus value, which + cij hl (p̂jl (t)
depends on the masses (inertial) and velocity gains, the initial bk
i=1 j∈Ni l=1
positions and velocities of all agents. For given initial conditions,
− p̂il (t))(q̂jl (t) − q̂il (t))
suitable bi and mi can be easily selected such that all agents achieve
a desired consensus value. Moreover, the effects of mi and bi on M ⊤
N
2 X ⊤
the final consensus value are independent because of symmetric =− qL (t)bL (t)f (qL ) + q̂i (t)
interaction of topology C. bk bk
i=1
By following a similar analysis to the one developed in Theo- 
rems 1, system (1) can be extended to the directed interconnected

systems satisfying detailed balance conditions . × − bi (t)f (q̂i (t) + qL (t)) + bL (t)f (qL )


3.2 Consensus of non-identical agents with a leader X 
+ cij h(p̂j (t) − p̂i (t)) − ciL h(p̂i )
In some cases, all agents are required to achieve a desired con- j∈Ni

sensus value, which is irrelevant to agents’ initial conditions. This
N
situation is usually referred to as the leader-following consensus in 2 X
the literature. The dynamics of the leader to be considered here is + ciL q̂i⊤ (t)h(p̂i )
bk
non-linear and different from that of any other agents. All other i=1
agents need to reach the same dynamics. To address the consen- N
2 X X
sus of non-identical agents with a leader, system (1) with a virtual − cij q̂i⊤ (t)h(p̂j (t) − p̂i (t))
leader labelled as ‘L’ with dynamics (4) will be investigated in this bk
i=1 j∈Ni
subsection (mi = 1, i ∈ N̄ ).
N
M ⊤ 2 X ⊤
Theorem 2. Consider system (1) with control protocol (3). Suppose =− qL (t)bL (t)f (qL ) − q̂i (t)bi (t)f (q̂i (t)
bk bk
that bL (t) has the same properties with bi (t)(i ∈ N̄ ), fl (z) satisfy- i=1
ing k ≤ fl (z)/z ≤ k̄ (k̄ ≥ k > 0, l ∈ n̄). Then, limt→+∞ (pil (t) − 2
N
q̂i⊤ (t)bL (t)f (qL )
X
pL l (t)) = 0, limt→+∞ (qil (t) − qL l (t)) = 0 provided that the + qL (t)) +
leader has a path to all agents in graph G. bk
i=1
N X
n

(q̂il (t) + qLl (t))2
X
Proof: Denote the position and velocity error functions between ≤ −M qL (t)qL (t) − 2
agent i and the leader ‘L’ as p̂i (t) = pi (t) − pL (t), q̂i (t) = qi (t) − i=1 l=1

IET Research Journals, pp. 1–5


c The Institution of Engineering and Technology 2015 3
Table 1 Mobile robot parameters 3
x
Pioneer 2DX
Parameters Pioneer 3DX Pioneer 2DX with load (4 Kg) Units
2.5

The state trajectories of closed system


ϑ1 0.24089 0.3037 0.1992 s
ϑ2 0.2424 0.2768 0.13736 s
ϑ3 −9.3603e−4 −4.018e−4 −1.954e−3 s.m/rad2 2
ϑ4 0.99629 0.9835 0.9907
ϑ5 −3.7256e−3 −3.818e−3 −1.554e−2 s/m
ϑ6 1.0915 1.0725 0.9866 1.5

1
N N
4b̄2 k̄2 + 2bkb̄k̄ X ⊤
q̂i⊤ (t)q̂i (t) +
X
+ 2 2
qL (t)qL (t)
b k 0.5
i=1 i=1
N
1
q̂i⊤ (t)q̂i (t)
X
≤− 0
2 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
i=1
Time (s) x 10
−3

2N (bkb̄k̄ + 3b2 k2 + 2b̄2 k̄2 )


 

− M− qL (t)qL (t) Fig. 2: Consensus of trajectories of agents without a leader
b2 k 2
a cos(t)ω1 = 0.5
b ω1 = 0 Initial conditions and other parameters are chosen as (pi (0), qi (0)) =
so V̇ (t, qL (t), p̂i (t), q̂i (t)) ≤ 0 if choosing M > 2N (bkb̄k̄ + (0.2i, 0.3i), cij = cji = 0.2(i + j) and mi = 0.1i(i, j = 1, 2, . . . , 6).
3b2 k2 + 2b̄2 k̄2 )/b2 k2 > 0. The last term in the first inequality is
obtained based on the inequality |ab| ≤ 1/2(a2 + b2 ). Then, by 0
using the same analysis procedure developed in Theorem 1, it is easy u
to obtain that limt→+∞ q̂i⊤ (t)q̂i (t) = 0, limt→+∞ qL ⊤
(t)qL (t) =
0 and limt→+∞ p̂il (t) = 0, which imply that qi (t) → qL (t), −500
pi (t) →pL (t) and qL (t) → 0 as t → +∞. 

Corollary 2. Assume bL (t) = bL , f (qL ) = qL (t) and suppose that −1000


The control input u

the leader has a path to all agents in graph G. Then, pi (t) →


pL (0) + qL (0)/bL as t → +∞, where pL (0) and qL (0) are the
−1500
initial position and velocity of the leader, respectively.

Proof: If letting bL (t) = bL , f (qL ) = qL (t), then the solution of (4) −2000
is given by

qL (0) q (0) −2500


pL (t) = pL (0) + − L exp(−bL t)
bL bL
qL (t) = qL (0) exp(−bL t) −3000
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Times (s) x 10
−3

so pi (t) → pL (0) + qL (0)/bL as t → +∞. 


Fig. 3: Consensus of trajectories of agents with a leader
a dL (t) = 0.6 + 0.15 cos(t), ω2 = 0.5
b bL = 0.6, ω2 = 0
Remark 3. Protocol (3) contains a leader, which provides the infor- Initial conditions and other parameters are chosen as (pi (0), qi (0)) =
mation to other agents and does not receive any information from (−0.3i, 0.4i), (pL (0), qL (0)) = (1, 0.3), cij = cji = 0.3(i + j),
other agents. In protocol (3), the second term on the right hand side bi (t) = 0.2i + 0.15 cos(t), ω1 = 0.5, c1L = 1 and mi = mL = 1
(i, j = 1, 2, . . . , 5).

0
of ui2 (t) suggests that the leader has relationships with some of the
The trajectories of the time−derivatives of MFs h1

other agents in the group. In particular, if for any i ∈ N̄ , ciL > 0,


then the leader has connections with all other agents. If for a spe-
cific agent r and crL > 0, ciL = 0 (i ∈ N̄ , i 6= r), then the leader
has a connection with one agent in the group. Since the leader has
−5000
a path to all other agents in graph G, at least one agent can directly
receive information from the leader, and the other agents receive
information from the others either directly or indirectly. Theorem 2
also confirms that control of one agent in the group can ensure all
−10000
agents to achieve a desired consensus value provided that the graph
G is connected .

4 Numerical simulations
−15000
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 In order to illustrate the theoretical results, numerical simulations
Time (s) −3
x 10 were carried out for the system consisting of six (N = 6, n = 1)
non-identical agents with and without a leader, as shown in Fig. 1. In
Fig. 1: Chained interconnection topology with and without a leader the leaderless case, the non-linear control protocols can be selected

IET Research Journals, pp. 1–5


4 c The Institution of Engineering and Technology 2015

as 8 Tanner H.G., Jadbabaie A., Pappas G.J.: ‘Flocking in fixed and switching net-
works’, IEEE Trans. Autom. Control, 2007, 52, pp. 863–868
9 Lee D.J., Spong M.W.: ‘Stable flocking of multiple inertial agents on balanced
ui1 (t) = −bi (t)f (qi ), graphs’, IEEE Trans. Autom. Control, 2007, 52, pp. 1469–1475
10 Hu J., Lin Y.S.: ‘Consensus control for multi-agent systems with double-integrator
cij (pj (t) − pi (t))3
X X
ui2 (t) = cij (pj (t) − pi (t)) + dynamics and time delays’, IET Control Theory Appl., 2010, 4, pp. 109–118
j∈Ni j∈Ni 11 Lin P., Jia Y.: ‘Further results on decentralised coordination in networks of agents
(9) with second-order dynamics’, IET Control Theory Appl., 2009, 3, pp. 957–970
12 Lin P., Jia Y.: ‘Robust H∞ consensus analysis of a class of second-order multi-
agent systems with uncertainty’, IET Control Theory Appl., 2010, 4, pp. 487–498
and in the presence of a leader, the control protocols can be chosen 13 He W., Cao J.: ‘Consensus control for high-order multi-agent systems’, IET
as Control Theory Appl., 2011, 1, pp. 231–238
14 Hui Q., Haddad W.M.: ‘Distributed nonlinear control algorithms for network
consensus’, Automatica, 2008, 44, pp. 2375–2381
ui1 (t) = −bi (t)f (qi ), 15 Liu X., Chen T., Lu W.: ‘Consensus problem in directed networks of multi-agents
via nonlinear protocols’, Phys. Lett. A, 2009, 373, pp. 3122–3127
cij (pj (t) − pi (t) + (pj (t) − pi (t))3 )
X
ui2 (t) = 16 Zheng Y., Zhu Y., Wang L.: ‘Consensus of heterogeneous multi-agent systems’,
IET Control Theory Appl., 2011, 5, pp. 1881–1888
j∈Ni
17 Zhang W., Zeng D., Qu S.: ‘Dynamic feedback consensus control of a class of
+ ciL (pL (t) − pi (t) + (pL (t) − pi (t))3 ) (10) high-order multi-agent systems’, IET Control Theory Appl., 2010, 4, pp. 2219–
2222
18 Su H.S., Wang X.F., Lin Z.L.: ‘Flocking of multi-agents with a virtual leader’,
where f (qi ) = qi (t) + ω1 sin(qi ) and f (qL ) = qL (t) + ω2 sin(qL ) IEEE Trans. Autom. Control, 2009, 54, pp. 293–307
19 Song Q., Cao J., Yu W.: ‘Second-order leader-following consensus of nonlinear
(ω1 ≥ 0, ω2 ≥ 0). multi-agent system via pinning control’, Syst. Control Lett., 2010, 59, pp. 553–562
Fig. 2 shows the consensus process of positions and velocities 20 Hong Y.G., Chen G.R., Bushnell L.D.: ‘Distributed observers design for leader-
of all agents in system (1) with protocol (9). It indicates that all following control of multi-agent networks’, Automatica, 2008, 44, pp. 846–850
non-identical agents can achieve consensus within a short period of 21 Hu J., Hong Y.: ‘Leader-following coordination of multi-agent systems with
coupling time delays’, Physica A, 2007, 374, pp. 853–863
time. From Pthe result of Corollary 1, the consensus value is found to 22 Ren W.: ‘Consensus strategies for cooperative control of vehicle formations’, IET
be 1/4.2 6i=1 (bi pi (0) + mi qi (0)) ≈ 1.5167 as t → +∞ when Control Theory Appl., 2007, 1, pp. 505–512
bi (t) = 0.2i, mi = 0.1i and f (qi ) = qi (t). Fig. 3 illustrates that all 23 Khalil H.K.: ‘Nonlinear systems’ (Prentice-Hall, New Jersey, 2002, 3rd edn.)
positions and velocities of system (1) with protocol (10) can track
the position and velocity of the leader. When bL = 0.6, f (qL ) =
qL (t), the exact position of the leader is pL (0) + qL (0)/bL = 1.5
as t → +∞ from Corollary 2. It can be concluded from Figs. 2 and
3 that the theoretical results are in good agreement with numerical
simulations.

5 Conclusion
The consensus of multiple non-identical agents with non-linear con-
trol protocols has been studied for the agents with and without
a leader. It was shown that all different agents in the group can
achieve consensus, and an explicit consensus value for the group
was obtained for some cases. For the agents with a leader, it was
found that all agents can track the position and velocity of the leader,
which are distinct from those of any follower agents. Numerical
simulations were used to illustrate the theoretical results.

6 Acknowledgments

Shan Cheng is indebted to the China Scholarship Council (CSC) for


its financial support as a visiting scholar at the University of Tech-
nology, Sydney. This work was partially supported by the National
Science Foundation of China (Grant no. 10972129), the Innova-
tion Program of Shanghai Municipal Education Commission (Grant
no. 10ZZ61), the Shanghai Leading Academic Discipline Project
(Project no. S30106), and the Graduate Innovation Foundation of
Shanghai University (Project no. SHUCX 101080).

7 References
1 Vicsek T., Czirók A., Ben-Jacob E., Cohen I.: ‘Novel type of phase transition in a
system of self-driven particles’, Phys. Rev. Lett., 1995, 75, pp. 1226–1229
2 Jadbabaie A., Lin J., Morse A.S.: ‘Coordination of groups of mobile autonomous
agents using nearest neighbor rules’, IEEE Trans. Autom. Control, 2003, 48,
pp. 988–1001
3 Olfati-Saber R., Murray R.M.: ‘Consensus problems in networks of agents with
switching topology and time-delays’, IEEE Trans. Autom. Control, 2004, 49,
pp. 1520–1533
4 Ren W., Atkins E.: ‘Distributed multi-vehicle coordinated control via local infor-
mation exchange’, Int. J. Robust Nonlinear Control, 2007, 17, pp. 1002–1033
5 Ren W.: ‘On consensus algorithms for double-integrator dynamics’, IEEE Trans.
Autom. Control, 2008, 53, pp. 1503–1509
6 Xie G., Wang L.: ‘Consensus control for a class of networks of dynamic agents’,
Int. J. Robust Nonlinear Control, 2007, 17, pp. 941–959
7 Gao Y., Wang L.: ‘Consensus of multiple dynamic agents with sampled informa-
tion’, IET Control Theory Appl., 2010, 4, pp. 945–956

IET Research Journals, pp. 1–5


c The Institution of Engineering and Technology 2015 5

You might also like