# Consensus of High-Order Linear Multiagent Systems with Multitype Switching Topologies Based on the Dynamic Dwell Time Approach

Authors: Yaxiao Zhang; Yangzhou Chen; Xiaojun Qu
Journal: Mathematical Problems in Engineering
 (2016)

---

## Abstract

This paper investigates the consensus problem of high-order continuous-time linear multiagent systems (LMASs) with multitype switching topologies which include both consensusable and unconsensusable communication topologies. A linear transformation is introduced, which equivalently transforms the consensus problem into the stability problem of a corresponding switched system, along with a necessary and sufficient condition to analyze the consensus problem. This paper is aimed at studying the impact of a switching rule on communication topologies for consensus of LMASs. Based on the dynamic dwell time method, a sufficient condition is derived for consensus of LMASs. It is shown that, with switching signals that satisfy this switching rule, LMASs can achieve consensus under directed switching communication topologies. A numerical example is provided to illustrate the effectiveness of the theoretical results.


---

## Body

## 1. Introduction

In the past few decades, the study of distributed coordination control of multiagent systems has been a hot topic due to the extensive applications in various specialized areas, including flocking [1], formation control [2], the cooperative control of unmanned air vehicles [3], and communication control of large scale networks [4]. Consensus, as one of the most important subjects in distributed coordination control, means that, by appropriate control protocols, multiple agents can reach agreement on certain quantities of interest, such as velocity, position, or heading direction.Numerous significant theoretical results in the literature have dealt with the consensus problem of multiagent systems in the framework of first-order/second-order state space [5–7]. However, due to the complexity and diversity of agents in the real world, high-order dynamics should be considered. Reference [8] investigated a general high-order model for linear multiagent systems (LMASs) under a fixed communication topology and presented some consensus criteria. The impact of the agent dynamic structure and the communication topology on consensusability was pointed out in [9]. Reference [10] derived some necessary and sufficient conditions for ensuring consensus of high-order system and introduced the concept of consensus regions. In [11], consensus criteria and consensus functions were obtained, and the design of feedback gain matrix in protocol was provided.Moreover, link failure and creation occur frequently due to, for instance, the sensors limited communication range, transmission failures, and certain obstacles. Therefore, the study of the consensus of high-order LMASs under switching topologies is more practical. Under the assumption that the communication topologies are undirected, a sufficient condition for consensus was derived in [12] with a constraint that the communication topologies are required to be “frequently connected.” In [13], the communication topology condition was extended to “jointly connected.” Based on digraphs, [14] relaxed the communication topology conditions in [12, 13] and pointed out the fact that the “uniformly jointly quasi-strongly connected” topology is critical for LMASs to achieve consensus.It is well known that there are three key factors for consensus of LMAS under fixed topology: dynamic structure of agents, communication topology of LMASs, and control protocol. Further, switching signals on communication topologies play a key role in achieving consensus for LMASs under switching topologies. When dynamic structures of agents and possible communication topologies are given, one can study the relationship between the consensus and the switching rule of communication topologies. A natural question which arises is with what switching signal can the LMASs achieve consensus? Literature addressing this concern has already been published. For instance, by using the average dwell time method, [15] chose a class of signals to deal with a synchronization problem of a nonlinear multiagent system under undirected switching topologies. The topology condition was extended to the digraph in [16, 17]. However, switching signals based on the average dwell time method are “slow switching” and are too limited to precisely depict the sufficient condition for consensus. This limitation brings difficulties to the analysis of consensus conditions. To overcome this drawback, a switching rule based on the dynamic dwell time method [18] was introduced in [19] with an assumption that all possible communication topologies are consensusable.However, in practice, the possible communication topologies of LMASs are not always consensusable. Thus, this paper analyzes the consensus problem for high-order LMASs under multitype switching topologies. It is aimed at exploring a switching rule, such that, with a class of switching signals satisfying this rule, consensus can be achieved by LMASs. Compared with the existing works, the contributions of the paper are summarized as follows.(
1
) Communication topology conditions in [19] are extended to include both consensusable and unconsensusable communication topologies. (
2
) Compared with the switching rule based on the average dwell time method in [16, 17], a switching rule based on the dynamic dwell time method is less conservative and more flexible; in addition, it allows more numbers of switching signals.An outline of this paper is organized as follows. In Section2, some basic concepts are described and the problem to be studied is formulated. A linear transformation is presented along with a lemma to describe the equivalent relation between the consensus problem and the stability problem of a corresponding switched system in Section 3. A sufficient condition based on the dynamic dwell time method for the consensus of LMASs is established in Section 4. A numerical example is provided in Section 5. Conclusions are drawn in Section 6.


