1. Introduction
The multi-agent system has become a very popular topic in the control community in recent years. This is mainly due to its broad applications in practical systems, such as formation control (see [
1,
2]), time synchronization (see [
3,
4,
5]), etc. In the study of the multi-agent system, a fundamental problem is to design a distributed controller such that the states or the outputs of all agents reach an agreement whereas every agent has only access to the information of its neighboring agents. Such a problem, which is called the consensus problem, has been studied widely (see [
6,
7]).
It is a well-known fact that delay is unavoidable in many practical systems, which can lead to oscillatory instability, chaos and bifurcation (see [
8,
9,
10]). In the multi-agent system, many factors such as the packet loss, the channel congestion, and the communication distance can cause delays. When the number of agents is large and the distance between these agents is small, the delay caused by the communication distance is very small and is often ignored. However, in order to perform precise tasks, the state between agents needs to be exactly synchronized. For example, in the field of the military reconnaissance, if a distributed multi-agent system needs to cooperatively observe targets, the agents need to achieve exact time synchronization. In this type of system, the time synchronization error between agents needs to reach the microsecond or nanosecond level (see [
11]), and the smaller the time synchronization error is, the better the cooperative task of agents is completed. In this case, although the delay caused by the communication distance is very small, which may only reach the millisecond or microsecond level, it still cannot be ignored. Furthermore, when the number of agents in the system is small and the distance between agents is far, the density of the network is small. In this kind of network, the delay caused by the packet loss and the channel congestion decreases (see [
12]). On the contrary, the delay caused by the communication distance increases and has a greater impact on the communication time-delay. Therefore, this paper mainly studies the influence of the time-delay caused by the communication distance on the consensus of the distributed multi-agent system.
Generally, time delays studied in multi-agent systems can be divided into constant delays (see [
13,
14]), time-varying delays (see [
15,
16,
17]) and random delays (see [
18]). In most of the researches, the above-mentioned delays were assumed to be bounded. To solve the consensus problem of multi-agent systems with bounded time-delays, researchers use the following common methods. In [
15,
18], by expanding the dimension of the system by a finite multiple, the multi-agent system with bounded time-delays is transformed into the multi-agent system without time-delay. Furthermore, the Lyapunov function is used to solve the consensus problem. In [
14,
16], the consensus problem of the system is transformed into a stability problem, and then the Lyapunov–Krasovskii functional with double integral is used to get conditions to ensure that the derivative of the Lyapunov–Krasovskii functional is negative definite. These conditions are related to time-delays and are sufficient conditions to ensure the stability of the system. In the Lyapunov–Krasovskii functional, since integration limits of the double integral are related to time-delays, the derivative of the Lyapunov–Krasovskii functional with double integral contains a positive quadratic term whose coefficient is the time-delay. The boundedness of the time-delay guarantees the existence of conditions to ensure that the derivative of the Lyapunov–Krasovskii functional is negative definite. In [
13,
17], under the discrete-time multi-agent system, after the consensus problem of the system is transformed into a stability problem, the discrete Lyapunov–Krasovskii functional with double summation is used to get stability conditions related to time-delays. In the difference of the discrete Lyapunov–Krasovskii functional, there is a positive quadratic term and its coefficient is the time-delay. Therefore, only if the time-delay is bounded, conditions that makes the difference negative definite exist.
In fact, the time delay may be unbounded. When we use a small number of nodes for search and rescue work in a large area, the communication distance between agents keeps increasing. For the multi-agent system with increasing communication distances, since the information transmission time and the communication distance are positively correlated, the time delay tends to infinity as time goes on. Hence, the multi-agent system with increasing communication distances is described as the multi-agent system with unbounded time-delays. Due to the unboundedness of delays, the above-mentioned method no longer applies. With unbounded time-delays, a finite-dimensional extended system cannot describe the multi-agent system with unbounded time-delays at all time. Hence, methods used in [
15,
18] are ineffective. Then, let us consider the Lyapunov–Krasovskii functional with double integral such as [
14,
16]. With unbounded time-delays, the positive quadratic term whose coefficient is the time-delay tends to positive infinity as time goes on. Therefore, the derivative of the Lyapunov–Krasovskii functional can not be negative definite. Furthermore, under the discrete-time multi-agent system, the discrete Lyapunov–Krasovskii functional with double summation faces the same problem. Hence, the dynamical study of unbounded delay system is recognized as being very difficult. The unbounded delay systems that have received attention are summarized into two categories.
The first category is the multi-agent system with distributed infinite delays. Many practical systems, such as the traffic flow (see [
19,
20]) and biological networks (see [
21]), can be modeled as the system. In this category, the weighted delay information is used to control the system, and the greater the weight of the delay information is, the smaller the delay is. By using the algebraic graph theory and frequency domain analysis, Reference [
19] shows that with the gamma distribution weight, the system can achieve a consensus if the topology is strongly connected. Further, under a weaker topological condition that the topology contains a spanning tree, Reference [
20] shows that with the exponential distribution weight, the system can achieve a consensus by using a low gain controller. It can be noticed that, in this category, agents need to know the accurate delay of each received information. However, it is difficult to achieve in practical systems. In order to avoid this weakness, the second category is considered.
The second category is the multi-agent system with non-distributed unbounded time-delays. Some systems with a spacial nature, such as neural networks (see [
22,
23,
24]), can be modeled as the system. Different from the first category, in the second category of unbounded delay system, the delay of each received information is unknown to any agent. For the second category, many results are about the stability of the system (see [
22,
23,
24]). In [
22], the authors introduced generalized Halanay inequalities to study the stability of the system. In [
23], the method, which is based on upper bounding of the state vector by a decreasing function, is presented to analyse the stability of the system. In [
24], based on an impulsive differential delay inequality, several novel delay-dependent inequalities are obtained to ensure the global stability of the system. However, only a few results are about the consensus of the system (see [
25,
26]). When the adjacency matrix of the topology is impartible, by using the algebraic graph theory and time domain analysis, the system achieves a consensus (see [
25]). Furthermore, under the topology that satisfies the spanning tree assumption and the no-cycle assumption, Reference [
26] solves the consensus problem of the system. However, to make the system achieving a consensus, assumptions of topologies in these results are quite strict.
In this paper, the multi-agent system with increasing communication distances is described as the discrete-time distributed system with non-distributed unbounded time-delays. The first goal of this paper is to use distributed algorithms to make the discrete-time system achieving a consensus under a weaker topology assumption. This paper uses a time-delay system to model the discrete-time system, and the maximum delay in the time-delay system tends to infinity as time goes on. Then, the consensus problem of the time-delay system is studied through a new method. It can be noticed that, for any finite integer
, the maximum delay is bounded in the interval
. Hence, for any finite integer
, the finite-dimensional augmented model of the time-delay system can be built in the interval
. Furthermore, these finite dimensional system models are used to study the system state. By using this method, under the fixed directed topology containing a spanning tree, which is weaker than topology assumptions in existing results (see [
25,
26]), the system is proved to achieve a consensus, if a mild assumption satisfied by the rate of the maximum delay tending to infinity. Since the maximum delay and the maximum communication distance are positively correlated, the assumption of the growth rate of the maximum delay also is the constraint on the growth rate of the maximum communication distance. The second goal of this paper is to study the convergent rate of the system. This paper reveals a new feature that the rate of the system achieving a consensus and the growth rate of the maximum delay are negatively correlated. In other words, rate of the system achieving a consensus and the growth rate of the communication distances between agents are negatively correlated. These theoretical results are verified by simulation results. Furthermore, these results are not only applicable to the multi-agent system with increasing communication distances, but also to any multi-agent system that can be described as the multi-agent system with non-distributed unbounded time-varying delays.
The rest of this paper is organized as follows. In the second section, the time-delay system model of the multi-agent system with increasing communication distances is introduced. Furthermore, for any integer , the finite-dimensional augmented model of the time-delay system in interval is built. In the third section, conditions and the rate of the system achieving a consensus is studied. The fourth section uses numerical simulations to verify theoretical results given in the paper.
Basic symbols and concepts: R means the set of real number, and Z means the set of integers. means -dimensional real space. means the -dimensional 0 matrix. The unit matrix of an appropriate dimension is represented by I. For any matrix A, the entry of the matrix is represented by . Let . For any vector , the ith entry of x is represented by . For functions , where D is the definition domain, means that there exists a positive real number such that for all . For an , as means that as , where if the definition domain D is unbounded, could be infinity. Furthermore, means the inverse function of . A function is called as a class function, if , and is strictly increasing. and represent maximum and minimum functions, respectively. For and , . For a set C, means the number of elements of the set C.
For a directed graph (digraph) , V represents agent set and E represents edge set. Furthermore, if there is a directed edge from the agent i to the agent j, then . A directed path from the agent i to the agent j is made up by a sequence of directed edges in the edge set E connected end to end: . Furthermore, the length of this directed path is the number of directed edges that make up this directed path, i.e., . represents the distance from the agent i to the agent j, which is the length of the shortest directed path from the agent i to the agent j.
2. Discrete-Time Distributed System and Its Mathematical Model
In the multi-agent system with increasing communication distances, each agent updates its state and sends the state information to its neighbors according to the period T. If an agent does not receive the state information sent by one of its neighbors in a period T, then the agent updates its own state with the last received state information of the neighbor. Consider the digraph with n agents, where , E is the set of all directed links in digraph G. Furthermore, if , agent j can receive the information sent by agent i. In this paper, we have the following assumption on digraph G.
Assumption 1. The digraph G contains a spanning tree.
As we all know, the communication delay and the communication distance are positively correlated. In this paper, we take the approximately linear relationship between the time delay and the communication distance as an example, and we have
, where
is a constant, the integer
is the delay in the directed link
, and
is the communication distance between agents
i and
j. The consensus algorithm of the multi-agent system with increasing communication distances can be described as the discrete-time distributed system with non-distributed unbounded time-delays:
for all
, where
is a designable constant gain of system (
1), and
is the state of agent
j. In (
1),
, where
when
and
otherwise. For any
, the initial state
is given. For the multi-agent system (
1) with increasing communication distances, the following assumption means that the communication distance between agents mast increase slower than the speed of information transfer. In other words, for any
, the following assumption guarantees that the agent
j can receive the information sent by the agent
i.
Assumption 2. For any and any integer , and as .
When the following definition is satisfied, system (
1) is called achieving a consensus.
Definition 1. System (1) achieves a consensus, if there exists a constant such thatfor all . Let
be the maximum delay, i.e.,
. Assumption 2 shows that the maximum delay
could be unbounded. In other words, when
,
. Then, for all integer
, the system (
1) cannot be described by one finite-dimensional time-delay system. To solve this problem in the modelling and consensus analysis, for any finite integer
, system states are studied by building a finite-dimensional augmented model in the interval
. Let
for all integer
. Without loss of generality, let
for all
. Furthermore, for any integer
and integer
, let
. Then, for any integer
and all integers
, system (
1) is equivalent to
where
The Laplacian matrix of the digraph
G is represented by
L, which satisfies that for any
, if
then
; for all
,
. Let
. In (
4), the matrix
satisfies properties that
and
for all
. Furthermore, we have
. Diagonal entries of
are the same as diagonal entries of
. For any
, if
then
. For any integer
, the set of matrices
for all
is represented by
, and the number of different matrices in
is
.
3. Convergence Analysis
This section studies the consensus problem of system (
1). Firstly, under Assumption 2, properties of system states in the interval
for any finite integer
is studied. Let
,
, and
. Furthermore, the state error of the system (
1) satisfies following theorem.
Theorem 1. Under Assumptions 1 and 2, for the constant , there exist an integer such that the state error of system (1) satisfiesfor all and all integers . For system (
1), Theorem 1 shows that the convergence rate of the state error and the growth rate of the maximum delay
are related. Since the relationship between the maximum delay
and the maximum communication distance is linear, the rate of states achieving a consensus and the growth rate of the maximum communication distances are related. It is worth noting that when the topology of system (
1) satisfies Assumption 1, system (
1) cannot achieve a consensus if the delay only satisfies Assumption 2. Next, in order to make system (
1) satisfy Definition 1, the growth rate of
needs to be reasonably restricted by the following assumption, which also is the constraint on the growth rate of the maximum communication distance.
Assumption 3. For the constant , there exists an integer , such thatfor all integers , where as . The following theorem shows the sufficient condition for the maximum delay to satisfy Assumption 3.
Theorem 2. For the constant , any , any , and any constant M, if for all integers , then for the constant and any , there exists an integer such thatfor all , which means that the maximum delay satisfies Assumption 3. In
Appendix B, the proof of Theorem 2 and
are given.
In the multi-agent system (
1) with increasing communication distances, since the relationship between the maximum delay and the maximum communication distance is linear, if the growth rate of the maximum communication distance is not faster than the growth rate of the function
, the maximum delay
of system (
1) satisfies conditions in Theorem 2. When the maximum delay
satisfies Assumptions 2 and 3, the following theorem is given.
Theorem 3. Under Assumptions 1–3, system (1) achieves a consensus. Furthermore, for the constant , there exist an integer , a constant , and a constant , which is related to and , such thatfor all . For the multi-agent system (
1) with increasing communication distances, Theorems 2 and 3 show that when the growth rate of the maximum communication distance is not faster than the growth rate of the function
, system (
1) achieves a consensus if the Assumption 1 for topology is satisfied. The proof of Theorem 3 is given in
Appendix C.
Combing (
5), (
6), and (
8), we have that under Assumptions 1–3, for all integers
, the convergence rate of the consensus system (
1) is equal to the rate of
tending to 0. When
k tends to infinity, the faster
tends to infinity, the slower
tends to 0. Hence, we directly obtain that the convergence rate of the consensus system (
1) and the growth rate of the maximum delay
are negatively correlated. In other words, for the multi-agent system (
1) with increasing communication distances, the convergence rate of the consensus system (
1) and the growth rate of the maximum communication distance are negatively correlated.
Theorem 4. Under Assumptions 1–3, for the constant , there exist an integer such that for all integers , the rate of system (1) achieving a consensus and the rate of the maximum delay tending to infinity are negatively correlated. Next, we use some corollaries to support Theorem 4. When the maximum time delay satisfies some special forms, we have following corollaries. The first form is the bounded maximum time delay. In other words, the maximum communication distance is bounded. Actually, Theorem 3 is suitable to consensus systems with bounded delays. For the bounded time delay
, its maximum time delay satisfies
for all integers
. Then
as
, and, for all integers
,
, where
. In other words, system (
1) with the bounded maximum delay
satisfies Assumptions 2 and 3 at the same time. As direct consequences of Theorem 3, we have the following corollary.
Corollary 1. (Exponential Consensus) Suppose that for all integers , where is a constant integer. Under Assumption 1, system (1) achieves a consensus. Furthermore, for the constant , there exist constants and such thatfor all and all integers . The second form is the unbounded maximum time delay. Let for all integers , where , , and M is a constant. In other words, the growth rate of the maximum communication distance is not faster than the growth rate of the function . Obviously, the maximum time delay is unbounded and the time delay corresponding to satisfies Assumption 2. Furthermore, Theorem 2 shows that the unbounded maximum time delay satisfies Assumption 3. Then, combining Theorems 2 and 3, we directly have the following corollary.
Corollary 2. (Asymptotical Consensus) Suppose that for all integers , where , , and M is a constant. Under Assumption 1, system (1) achieves a consensus. Furthermore, for the constant and any shown in Lemma A2, there exist an integer , a constant , and a constant related to and such thatfor all . When the maximum time delay is bounded, there exist an integer
such that for all integers
, the growth rate of the maximum time delay is 0. Furthermore, Corollary 1 shows that the convergence rate of system (
1) with bounded maximum time delays is exponential. For the unbounded maximum time delay
, the growth rate of the unbounded maximum delay is faster than the growth rate of the bounded maximum time delay, obviously. On the contrary, Corollary 2 shows that the convergence rate of system (
1) with the unbounded maximum delay
is asymptotic which is slower than the convergence rate of system (
1) with bounded maximum time delays. Hence, Corollary 1 and Corollary 2 support the result of Theorem 4.
4. Numerical Simulation
Under the digraph
G with 8 agents as shown in
Figure 1, numerical simulations of system (
1) are executed. In
Figure 1, for any
, if
, then there is a black arrow from the agent
i pointing to the agent
j.
Figure 1 shows that the digraph
G not only contains a spanning tree but also contains a cycle and the adjacency matrix of the digraph
G is partible. Hence, the digraph
G do not meet the topological assumptions in [
25,
26]. The communication cycles of agents are all
s. When the state of the agent
i is updated for the
kth time, the distance from the center of mass of the agent
i to the starting point is
, and
represents the communication distance from the agent
i to the agent
j, the maximum communication distance between agents is
. The speed of information dissemination is
. In this paper, it is assumed that the relationship between the time delay and the communication distance is linear, so let
. For multi-agent systems with increasing communication distances (
1), by numerically simulating the convergence of the system (
1) under four different conditions where the growth rate of the communication distances is different, the conclusions of this paper are verified.
Among the four simulations, the first three simulations all use eight agents to explore a wide area from the same point, and each agent is responsible for a fan-shaped area with an angle of
. Record the starting point as the origin. In the simulation (1), for any integer
and any
,
, where
,
. Therefore, there exist
and
such that the maximum communication distance of the system satisfies
. This system can be described as a system (
1) with an unbounded maximum delay
. In the simulation (2), for any integer
and any
,
, where
. Therefore, there exists
such that the maximum communication distance of the system satisfies
. The system can be described as a system (
1) with an unbounded maximum delay
. In the simulation (3), for any integer
and any
,
. Therefore, there exist
and
such that the maximum communication distance of the system satisfies
. The system can be described as a system (
1) with an unbounded maximum delay
. The simulation (4) uses 8 agents to explore in a circle with a diameter of
. The starting points of agents are 8 octsection points on the circle, and each agent is responsible for the fan-shaped area with an angle of
. The agent finally converges at the center of the circle. Then, for any integer
and any
,
, where
, and satisfies
. Therefore, the maximum communication distance of the system satisfies
. This system can be described as a system (
1) with a bounded maximum delay
. It can be noticed that in the first three simulations, the maximum communication distance
,
and
tends to infinity as the number of iterations
k growths, and the maximum communication distance
in the simulation (4) is bounded.
Figure 2 describes the motion trajectories of eight agents in four simulations, in which the abscissa and ordinate describe the position of any point in the two-dimensional plane, and the unit is
m. The colored curves are the motion trajectories of all agents. Starting from the purple trajectory and rotating clockwise to the green trajectory, corresponding agent numbers are
, respectively; and the black dashed line is used to separate the detection areas of the eight agents. In
Figure 2, the circle enclosed by the black dashed line in the sub-figure simulation (4) is the boundary of the detection area in the simulation (4).
Figure 3,
Figure 4, Figure 6 and Figure 7 show the variation of the maximum communication distances between agents
and the maximum delays
with the number of iterations
k of four simulations, respectively. It can be seen that the maximum communication distance
and the maximum communication delay
meet the same changing trend.
Figure 5 is a comparison figure of change curves of the agent state value in the simulation (1) and the simulation (2). Figure 8 describes the logarithmic function curve of the state error between the agents in the simulation (1), the simulation (3) and the simulation (4) in logarithmic coordinates.
First, compare the simulation (1) and the simulation (2). Since the growth rate of
in the simulation (2) is faster than the growth rate of
in the simulation (1),
Figure 2 shows that the range of agent detection in the simulation (2) obviously exceeds the range of agent detection in the simulation (1).
Figure 3 shows that since the maximum communication distance satisfies
, the curve of the maximum communication delay
closely follows the logarithmic function curve
.
Figure 4 shows that since the maximum communication distance satisfies
, the curve of the maximum communication delay
closely follows the linear function curve
. Therefore, the unbounded maximum delay
satisfies the condition in Corollary 2, and the unbounded maximum delay
only satisfies Assumption 2.
Figure 5 shows that the system with the maximum delay
is convergent, but the system with the maximum delay
is divergent. In other words, when the growth rate of the maximum communication distance can ensure that the maximum delay satisfies both Assumption 2 and Assumption 3, the system (
1) can reach a consensus under Assumption 1 for topology, which is more relaxed than the topological assumptions in [
25,
26].
Next, compare the simulation (1), the simulation (3) and the simulation (4). Since
growths faster than
,
Figure 2 shows that the detection range of agents in the simulation (1) is larger than the detection range of agents in the simulation (3). Furthermore, since
increases with the growth of
k,
decreases with the growth of
k, there exists
such that
for all integers
. In other words, due to the limited detection range of the simulation (4), as long as the detection time is long enough, the detection range of agents in the simulation (1) and the simulation (3) will always be larger than the detection range of agents in the simulation (4).
Figure 6 shows that due to the maximum communication distance satisfies
, the curve of the maximum communication delay
closely follows the logarithmic function curve
. Therefore, the unbounded maximum delay
satisfies the condition in Corollary 2.
Figure 7 shows that due to the maximum communication distance satisfies
, the curve of the maximum communication delay
satisfies
, which is bounded. In other words, the unbounded maximum delay
satisfies the condition in Corollary 1. Obviously, the maximum delay in the simulation (1), the simulation (3) and the simulation (4) satisfies that the growth rate of
is greater than the growth rate of
, and the growth rate of
is greater than the growth rate of
.
Figure 8 describes the system error curve
in the simulation (1), the simulation (3) and the simulation (4) under logarithmic coordinates
. In
Figure 8, the curve of the function
in logarithmic coordinates is a red dashed line, the curve of the function
in logarithmic coordinates is a blue dashed line, and the curve of the function
in logarithmic coordinates is a black dashed line. The red solid line is the
of the system (
1) with the unbounded maximum delay
. It is below the red dashed line
, indicating that the convergence rate of the system (
1) with the unbounded maximum delay
is
, and the system is asymptotically convergent. The blue solid line is the
of the system (
1) with the unbounded maximum delay
. It is below the blue dashed line
, indicating that the convergence rate of the system (
1) with the unbounded maximum delay
is
. In other words, the system (
1) with unbounded maximum delay
is asymptotically convergent and has a faster convergence rate than the convergence rate of the system (
1) with unbounded maximum delay
. The black solid line is the
of the system (
1) with the unbounded maximum delay
. It is below the black dashed line
, indicating that the convergence rate of the system (
1) with the unbounded maximum delay
is
, which is exponential. It is faster than the convergence rate of the system (
1) in simulation (1) and simulation (3). Therefore, the comparison simulation supports the conclusion of Theorem 4 the the convergence rate of the system (
1) is negatively correlated with the growth rate of the maximum delay.