DOI QR코드

DOI QR Code

Research on Finite-Time Consensus of Multi-Agent Systems

  • Chen, Lijun (Dept. of Automation Engineering, Northeast Electric Power University) ;
  • Zhang, Yu (Dept. of Automation Engineering, Northeast Electric Power University) ;
  • Li, Yuping (Dept. of Automation Engineering, Northeast Electric Power University) ;
  • Xia, Linlin (Dept. of Automation Engineering, Northeast Electric Power University)
  • Received : 2017.04.06
  • Accepted : 2017.08.03
  • Published : 2019.04.30

Abstract

In order to ensure second-order multi-agent systems (MAS) realizing consensus more quickly in a limited time, a new protocol is proposed. In this new protocol, the gradient algorithm of the overall cost function is introduced in the original protocol to enhance the connection between adjacent agents and improve the moving speed of each agent in the MAS. Utilizing Lyapunov stability theory, graph theory and homogeneity theory, sufficient conditions and detailed proof for achieving a finite-time consensus of the MAS are given. Finally, MAS with three following agents and one leading agent is simulated. Moreover, the simulation results indicated that this new protocol could make the system more stable, more robust and convergence faster when compared with other protocols.

Keywords

1. Introduction

Distributed cooperative control of multi-agent systems (MAS) is a fundamental optimization problem and has been used in many fields. There are many industrial applications involve MAS, such as multirobot cooperation control, unmanned aerial vehicle formation flight control, and underwater autonomy aircraft [1-5]. Therefore, research on MAS distributed cooperative not only has theoretical significance, but also has practical significance. Consensus is one of the most basic problems of the MAS, which has attracted much attention of researchers in many fields [6-8]. The goal of finite-time consensus of dynamic MAS is to design a consensus protocol which can ensure every agent in the MAS achieves a common state in a limited time [9-14].

However, in practical applications, sometimes each agent needs to converge to an expected state, this type of system is called leader-following MAS [15-19]. In this kind of MAS, although leaders behaviors are usually separated from the followers, they have an impact on the followers. Accordingly, the control task of MAS can be achieved by controlling the state of the leader, which is simple and cost efficient. So far, many researchers have paid much attention to tracking problems of the MAS. Sun and Guan [20] designed a finite-time consensus algorithm for MAS under switched and fixed topologies, where they utilized graph theory and homogeneity theory. Ma et al. [21] proposed a novel distributed control law for leader-following time-invariant linear MAS with finite data rate on the basis of distributing priority to every agent in the MAS. Cheng et al. [22] proposed a consensus algorithm for linear leader-following MAS with communication interference as every agent has its own time-varying gain, and this algorithm weakens the influence of the interference.

However, most of the literatures are aimed at finding the conditions to achieve consensus tracking, while ignoring the convergence rate of the MAS. In a control system, the convergence rate of MAS is a very important indicator, which affects the accuracy and real-time of the MAS. In recent years, researchers in various fields have made various attempts to make the agents converge faster in the MAS. Based on the analysis of matrix theory and time frequency domain, Huang et al. [23] proposed two new fast consensus algorithms for the discrete MAS based on local information directed networks. Pan et al. [24] compared the convergence speed of the second-order neighbor algorithm with the general algorithm, and used the second-order neighbor information to investigate the consensus of second-order MAS. In addition, Wang et al. [25] presented a consensus algorithm based on the current and past states, which solved the problem of the fast convergence of the second-order integral dynamic MAS.

Although the methods mentioned above can make the agents in the MAS converge more quickly, it may converge to an agreement in an infinite time. While, systems with high temporal precision are often required to achieve an agreement in a limited time. Finite-time consensus not only has higher precision, but also has the robustness of uncertain factors and strong anti-interference advantages, thus it is a better solution in engineering application. Currently, there are many researches on the topic of finite-time consensus. In [26], the authors proposed two bounded control laws. At the same time, consensus tracking problems for second-order MAS with one and several leaders were investigated. In addition, Lee et al. [27] adopted a fuzzy disturbance observer to study the leader-following problems of heterogeneous MAS.

According to recent findings, there are two methods to enhance the connection between various agents in the MAS, thus improving the convergence rate of agents. One is to change the network topology, and the other one is to acquire more information among other agents. This paper proposes a protocol with the gradient algorithm of the overall cost function which acquires more information and accelerates the convergence rate of the MAS in a limited time.