## 2. Problem Description

Consider a system consisting ofN agents, labelled 1 through N, and the dynamic of the ith agent is (1)
x
˙
i
t
=
A
x
i
t
+
B
u
i
t
,
x
i
0
=
x
i
0
,
i
∈
I
,where x
i
∈
R
n is the state variable of agent i, u
i
∈
R
m is its control input, I
=
{
1
,
…
,
N
} is the index set of agents, and A
∈
R
n
×
n and B
∈
R
n
×
m are constant matrices.The communication topology (hereafter referred to as topology) of system (1) is expressed by a weighted digraph N
(
t
)
=
{
V
,
E
(
t
)
,
W
(
t
)
}, where the ith element of the vertex set V
=
{
v
1
,
…
,
v
N
} represents agent i, and the element (
v
i
,
v
j
) of the time-varying edge set E
(
t
)
⊆
V
×
V denotes the communication link from agents i to j. Let N
i
(
t
)
=
{
v
j
∈
V
,
(
v
j
,
v
i
)
∈
E
(
t
)
} stand for the neighbor set of agent i, and weight matrix W
(
t
)
=
[
w
i
j
]
N
×
N, where w
i
j is a scalar which represents the coupling strength of information transmitting from agents j to i, i
,
j
∈
I.Using a protocol [5], (2)
u
i
t
=
K
∑
j
∈
N
i
t
w
i
j
t
x
j
t
-
x
i
t
,
i
∈
I
,where K
∈
R
m
×
n is a feedback gain matrix.Definition 1.
System (1) achieves consensus via protocol (2) if, for any initial state, there is l
i
m
t
→
∞
x
i
(
t
)
-
x
j
(
t
)
=
0
,
i
,
j
∈
I.Herein· denotes the Euclidean norm of a vector.Definition 2 (see [19]).
A time-invariant topologyN is called consensusable topology of system (1), if there exists a protocol in form (2) such that system (1) achieves consensus. Otherwise, topology N is unconsensusable.For instance, a topology in which there exists a spanning tree is consensusable.Due to various reasons, such as the sensors limited communication range, transmission failures, and obstacles, the communication links between agents may disconnect or reconnect and result in time-varying topologyN
(
t
). Without loss of generality, suppose there are finite topologies of system (1); that is, N
(
t
)
∈
N
A
=
{
N
l
,
l
∈
M
}, M
=
{
1
,
…
,
M
}. Within N
A, there are M
1 consensusable topologies, that is, set N
C
=
{
N
l
,
l
∈
M
-
}, and M
2 unconsensusable topologies, that is, set N
U
=
{
N
l
,
l
∈
M
+
}, where M
=
M
-
∪
M
+ and N
A
=
N
C
∪
N
U. Next, we consider a case which satisfies the following assumption.Assumption 3.
TopologyN
(
t
) switches within set N
A
=
{
N
l
,
l
∈
M
}, where N
l
,
l
∈
M
- is consensusable, while N
l
,
l
∈
M
+ is unconsensusable.Via protocol (2), system (1) can be expressed by the switched system as follows: (3)
x
˙
t
=
I
N
⊗
A
-
L
σ
t
⊗
B
K
σ
t
x
t
,
t
∈
0
,
∞
,where x
=
x
1
T
⋯
x
N
T
T
∈
R
N
n, x
(
0
)
=
x
0 is initial state, I
N is the identity matrix of order N, ⊗ is the Kronecker product of matrices, σ
(
t
)
:
[
0
,
+
∞
)
→
M is a piecewise constant function which describes the switching law of topology N
(
t
); namely, N
(
t
)
=
N
l
⇔
σ
(
t
)
=
l
,
l
∈
M. Suppose that there is finite switching for N
(
t
) within any finite time interval. For any given σ
(
t
), define the switching sequence (
t
0
,
l
0
)
,
(
t
1
,
l
1
)
,
…
,
(
t
r
,
l
r
)
,
…
,
∣
l
r
∈
M
,
r
=
0,1
,
…, where σ
t
r
=
l
r; that is, the topology of LMAS (1) is N
l
r when t
∈
[
t
r
,
t
r
+
1
). L
σ
(
t
)
∈
R
N
×
N is the weighted Laplacian matrix induced by the topology N
(
t
)
=
{
N
i
σ
(
t
)
,
i
∈
I
}, and its entries are defined by (4)
l
i
j
σ
t
=
∑
k
=
1
,
k
≠
i
N
w
i
k
σ
t
,
j
=
i
-
w
i
j
σ
t
,
j
≠
i
,
i
,
j
∈
I
,
j
∈
N
i
.It is generally known that the switching signals of topologies have great impact on the consensus of LMASs. If LMASs follow an incorrect switching signal, consensus cannot be achieved even thoughN
(
t
) switches within consensusable topologies. Conversely, if LMASs follow a correct switching signal, consensus can be achieved even if N
(
t
) switches within unconsensusable topologies. We aim to explore under what condition for the switching signal σ
(
t
) can system (1) achieve consensus via protocol (2) with topology N
(
t
) satisfying Assumption 3. In order to depict the switching signal σ
(
t
), we introduce the definition of dwell time.Definition 4 (see [20]).
Let{
t
k
,
k
=
0,1
,
2
,
…
} be the set of switching instants of a given switching signal σ
(
t
), where t
0
=
0. τ
l
(
t
k
)
=
t
k
+
1
-
t
k is called the dwell time of system (1) under topology N
l
,
l
=
σ
(
t
k
).Next, by a linear transformation, we equivalently transform the consensus problem into an asymptotic stability problem of a corresponding switched system.


## 3. Linear Transformation and Consensus Analysis

Consider the following linear transformation [11]: (5)
x
¯
=
H
x
,
H
≕
H
~
0
1
N
T
⊗
I
n
,where 1
N
T
=
1
1
⋯
1 is N dimensional vector, x
¯
=
x
¯
1
T
⋯
x
¯
N
-
1
T
x
¯
N
T
T, and H
~
0 is (
N
-
1
)
×
N matrix defined by (6)
H
~
0
=
1
-
1
0
⋯
0
0
1
-
1
⋯
0
⋮
⋮
⋮
⋱
⋮
0
⋯
0
1
-
1
.The inverse matrix of H can be worked out as follows: (7)
H
-
1
≕
H
^
0
N
-
1
1
N
⊗
I
n
,where H
^
0 is N
×
(
N
-
1
) matrix given by (8)
H
^
0
=
1
N
N
-
1
N
-
2
⋯
1
-
1
N
-
2
⋯
1
⋮
⋮
⋱
⋮
-
1
-
2
⋯
1
-
1
-
2
⋯
-
N
-
1
.After the linear transformation (5), system (3) is transformed into the following system: (9)
x
¯
˙
t
=
H
I
N
⊗
A
-
L
σ
t
⊗
B
K
σ
t
H
-
1
x
¯
t
,
x
¯
0
=
x
¯
0
.Letx
¯
=
y
T
z
T
T, where y
=
x
¯
1
T
⋯
x
¯
N
-
1
T
T
,
z
=
x
¯
N. Then system (9) can be rewritten into two equations: (10)
y
˙
=
A
¯
σ
t
y
,
z
˙
=
C
¯
σ
t
y
+
A
z
,where (11)
A
¯
σ
t
=
I
N
-
1
⊗
A
-
H
~
0
L
σ
t
H
^
0
⊗
B
K
σ
t
,
C
¯
σ
t
=
-
1
N
T
L
σ
t
H
^
0
⊗
B
K
σ
t
.Asσ
(
t
) is a piecewise constant function that maps into M, the first equation of system (10) can be expressed by a switched system with M subsystems and a switching signal σ
(
t
):(12)
y
˙
=
A
¯
l
y
,
l
∈
M
.Definition 5 (see [20]).
The equilibrium pointy
=
0 of the switched system (12) is said to be exponentially stable under switching signal σ
(
t
) if the solution y
(
t
) satisfies (13)
y
t
≤
η
y
t
0
e
-
λ
t
-
t
0
,
∀
t
≥
t
0
,where constants η
≥
1 and λ
>
0.The consensus of system (1) via protocol (2) is equivalent to the asymptotic stability of equilibrium point y
=
0 for the switched system (12). Thus, similar to the proof process of Lemma 2 and Theorem  1 in [11], we arrive at the following lemma.Lemma 6.
For given topology set{
N
l
,
l
∈
M
} and a switching signal σ
(
t
), via protocol (2), system (1) achieves state consensus if and only if the switched system (12) is exponentially stable.Letσ
(
t
)
≡
l. From Lemma 6 we can derive a consensus criterion of system (1) under fixed topology N
l as follows.Corollary 7.
N
l, the topology of system (1), is consensusable if and only if the matrix A
¯
l in (12) is Hurwitz stable.