2. Prior Knowledge and Problem Statement

2.1 Prior Knowledge

Assume that a second-order MAS consists of n agents. Fixed undirected G is represented by G = (V, E), and V={v1, v2, ..., vm} represents the network structure of the information exchange through different individuals, in addition, E = V x V. Node vm represents the mth agent. An edge emn = (vm, vn\(\in\) E in weighted graph G is denoted that the mth agent and the nth agent can sent message to each other directly, the adjacency matrix A=[aij],(aij>0,aii=0). For any i,j \(\in\) V in a fixed undirected graph, there is (vi=vj\(\in\) E \(\Leftrightarrow\) (vi=vj\(\in\) E, that is to say all real numbers are unordered. The node degree of vi is di=|Ni| and the definition of node degree is D=diog(d1,d2,...,dm). L=D-A represents the Laplacian matrix of weighted graphs. In addition, its spectral property is an important factor to measure the convergence of the protocol. L is a symmetric nonnegative matrix containing a zero value. The rank of L satisfies rank(L)=n-1 in an undirected graph G, all of its eigenvalues are non-negative real numbers and all characteristic values are sorted as following:

\(0=\lambda_{1}<\lambda_{2} \leq \lambda_{3} \cdots \leq \lambda_{m}\)       (1)

where 0 is eigenvalue of the matrix and 1 is the corresponding eigenvector \(\left(1=[1, \cdots, 1]^{T} \in \mathbb{R}^{n}\right)\).

2.2 Problem Statement

Suppose that the second-order MAS contains n agents, and the dynamic model is defined as:

\(\left\{\begin{array}{l} \dot{x}_{r}(t)=v_{r}(t), \\ \dot{v}_{r}(t)=u_{r}(t) \end{array} r \in R\right.\)       (2)

where xr(t) \(\in\) R represents location information,  xr(t) \(\in\) R represents speed information of the agent r, ur(t) \(\in\) R represents control input. The dynamic model of the leading agent in the MAS is defined as:

\(\left\{\begin{array}{c} \dot{x}_{o}(t)=v_{o}(t) \\ \dot{v}_{o}(t)=0 \end{array}\right.\)       (3)

Sun and Guan [20] studied the second-order MAS with one leader, and proposed a new finite time consensus algorithm:

\(u_{i}(t)=\sum_{j \in N} a_{i j} \operatorname{sig}\left(x_{j}-x_{i}\right)^{\delta_{i}}+\sum_{j \in N} a_{i j} \operatorname{sig}\left(v_{j}-v_{i}\right)^{\delta_{2}}+a_{i o} \operatorname{sig}\left(x_{i}-x_{o}\right)^{\delta_{i}}+a_{i o} \operatorname{sig}\left(v_{o}-v_{i}\right)^{\delta_{2}}\)       (4)

where \(i=1,2, \cdots, n, 0, the value between leader o and follower i is aio, and sign(y) is an expression of the sign function.

This article aims to improve the convergence performance of the MAS, and presents a new protocol with gradient algorithm of the overall cost function for the leader-following second-order MAS:

\(\begin{array}{l} u_{i}(t)=\sum_{j \in N} a_{i j} \operatorname{sig}\left(x_{j}-x_{i}\right)^{\delta_{i}}+a_{i o} \operatorname{sig}\left(x_{o}-x_{i}\right)^{\delta_{i}}+\sum_{j \in N} a_{i j} \operatorname{sig}\left(v_{j}-v_{i}\right)^{\delta_{2}}+a_{i o} \operatorname{sig}\left(v_{o}-v_{i}\right)^{\delta_{2}} \\ +\beta_{1} \sum_{j \in N} a_{i j}\left(x_{j}-x_{i}\right)+\beta_{1} \sum_{j \in N} a_{i j}\left(v_{j}-v_{i}\right)+\beta_{2} a_{i o}\left(x_{o}-x_{i}\right)+\beta_{2} a_{i o}\left(v_{o}-v_{i}\right) \end{array}\)       (5)

where β1 > 0, β2 > 0.

EFINITION 1. The MAS consensus is realized in a limited time if \(T_{0} \in[0,+\infty)\) is existed, for arbitrary initial state, system (2) satisfies \(\lim _{t \rightarrow T_{o}} x_{i}(t)=x_{o}(t), \lim _{t \rightarrow T_{o}} v_{i}(t)=v_{o}(t)\).

3. Finite Time Consensus Analysis

ASSUMPTION. The undirected connected topology consists of n agents. In addition, there must be a link between leader and followers.

REMARK 1. According to [20], if MAS (2) is asymptotically convergent and the degree of it is same as \(\lambda=\delta_{1}-1<0\) with expansion \((\underbrace{\gamma_{i}, \ldots, \gamma_{i}}_{n}, \underbrace{\gamma_{j}, \ldots, \gamma_{j}}_{n})\), the system can converge to an agreement in finite time.

LEMMA 1 ([28]). For an undirected graph, if there is a function \(\vartheta: R^{2} \rightarrow R\) satisfies \(\vartheta\left(x_{j}, x_{i}\right)=-\vartheta\left(x_{i}, x_{j}\right)\)\(\forall i, j \in N\) i and j are not equal, there is a group number z1,z2,\(\cdots\),zn satisfying:

\(\sum_{i=1}^{n} \sum_{j \in N} a_{i j} z_{j} \vartheta\left(x_{j}, x_{i}\right)=-\frac{1}{2} \sum_{\left(v_{i}, v_{j}\right) \in E} a_{i j}\left(z_{j}-z_{i}\right) \vartheta\left(x_{j}, x_{i}\right)\)

LEMMA 2 ([29]). Suppose that equation \(\dot{x}(t)=\zeta(t)\) is solved, x(t) can be obtained. In addition, \(\zeta: C \rightarrow R^{i}\) is continuous on an open set C, and C is a subset of Rn. V : C \(\rightarrow\) R satisfies the condition D+V(x(t))\(\leq\)0. Therefore, \(\Theta^{+}\left(x_{0}\right) \cap C\) is part of the whole solutions of P = {x\(\in\)C:D+V(x)=0}, Dindicates upper Dini derivative and \(\Theta^{+}\)x(0) indicates positive limited set.

In general, the homogeneity with expansion used to analysis the finite-time convergence, detailed introduction is given in [30]. n-order MAS has several properties:

\(\dot{x}=\zeta(x), x=\left(x_{1}, x_{2}, \ldots, x_{n}\right) \in R^{n}\)       (6)

A continuous stream of vectors \(\zeta(x)=\left(\zeta_{1}(x), \ldots, \zeta_{n}(x)\right)^{T}\) is the same degree as \(\lambda \in R\) with expansion \(\gamma=\left(\gamma_{1}, \gamma_{2}, \ldots, \gamma_{n}\right)\). When \(\mathcal{E}\) > 0, there will be \(\zeta_{i}\left(\varepsilon^{n} x_{1}, \varepsilon^{r_{2}} x_{2}, \ldots, \varepsilon^{r_{n}} x_{n}\right)=\varepsilon^{\kappa+r_{i}} \zeta_{i}(x)\).

DEFINITION 2. When the vector flow of MAS (6) is homogeneous, the MAS (6) is homogeneous. In addition,

\(\dot{x}(t)=\zeta(x)+\tilde{\zeta}(x), \tilde{\zeta}(0)=0, x \in R^{n}\)       (7)

\(\dot{x}(t)\) is partly the same degree as \(\lambda \in R\) with expansion \(\left(\gamma_{1}, \gamma_{2}, \ldots, \gamma_{n}\right)\), if \(\zeta(x)\) is the same degree as \(\lambda \in R\) with expansion \(\left(\gamma_{1}, \gamma_{2}, \ldots, \gamma_{n}\right)\). Besides, the continuous vector flow \(\zeta(x)\) satisfying:

\(\lim _{\varepsilon \rightarrow 0} \frac{\tilde{\zeta}_{i}\left(\varepsilon^{\gamma} x_{1}, \varepsilon^{\gamma_{2}} x_{2}, \ldots, \varepsilon^{\gamma_{n}} x_{n}\right)}{\varepsilon^{\kappa+\gamma_{i}}}=0, \forall x \neq 0, i \in I\)       (8)

LEMMA 3 ([31]). Consider that the degree of MAS (2) and \(\lambda \in R\) with expansion \(\left(\gamma_{1}, \gamma_{2}, \ldots, \gamma_{n}\right)\) are the same. Function \(\zeta(x)\) is continuous, meanwhile, eigenvalue 0 is a gradually stable equilibrium point. At the same time, the MAS (2) is stable in a limited time under the condition that the homogeneous degree \(\lambda\) < 0. In addition, the MAS (7) is partially stable in a limited time if (8) is established.

THEOREM 1. Under Assumption 1, the MAS (2) can achieve consensus tracking in a limited time when consensus tracking algorithm (5) is used.

Proof. Suppose \(\bar{x}_{i}(t)=x_{i}(t)-x_{o}(t), \bar{v}_{i}(t)=v_{i}(t)-v_{o}(t)\), then under protocol (5), the system (2) and system (3) become:

\(\begin{array}{l} \dot{\bar{x}_{i}}=\bar{v}_{i} \\ \dot{\bar{v}}_{i}=u_{i}=\sum_{j \in N} a_{i j} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}+\sum_{j \in N} a_{i j} \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta_{2}}-a_{i o} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}-a_{i o} \operatorname{sig}\left(\bar{v}_{i}\right)^{\delta_{2}} \\ +\beta_{1} \sum_{j \in N} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)+\beta_{1} \sum_{j \in N} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right)-\beta_{2} a_{i o}\left(\bar{x}_{i}+\bar{v}_{i}\right) \end{array}\)       (9)

Choose five Lyapunov functions (V1(t),V2(t),...,V5(t)), and Lyapunov function V can be obtained when these functions are added together.

\(\begin{array}{ll} V_{1}(t)=\frac{1}{2} \sum_{i=1}^{n} \bar{v}_{i}^{2} & V_{2}(t)=\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} \int_{0}^{\bar{x}_{i}-\bar{x}_{j}} a_{i j} \operatorname{sig}(s)^{\delta_{i}} d s \quad V_{3}(t)=\sum_{i=1}^{n} \int_{0}^{\bar{x}_{i}} a_{i o} \operatorname{sig}(s)^{\delta_{1}} d s \\ V_{4}(t)=\frac{\beta_{1}}{2} \sum_{i=1}^{n} a_{i o} \bar{x}_{i}^{2} & V_{5}(t)=\frac{\beta_{2}}{4} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{2} \end{array}\)