## 4. Main Results

In this section, based on the dynamic dwell time method, we will analyze a sufficient condition that guarantees the consensus of system (1) under multitype switching topologies.Suppose topologyN
(
t
) satisfies Assumption 3. From Corollary 7, we obtain that A
¯
l, l
∈
M
- in (12) is Hurwitz stable while A
¯
l, l
∈
M
+ is not Hurwitz stable. Hence, there are positive scalars λ
l
,
l
∈
M and positive definite matrices Q
l
,
l
∈
M such that (14)
A
¯
l
+
λ
l
I
T
Q
l
+
Q
l
A
¯
l
+
λ
l
I
<
0
,
l
∈
M
-
,
A
¯
l
-
λ
l
I
T
Q
l
+
Q
l
A
¯
l
-
λ
l
I
<
0
,
l
∈
M
+
.Define the Lyapunov functions (15)
V
l
y
=
y
T
Q
l
y
,
y
∈
R
N
-
1
n
,
l
∈
M
.AsN
(
t
) switches among topology set N
A
=
N
C
∪
N
U. Without loss of generality, suppose system (1) firstly runs under several consensusable topologies in succession, which are denoted by a consensusable subgroup N
C
k
︷
,
k
=
1,2
,
… and then follow with several unconsensusable topologies one after another, which is denoted as unconsensusable subgroup N
U
k
︷
,
k
=
1,2
,
…, and that cycle repeats. Hence, we have an assumption about switching signal σ
(
t
) as follows.Assumption 8.
The consensusable subgroupN
C
k
︷
,
k
=
1,2
,
… is first activated and then follows with the unconsensusable subgroup N
U
k
︷, and that cycle repeats. Switching signal σ
(
t
) has a sequence of switching instants as follows: (16)
s
u
b
g
r
o
u
p
switching  instants
​
⋯
⋯
N
C
k
-
1
︷
t
k
-
1
-
,
t
k
-
1
-
+
1
,
…
,
t
k
-
1
-
+
l
k
-
1
-
;
N
U
k
-
1
︷
t
k
-
1
+
,
t
k
-
1
+
+
1
,
…
,
t
k
-
1
+
+
l
k
-
1
+
;
N
C
k
︷
t
k
-
,
t
k
-
+
1
,
…
,
t
k
-
+
l
k
-
;
N
U
k
︷
t
k
+
,
t
k
+
+
1
,
…
,
t
k
+
+
l
k
+
;
⋯
⋯
,where l
k
-
=
1,2
,
… and l
k
+
=
0,1
,
2
,
….Remark 9.
From Assumption8, we know that, for any positive number T, there exists interval [
t
k
-
,
t
k
-
+
1
)
∈
[
T
,
∞
) such that a consensusable topology is activated.Letl
- be the index of the former consensusable topology of N
l
,
l
∈
M
-. t
-
(
t
+
) is the left (right) limit of t.Theorem 10.
Assume that topologyN
(
t
) of system (1) satisfies Assumption 3 and the switching signal σ
(
t
) satisfies Assumption 8. System (1) can achieve consensus via protocol (2) with the switching signal σ
(
t
) if the corresponding dwell time τ
l of N
l
,
l
=
σ
(
t
k
-
)
∈
M
- for system (1) satisfies (17)
τ
l
t
k
-
>
2
λ
l
-
1
Δ
¯
l
y
t
k
-
,
i
f
δ
¯
l
y
t
k
-
>
0
0
,
i
f
δ
¯
l
y
t
k
-
≤
0
,where (18)
δ
¯
l
y
t
k
-
=
V
l
y
t
k
-
-
V
l
-
y
t
k
-
1
+
,
Δ
¯
l
y
t
k
-
=
ln
⁡
V
l
y
t
k
-
-
ln
⁡
V
l
-
y
t
k
-
1
+
.Proof.
First, we prove that switched system (12) is asymptotic stable. It contains three steps as follows.
Step  1. Condition (17) implies (19)
V
y
t
k
-
+
1
-
<
V
y
t
k
-
1
+
-
,
k
=
1,2
,
…
.Considering the Lyapunov functions V
l
(
y
) in (15), there are (20)
α
1
y
2
≤
V
l
y
≤
α
2
y
2
,
l
∈
M
,where α
1
=
m
i
n
l
∈
M
λ
m
i
n
(
Q
l
) and α
2
=
m
a
x
l
∈
M
λ
m
a
x
(
Q
l
). Let λ
¯
=
m
a
x
l
∈
M
+
λ
l and λ
_
=
m
i
n
l
∈
M
-
λ
l. From (14), we obtain (21)
V
˙
l
y
t
<
-
2
λ
l
V
l
y
t
,
l
∈
M
-
,
2
λ
¯
V
l
y
t
,
l
∈
M
+
.
Hence, fort
∈
[
t
k
-
,
t
k
-
+
1
)
,
k
=
1,2
,
…, there is (22)
V
y
t
=
e
-
2
λ
l
t
-
t
k
-
V
y
t
k
-
+
.
Lett
=
t
k
-
+
1
-, and, from (21), we derive (23)
V
y
t
k
-
+
1
-
<
e
-
2
λ
l
t
k
-
+
1
-
t
k
-
V
y
t
k
-
+
=
e
-
2
λ
l
τ
t
k
-
V
y
t
k
-
+
V
y
t
k
-
1
+
-
V
y
t
k
-
1
+
-
=
e
-
2
λ
l
τ
t
k
-
V
l
y
t
k
-
V
l
-
y
t
k
-
1
+
V
y
t
k
-
1
+
-
=
e
ϕ
V
y
t
k
-
1
+
-
,where ϕ
=
-
2
λ
l
τ
(
t
k
-
)
+
l
n
V
l
(
y
(
t
k
-
)
)
-
l
n
V
l
-
(
y
(
t
(
k
-
1
)
+
)
). Thus, formula (19) is available.
Step  2. Without loss of generality, assume that x
(
t
1
-
) is the initial state. According to (20), we obtain (24)
V
y
t
k
+
+
≤
α
2
y
t
k
+
≤
α
2
α
1
V
y
t
k
+
-
.By (21), for t
∈
[
t
k
+
,
t
(
k
+
1
)
-
), we have(25)
V
y
t
<
e
2
λ
¯
t
-
t
k
+
α
2
α
1
V
y
t
k
+
-
,
∀
t
∈
t
k
+
,
t
k
+
+
1
;
V
y
t
<
e
2
λ
¯
t
-
t
k
+
α
2
α
1
2
V
y
t
k
+
-
,
∀
t
∈
t
k
+
+
1
,
t
k
+
+
2
;
⋮
V
y
t
<
e
2
λ
¯
t
-
t
k
+
α
2
α
1
l
k
+
+
1
V
y
t
k
+
-
;
∀
t
∈
t
k
+
+
l
k
+
,
t
k
+
1
-
.
It concludes that(26)
V
y
t
<
e
2
λ
¯
t
-
t
k
+
h
k
V
y
t
k
+
-
,
t
∈
t
k
+
,
t
k
+
1
-
,where h
k
=
max
m
=
1
,
…
,
l
k
+
+
1
⁡
{
(
α
2
/
α
1
)
m
}. By using (19), we obtain (27)
V
y
t
<
e
2
λ
¯
t
-
t
k
+
h
k
V
y
t
k
+
-
<
⋯
<
e
2
λ
¯
t
k
+
1
-
-
t
k
+
∏
s
=
1
k
h
s
β
V
y
t
1
-
.
Thus, for anyε
>
0, there exists δ
1
=
(
α
1
-
1
α
2
e
2
λ
¯
(
t
(
k
+
1
)
-
-
t
k
+
)
∏
s
=
1
k
‍
h
s
β
)
-
1
/
2
ε, such that y
(
t
)
<
ε for all t
∈
[
t
1
-
,
∞
), whenever y
(
t
1
)
<
δ
2.
Step  3. When t
∈
[
t
k
-
+
1
,
t
k
+
), we get(28)
V
y
t
<
e
-
2
λ
_
t
-
t
k
-
+
1
α
2
α
-
1
V
y
t
k
-
+
1
-
,
∀
t
∈
t
k
-
+
1
,
t
k
-
+
2
;
V
y
t
<
e
-
2
λ
_
t
-
t
k
-
+
1
α
2
2
α
-
2
V
y
t
k
-
+
1
-
,
∀
t
∈
t
k
-
+
2
,
t
k
-
+
3
;
⋮
V
y
t
<
e
-
2
λ
_
t
-
t
k
-
+
1
α
2
l
k
-
α
-
l
k
-
V
y
t
k
-
+
1
-
,
∀
t
∈
t
k
+
l
k
-
,
t
k
+
.
In summary,(29)
V
y
t
<
h
¯
k
V
y
t
k
-
+
1
-
,
t
∈
t
k
-
+
1
,
t
k
+
,where h
¯
k
=
m
a
x
r
=
1
,
…
,
l
k
-
{
(
α
2
/
α
1
)
r
}. Consider(30)
V
y
t
<
e
-
2
λ
_
t
-
t
k
-
+
1
-
h
¯
k
V
y
t
k
-
+
1
-
<
⋯
<
∏
s
=
1
k
h
¯
s
β
V
y
t
1
-
,where β is a positive constant.
Therefore, for anyε
>
0, there exist δ
2
=
(
α
1
-
1
α
2
∏
s
=
1
k
‍
h
¯
s
β
)
-
1
/
2
ε such that y
(
t
)
<
ε for all t
∈
[
t
1
-
,
∞
), whenever y
(
t
1
-
)
<
δ
1.
Hence, for anyt
>
0 and ε
>
0, there exist δ
2
=
max
⁡
(
δ
1
,
δ
2
) such that y
(
t
)
<
ε. Consequently, the switched system (12) is asymptotic stable.
From Lemma6 we know that system (1) achieves consensus. The proof is complete.Remark 11.
Letμ
=
s
u
p
y
∈
R
n
N
-
1
μ
∥
μ
=
V
l
y
t
k
-
/
V
l
-
y
t
(
k
-
1
)
+
;
l
,
l
-
∈
M
-, λ
-
=
m
i
n
l
∈
M
-
λ
l, λ
+
=
m
a
x
l
∈
M
+
λ
l, and choose λ
∗
∈
λ
,
λ
-. It can be seen that the condition in Theorem 10 implies both τ
>
l
n
μ
/
λ and time ratio condition i
n
f
t
≥
0
T
-
t
/
T
+
t
≥
λ
+
+
λ
∗
/
λ
-
-
λ
∗, where T
-
(
t
) (resp., T
+
(
t
)) stands for the total activation time of system (1) under consensusable (resp., unconsensusable) topologies. Theorem 2 in [16] is a special case of Theorem 10.Remark 12.
When unconsensusable topology setN
U
=
∅, that is, N
(
t
) switches in consensusable topology set N
A
=
N
C, it can be seen that Theorem  1 in [19] is only a special case of Theorem 10.