Taking into account that the derivative of Lyapunov function along the trace of MAS (9),

\(\begin{array}{l} \dot{V}_{1}=\sum_{i=1}^{n} \bar{v}_{i} \dot{v}_{i}=\sum_{i=1}^{n} \bar{v}_{i}\left[\sum_{j=1}^{n} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}+\sum_{j=1}^{n} a_{i j} \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta_{2}}\right. \\ \left.-a_{i o} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}-a_{i o} \operatorname{sig}\left(\bar{v}_{i}\right)^{\delta_{i}}+\beta_{1} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}+\bar{v}_{j}-\bar{v}_{i}\right)-\beta_{2} a_{i o}\left(\bar{x}_{i}+\bar{v}_{i}\right)\right] \\ \dot{V}_{2}=\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right) \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}} \quad \dot{V}_{3}=\sum_{i=1}^{n} a_{i o} \bar{v}_{i} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}, \dot{V}_{4}=\beta_{1} \sum_{i=1}^{n} a_{i o} \bar{x}_{i} \bar{v}_{i} \\ \dot{V}_{5}=\frac{\beta_{2}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)\left(\bar{v}_{j}-\bar{v}_{i}\right) \end{array}\)

Then,

\(\begin{aligned} &\dot{V}=\dot{V}_{1}+\dot{V}_{2}+\dot{V}_{3}+\dot{V}_{4}+\dot{V}_{5}\\ &=\sum_{i=1}^{n} \bar{v}_{i}\left[\sum_{j=1}^{n} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}-\sum_{j=1}^{n} a_{i j} \operatorname{sig}\left(\bar{v}_{i}-\bar{v}_{j}\right)^{\delta_{i}}-a_{i_{i} s} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}-a_{i o} \operatorname{sig}\left(\bar{v}_{i}\right)^{\delta_{i}}+\beta_{1} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)+\beta_{1} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right)\right.\\ &\left.-\beta_{2} a_{i o}\left(\bar{x}_{i}+\bar{v}_{i}\right)\right]+\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right) \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta}+\sum_{i=1}^{n} a_{i} \bar{v}_{i} \operatorname{sig}\left(\bar{x}_{i}\right)^{\tilde{q}}+\beta_{1} \sum_{i=1}^{n} a_{i} \bar{x} \bar{i} \bar{v}_{i}+\frac{\beta_{2}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)\left(\bar{v}_{j}-\bar{v}_{i}\right)\\ &=\sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta}+\sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j} \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta_{i}}-\sum_{i=1}^{n} a_{i} \bar{v}_{i} s_{i} \operatorname{ig}\left(\bar{x}_{i}\right)^{\delta}-\sum_{i=1}^{n} a_{i} \bar{v}_{i} s i g\left(\bar{v}_{i}\right)^{\delta_{i}}+\beta_{i} \sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)\\ &+\beta_{1} \sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right)-\beta_{2} \sum_{i=1}^{n} a_{i o} \bar{v}_{i} \bar{x}_{i}-\beta_{2} \sum_{i=1}^{n} a_{i o} \bar{v}_{i}^{2}+\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right) \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}+\sum_{i=1}^{n} a_{i} \bar{v}_{i} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta}\\ &+\beta_{1} \sum_{i=1}^{n} a_{i o} \bar{x} \bar{v}_{i}+\frac{\beta_{2}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)\left(\bar{v}_{j}-\bar{v}_{i}\right)\\ &=\sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j} \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta_{i}}-\sum_{i=1}^{n} a_{i o} \bar{v}_{i} s i g\left(\bar{v}_{i}\right)^{\delta_{i}}+\beta_{1} \sum_{i=1}^{n} \bar{v}_{i} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right)-\beta_{2} \sum_{i=1}^{n} a_{i 0} \bar{v}_{i}^{2}\\ &=\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{i}-\bar{v}_{j}\right) \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta}-\sum_{i=1}^{n} a_{i o} \bar{v}_{i} \operatorname{sig}\left(\bar{v}_{i}\right)^{\delta_{i}}-\frac{\beta_{2}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{v}_{i}-\bar{v}_{j}\right)^{2}-\beta_{2} \sum_{i=1}^{n} a_{i o} \bar{v}_{i}^{2} \leq 0 \end{aligned}\)

Note that \(\dot{V}(t)=0\) only when condition \(\bar{v}_{j}=\bar{v}_{i}=0\) is satisfied, thus we get \(\dot{\bar{v}}_{i}=0, \forall i \in I\), as follows:

\(\begin{array}{l} \dot{\bar{v}_{i}}(t)=u_{i}(t) \\ =\sum_{j \in N} a_{i j} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta}+\sum_{j \in N} a_{i j} \operatorname{sig}\left(\bar{v}_{j}-\bar{v}_{i}\right)^{\delta_{2}}-a_{i o} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}-a_{i o} \operatorname{sig}\left(\bar{v}_{i}\right)^{\delta_{2}} \\ +\beta_{1} \sum_{j \in N} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)+\beta_{1} \sum_{j \in N} a_{i j}\left(\bar{v}_{j}-\bar{v}_{i}\right)-\beta_{2} a_{i o}\left(\bar{x}_{i}+\bar{v}_{i}\right) \\ =0 \end{array}\)

Then,

\(\begin{array}{l} \sum_{i=0}^{n} \bar{x}_{i}\left[\sum_{j e N}^{n} a_{i j} \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta}-a_{i o} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{1}}+\beta_{1} \sum_{j \in N} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)-\beta_{2} a_{i o}\left(\bar{x}_{i}\right)\right] \\ =-\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right) \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}-\sum_{i=1}^{n} a_{i o} \bar{x}_{i} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{1}}-\frac{\beta_{1}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{2}-\beta_{2} a_{i o}\left(\bar{x}_{i}\right)^{2}=0 \end{array}\)       (10)