## 5. Simulation Example

In this section, we give a numerical simulation to illustrate the obtained result. Consider a multiagent system with 6 agents:(31)
x
˙
i
t
=
0
1
0
0
x
i
t
+
0
1
u
i
t
,
i
=
1
,
…
,
6
,with protocol (32)
u
i
t
=
1
1.2
∑
j
∈
N
i
σ
t
w
i
j
σ
t
x
j
t
-
x
i
t
,where x
i
(
t
)
=
[
x
i
1
(
t
)
,
x
i
2
(
t
)
]
T.Figure1 shows four different directed topologies N
l
:
l
=
1,2
,
3,4. The weight of each edge is 1. From Definition 2 and Corollary 7, it derives that N
1 and N
3 are consensusable topologies while N
2 and N
4 are unconsensusable topologies. Consider switching topologies with a periodic switch sequence S
:
N
1
→
N
2
→
N
3
→
N
4
→
N
1
⋯.Figure 1
Four possible topologies of system (31).Next, we compare the consequences of two types of switching signals which are correspondingly based on the dynamic dwell time method (DDTM) in this paper and on the average dwell time method (ADTM) in [16].By use of the ADTM in [16], we obtain that if the switching signals of topologies satisfy both average dwell time condition τ
a
≥
6.6776 and time ratio condition i
n
f
t
≥
0
T
-
(
t
)
/
T
+
(
t
)
≥
3, via protocol (32), system (31) can achieve consensus under switching topology. Figure 2 depicts the state trajectory of each state component of the six agents under the aforementioned switching topologies and a switching signal σ
a
(
t
) in Figure 3 with the switching sequence S.Figure 2
State trajectories of system (31) with σ
a
(
t
).Figure 3
A switching signalσ
a
(
t
) of N
1
,
N
2
,
N
3
,
N
4.By using the DDTM (17), we can obtain the dynamic dwell time τ
l
(
t
k
)
,
l
=
1,2
,
3,4
,
k
=
1,2
,
…, that evolves on the topologies N
l
,
l
=
1,2
,
3,4. If switching signals of topology satisfy dynamic dwell time condition, via protocol (32), system (31) can achieve consensus under switching topologies. Part values of the minimum dwell time of a switching signal are shown in Table 1. Choose dwell time τ
l
(
t
k
)
+
0.2; Figure 4 gives the state trajectory of each state component of the six agents under the aforementioned switching topologies and a switching signal σ
d
(
t
) in Figure 5 with the switching sequence S.Table 1
Part values of the minimum dwell timeτ
l
(
t
k
).
Topology
N
1
N
2
N
3
N
4
τ
l
(
t
k
)
0
0.1903
0
0.284
1.4086
0.0380
0
0.0270
0.7497
0.2654
0
0.3896
0.9814
0.4671
0.2749
0.0650
0.5577
0.2845
0.0557
0.2347
0.5707
0.0060
0
0.1686
⋯
⋯
⋯
⋯Figure 4
State trajectories of system (31) with σ
d
(
t
).Figure 5
A switching signalσ
d
(
t
) of N
1
,
N
2
,
N
3
,
N
4.What is shown in Figures2 and 4 indicates that, for the same dynamic, topologies, switching sequence S, protocol, and initial states, system (31) can achieve consensus by the use of switching signals based on average and dynamic dwell time methods. However, switching signal σ
a
(
t
) in Figure 3 switches 4 times within 25 seconds; in contrast, switching signal σ
d
(
t
) in Figure 5 switches 68 times within 25 seconds. Based on the above analysis, DDTM (17) is less conservative and provides more flexible switching signals in practical ways for the LMASs to achieve consensus.


## 6. Conclusion

The consensus problem has been studied for high-order LMASs under multitype communication topologies that include both consensusable and unconsensusable topologies. By using a linear transformation, a lemma has been presented which analyzes the equivalence relation between the consensus of LMASs and the asymptotic stability of a corresponding system. Based on the dynamic dwell time method, a switching rule has been characterized. With a class of switching signals which satisfies this switching rule, the consensus of LMASs can be achieved under multitype switching topologies. Finally, the effectiveness of the proposed theory has been illustrated by a numerical example.



---

*Source: 7396419-2016-01-28.xml*