Meanwhile, we can get:

\(\frac{1}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right) \operatorname{sig}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{\delta_{i}}+\sum_{i=1}^{n} a_{i o} \bar{x}_{i} \operatorname{sig}\left(\bar{x}_{i}\right)^{\delta_{i}}+\frac{\beta_{1}}{2} \sum_{i=1}^{n} \sum_{j=1}^{n} a_{i j}\left(\bar{x}_{j}-\bar{x}_{i}\right)^{2}+\beta_{2} a_{i o}\left(\bar{x}_{i}\right) \geq 0\)       (11)

In addition, \(\bar{x}_{j}=\bar{x}_{i}=0, \forall i \neq j\) can be obtained from (10) and (11), and from Lemma 3, we can get \(x_{i}-x_{o} \rightarrow 0, v_{i}-v_{o} \rightarrow 0, \forall i \in I, t \rightarrow \infty\). By remark 1, we can get MAS (2) and MAS (3) are the same degree as \(\lambda=\delta_{1}-1\) with expansion \((\underbrace{\gamma, \gamma, \ldots, \gamma}_{n}, \underbrace{\delta_{1}+1, \delta_{1}+1, \ldots, \delta_{1}+1}_{n})\) when use protocol (5). Therefore, system (2) and system (3) can reach a consensus in a limited time from Lemma 3.

REMARK 2. Obviously, consensus protocol (5) is equal to consensus protocol (4) when β1 = β= 0. The convergence rate of MAS is faster under consensus protocol (5) when β1 > 0, β2 > 0..

Then from the following comparison simulations we can see the advantages of consensus protocol (5).

4. Simulations

In this part, we use intuitive simulation to reflect the correctness of the proof and the superiority of the algorithm. Suppose that there are four agents in the MAS, agent 0 represents the leader and others represent the followers, the topology of the weighted undirected graph is shown in Fig. 1.

E1JBB0_2019_v15n2_251_f0006.png 이미지

Fig. 1. Network topology.

Assuming that the weight of each edge in Fig. 1 is 1, the location information of the initial state of the leader is x0(0)=3, and the speed information is v0(0)=3. . In addition, the location information of the initial state of the three following agents is x(0)=(1,6,9)T, and the speed information is v(0)=(8,5,1)T. Suppose \(\delta_{1}=0.9, \delta_{2}=2 \delta_{1} /\left(\delta_{1}+1\right)=0.9474\). Four different cases are considered when β1 and β2 are of different values, then the fast convergence of the proposed protocol is proved from many aspects.

The state of system (2) under protocol (4) is shown in Fig. 2.

E1JBB0_2019_v15n2_251_f0007.png 이미지

Fig. 2. States of MAS (2) under protocol (4). (a) State information of location. (b) State information of velocity.

When the gradient algorithm of the overall cost function is introduced, the simulation results under protocol (5) are given as follows.

From Fig. 2, it can be seen that with protocol (4) the multi-agent system took about 28 seconds to achieve an agreement. Taken together Figs. 3–5, it can be seen that the convergence rate improved significantly under the proposed protocol. In Fig. 3, β1 = 15, β2 = 5, and the time for MAS to achieve consensus is \(T_{0} \approx 8 s\). In Fig. 4, β1 = β2​​​​​​​ = 5, and the time for MAS to achieve consensus is \(T_{0} \approx 8 s\). In Fig. 5, β1 = 5, β2​​​​​​​ = 35, and the time for MAS to achieve consensus is \(T_{0} \approx 7 s\). From Fig. 6, we know that MAS cannot realize consensus in limited time when β1 and β2 do not meet the conditions. In summary, we can conclude that when the gradient algorithm of the overall cost function is introduced and only if β1>0, β2>0, the leader-following MAS can achieve finite-time consensus in a faster convergence speed.

E1JBB0_2019_v15n2_251_f0002.png 이미지

Fig. 3. States of MAS (2) under protocol (5) with β1 = 15, β2 = 5 . (a) State information of location. (b) State information of velocity.

E1JBB0_2019_v15n2_251_f0003.png 이미지

Fig. 4. States of MAS (2) under protocol (5) with β1 = β2 = 5. (a) State information of location. (b) State information of velocity.

E1JBB0_2019_v15n2_251_f0008.png 이미지

Fig. 5. States of MAS (2) under protocol (5) with β1 = 5, β2 = 35 . (a) State information of location. (b) State information of velocity.

E1JBB0_2019_v15n2_251_f0009.png 이미지

Fig. 6. States of MAS (2) under protocol (5) ( β1 < 0 or β2 < 0 or β1 < 0, β2 < 0). (a) State information of location. (b) State information of velocity.

5. Conclusion

In this paper, we presented a new finite-time consensus protocol for the second-order MAS. Utilizing Lyapunov theory, graph theory and homogeneity theory, we have verified that the proposed tracking protocol can make MAS realize consensus more quickly in a limited time. The convergence speed of the MAS is improved nearly four times under our conditions. Last, comparison simulation results confirm that the designed protocol makes the MAS reach a finite time consensus with a faster convergence speed, the advantages of the proposed protocol are obvious. The next research direction is to the MAS with noisy interference.

Acknowledgement

The study is supported by National Natural Science Fund (No. 61503073).

References

  1. W. Qiao and R. Sipahi, "Consensus control under communication delay in a three-robot system: design and experiments," IEEE Transactions on Control Systems Technology, vol. 24, no. 2, pp. 687-694, 2016. https://doi.org/10.1109/TCST.2015.2458776
  2. J. Han and Y. Chen, "Multiple UAV formations for cooperative source seeking and contour mapping of a radiative signal field," Journal of Intelligent & Robotic Systems, vol. 74, no. 1-2, pp. 323-332, 2014. https://doi.org/10.1007/s10846-013-9897-4
  3. J. T. Pennington, M. Blum, and F. P. Chavez, "Seawater sampling by an autonomous underwater vehicle: "Gulper" sample validation for nitrate, chlorophyll, phytoplankton, and primary production," Limnology and Oceanography: Methods, vol. 14, no. 1, pp. 14-23, 2016. https://doi.org/10.1002/lom3.10065
  4. Z. Wu, Z. Guan, X. Wu, and T. Li, "Consensus based formation control and trajectory tracing of multiagent robot systems," Journal of Intelligent and Robotic Systems, vol. 48, no. 3, pp. 397-410, 2017. https://doi.org/10.1007/s10846-006-9108-7
  5. M. Burger, G. Notarstefano, F. Bullo, and F. Allgower, "A distributed simplex algorithm for degenerate linear programs and multi-agent assignments," Automatica, vol. 48, no. 9, pp. 2298-2304, 2012. https://doi.org/10.1016/j.automatica.2012.06.040
  6. L. Zhao, Y. Jia, and J. Yu, "Adaptive finite-time bipartite consensus for second-order multi-agent systems with antagonistic interactions," Systems & Control Letters, vol. 102, pp. 22-31, 2017. https://doi.org/10.1016/j.sysconle.2017.01.004
  7. H. Zhang, H. Jiang, Y. Luo, and G. Xiao, "Data-driven optimal consensus control for discrete-time multiagent systems with unknown dynamics using reinforcement learning method," IEEE Transactions on Industrial Electronics, vol. 64, no. 5, pp. 4091-4100, 2017. https://doi.org/10.1109/TIE.2016.2542134
  8. F. Xiao, T. Chen, and H. Gao, "Consensus in time-delayed multi-agent systems with quantized dwell times," Systems & Control Letters, vol. 104, pp. 59-65, 2017. https://doi.org/10.1016/j.sysconle.2017.03.012
  9. D. Wang and T. Li, "Weighted consensus multi-document summarization," Information Processing & Management, vol. 48, no. 3, pp. 513-523, 2012. https://doi.org/10.1016/j.ipm.2011.07.003
  10. L. Yu, L. Tu, and Y. Huang, "Finite-time consensus of a leader-following multi-agent network with nonidentical nonlinear dynamics and time-varying topologies," Wuhan University Journal of Natural Sciences, vol. 21, no. 5, pp. 438-444, 2016. https://doi.org/10.1007/s11859-016-1193-2
  11. Z. Li, Z. Duan, and F. L. Lewis, "Distributed robust consensus control of multi-agent systems with heterogeneous matching uncertainties," Automatica, vol. 50, no. 3, pp. 883-889, 2014. https://doi.org/10.1016/j.automatica.2013.12.008
  12. K. Liu, L. Wu, J. Lu, and H. Zhu, "Finite-time adaptive consensus of a class of multi-agent systems," Science China Technological Sciences, vol. 59, no. 1, pp. 22-32, 2016. https://doi.org/10.1007/s11431-015-5989-7
  13. B. Zhou and Z. Lin, "Consensus of high-order multi-agent systems with large input and communication delays," Automatica, vol. 50, no. 2, pp. 452-464, 2014. https://doi.org/10.1016/j.automatica.2013.12.006
  14. X. Liu, J. Cao, N. Jiang, G. Hao, and S. Wang, "Finite-time consensus of second-order multi-agent systems via auxiliary system approach," Journal of the Franklin Institute, vol. 353, no. 7, pp. 1479-1493, 2016. https://doi.org/10.1016/j.jfranklin.2016.02.007
  15. S. Khoo, L. Xie, and Z. Man, "Robust finite-time consensus tracking algorithm for multirobot systems," IEEE/ASME Transactions on Mechatronics, vol. 14, no. 2, pp. 219-228, 2009. https://doi.org/10.1109/TMECH.2009.2014057
  16. S. Li, H. Du, and X. Lin, "Finite-time consensus algorithm for multi-agent systems with double-integrator dynamics," Automatica, vol. 47, no. 8, pp. 1706-1712, 2011. https://doi.org/10.1016/j.automatica.2011.02.045
  17. Y. Hong, G. Chen, and L. Bushnell, "Distributed observers design for leader-following control of multiagent networks," Automatica, vol. 44, no. 3, pp. 846-850, 2008. https://doi.org/10.1016/j.automatica.2007.07.004
  18. Z. Zuo and L. Tie, "Distributed robust finite-time nonlinear consensus protocols for multi-agent systems," International Journal of Systems Science, vol. 47, no. 6, pp. 1366-1375, 2016. https://doi.org/10.1080/00207721.2014.925608
  19. G. Wen, Y. Zhao, Z. Duan, W. Yu, and G. Chen, "Containment of higher-order multi-leader multi-agent systems: a dynamic output approach," IEEE Transactions on Automatic Control, vol. 61, no. 4, pp. 1135-1140, 2016. https://doi.org/10.1109/TAC.2015.2465071
  20. F. Sun and Z. H. Guan, "Finite-time consensus for leader-following second-order multi-agent system," International Journal of Systems Science, vol. 44, no. 4, pp. 727-738, 2013. https://doi.org/10.1080/00207721.2011.618641
  21. J. Ma, D. Sun, H. Ji, and G. Feng, "Leader-following consensus of multi-agent systems with limited data rate," Journal of the Franklin Institute, vol. 354, no. 1, pp. 184-196, 2017. https://doi.org/10.1016/j.jfranklin.2016.10.005
  22. L. Cheng, Y. Wang, W. Ren, Z. G. Hou, and M. Tan, "On convergence rate of leader-following consensus of linear multi-agent systems with communication noises," IEEE Transactions on Automatic Control, vol. 61, no. 11, pp. 3586-3592, 2016. https://doi.org/10.1109/TAC.2016.2522647
  23. L. Y. Huang, C. Sun, S. Fan, and C. X. Yang, "Fast consensus algorithm of multi-agent systems with double gains regulation," International Journal of Control, vol. 90, no. 5, pp. 1123-1131, 2017. https://doi.org/10.1080/00207179.2016.1201866
  24. H. Pan, X. Nian, and L. Guo, "Second-order consensus in multi-agent systems based on second-order neighbours' information," International Journal of Systems Science, vol. 45, no. 5, pp. 902-914, 2014. https://doi.org/10.1080/00207721.2012.742596
  25. H. Wang, X. Liao, and T. Huang, "Accelerated consensus to accurate average in multi-agent networks via state prediction," Nonlinear Dynamics, vol. 73, no. 1-2, pp. 551-563, 2013. https://doi.org/10.1007/s11071-013-0808-9
  26. Y. Zhang and Y. Yang, "Finite-time consensus of second-order leader-following multi-agent systems without velocity measurements," Physics Letters A, vol. 377, no. 3-4, pp. 243-249, 2013. https://doi.org/10.1016/j.physleta.2012.10.055
  27. T. H. Lee, J. H. Park, D. H. Ji, and H. Y. Jung, "Leader-following consensus problem of heterogeneous multi-agent systems with nonlinear dynamics using fuzzy disturbance observer," Complexity, vol. 19, no. 4, pp. 20-31, 2014. https://doi.org/10.1002/cplx.21481
  28. Y. K. Zhu, X. P. Guan, and X. Y. Luo, "Finite-time consensus of heterogeneous multi-agent systems," Chinese Physics B, vol. 22, no. 3, article no. 038901, 2013.
  29. N. Rouche, P. Habets, and M. Laloy, Stability Theory by Liapunov's Direct Method. New York, NY: Springer, 1977.
  30. L. Rosier, "Homogeneous Lyapunov function for homogeneous continuous vector field," Systems & Control Letters, vol. 19, no. 6, pp. 467-473, 1992. https://doi.org/10.1016/0167-6911(92)90078-7
  31. Y. Hong, "Finite-time stabilization and stabilizability of a class of controllable systems," Systems & Control Letters, vol. 46, no. 4, pp. 231-236, 2002. https://doi.org/10.1016/S0167-6911(02)00119-6