Abstract

The finite-time consensus problem in the networks of multiple mobile agents is comprehensively investigated. In order to resolve this problem, a novel nonlinear information exchange protocol is proposed. The proposed protocol ensures that the states of the agents are converged to a weighted-average consensus in finite time if the communication topology is a weighted directed graph with a spanning tree and each strongly connected component is detail-balanced. Furthermore, the proposed protocol is also able to solve the finite-time consensus problem of networks with a switching topology. Finally, computer simulations are presented to demonstrate and validate the effectiveness of the theoretical analysis under the proposed protocol.

1. Introduction

In recent years, the cooperative control has received considerable attention mainly due to its broad applications to multiagent systems such as the state consensus seeking of multiple mobile vehicles [13], flocking, rendezvous, and containment in natural and social systems [49], analysis and control of cyberphysical networks [10], and distributed control and dispatching in smart grids [1117]. The cooperative control is an interdisciplinary subject and several researchers from different scientific communities have conducted various research studies concerning the abovementioned applications [2, 18]. Among the numerous research topics in cooperative control, consensus problem is one of the most important issues [19, 20]. The consensus problem can be generally described as how to design appropriate protocols based on the local information under some communication topology to ensure that the concerned agents reach an agreement on certain quantities of interest.

The main concern of this paper is the consensus seeking problem in the distributed control systems. Consensus seeking problem is a long-standing issue in computer science and sometimes called agreement problem. The communication topology and the consensus protocol are crucial for the consensus of multiagent systems. The researchers have mainly focused on the following two issues: one is the determination of the weakest and the simplest communication topology under which the given protocol can ensure the agents reach an agreement; the second is the design of a protocol to ensure that the states of the agents are converged to consensus under the given interaction topology. The multiagent consensus problem has been addressed by using the graph theory and the matrix analysis methods under various interaction topologies with given information exchange protocols. Vicsek et al. [4] have introduced an interesting discrete-time model of mobile agents. Each agent’s motion is updated according to a local rule based on its own and its neighbors states. The theoretical explanation of the consensus property of the Vicsek mode has been introduced in [5], where each agent’s set of neighbors should change over time with evolution of the system. Later, a general framework of the consensus problem for networks of dynamics agents with fixed or switching topology and communication time-delays has been established [19]. The consensus conditions derived in [19] have been further relaxed in [20]. Lin et al. [21, 22] have studied the consensus problem in the context of formation control of autonomous vehicles and have demonstrated that formation stabilization to a certain point is only feasible if the sensor digraph has a globally reachable node. The consensus problem has also been studied for switching communication topology [23, 24], asynchronous consensus [25, 26], high-dimensional consensus [27], consensus with sampled communication [28], and consensus with external disturbances and model uncertainties [29]. The research so far has focused more on the determination of the weakest and the simplest communication topology than the design of the information exchange protocol to achieve consensus under the given topology. The convergence rate is a very important performance index to evaluate the protocols. Although the enlargement of the algebraic connectivity can increase the convergence rate but still the protocols are unable to ensure that the states of the agents will reach a consensus in finite time. Finite-time consensus is desirable in many real-time scenarios. Recently, Wang and Xiao have studied the finite-time consensus problems and provided several finite-time consensus protocols to ensure that the multiagents reach a consensus in finite time with appropriate communication topology [3032]. Finite-time consensus in multiple Euler-Lagrange systems over undirected topology has been studied in [33]. More recently, finite-time consensus tracking problem of multiple high-order systems has been considered in [34, 35]. In this paper, a new nonlinear protocol based on the abovementioned works is proposed. The proposed protocol ensures that the agents reach the finite-time consensus with a better convergence rate than the typical linear protocol [19] and the nonlinear protocol proposed by Feng and Long [30]. Furthermore, a number of sufficient consensus conditions are derived and discussed using the tools from Lyapunov stability analysis. Finally, numerical examples are provided to validate the analytical results.

The remainder of the paper is organized as follows: in Section 2, some preliminary notions in graph theory are provided. Then, the problem is formulated in Section 3. Theoretical analysis results are given in Section 4. In Section 5, simulation results are presented followed by concluding remarks in Section 6.

2. Preliminary Notations

Graph plays an important role in representing the communication topology among multiagents. Therefore, some basic notions and results in algebraic graph theory [36, 37] and a algebraic inequality [38] are provided.

Let be a directed graph of order , where is the set of nodes, is the set of edges, and is a weighted adjacency matrix such that . An edge of is denoted by , where the first element and the other element are called the root and child vertices, respectively. The set of neighbors of vertex is defined as . The corresponding index set is denoted by . The Laplacian of the graph is defined as , where is a diagonal matrix with . A path of graph is a sequence of vertices satisfying . A directed graph is said to be strongly connected, if there exists a directed path between each pair of distinct vertices. A directed tree is a directed graph such that each vertex has only one parent vertex, except one special vertex (root vertex) without any parent vertex.

Directed graph is a subgraph of such that . If , is called a spanning subgraph. We say is induced by , if, for any , . A spanning tree of is a directed tree as well as a spanning subgraph of . A strongly connected component of is an induced subgraph and is subjected to be strongly connected. Suppose that graph has strongly connected components, denoted by . According to the above definitions, each vertex of directed graph lies exactly in one strongly connected component and the strongly connected component of partitions its vertices. Another directed graph is presented in [37], where consists of all strongly connected components of , and, for any , if only if there exist and such that .

Without causing any confusion, can be used to denote the directed graph .

Definition 1. For directed graph , if there exist some scalars , , yields , and then it can be said that satisfies the detailed balance condition or is a detail-balanced graph.

Definition 2. Let , and then is called a positive vector if , .

Definition 3. For ,

Lemma 4 ( [38]). For any ,, and then

Lemma 5 (see [39]). Suppose that there exists a positive definite continuous function such that the following condition holds.

There exist real numbers and and an open neighborhood of the origin such thatThen, the origin is finite-time stable and, depending on the initial sate , the setting time satisfies the following:

3. Problem Formulation

The multiple mobile agent system studied in this paper consists of autonomous agents, for example, particles or robots, labeled . All these agents share a common state space . For convenience, is used to denote the set . The state of agent is denoted by , , and let .

Suppose that the communication topology is and the agent ,, is with the following dynamics:where is the protocol to be designed.

The following information exchange protocol is used to solve a weighted-average finite-time consensus problem:where , , .

Particularly, the following cases can be obtained:(i)For , , thenand the nonlinear protocol (7) reduces to the typical linear protocol proposed by Olfati-Saber and Murray [19]. The dynamical behaviors of the multiagents have received considerable attention under this linear protocol and significant results have been established. Further details can be found in the survey papers [2, 18].(ii), , , and the consensus transforms into the nonlinear protocol proposed by Feng and Long [30]. Feng and Long have proved that their nonlinear protocol can solve the finite-time average-agreement problem and can be applied to the systems with switching topologies assuming that the communication topology is represented by a connected undirected graph.(iii), , , and in this case the protocol becomes discontinuous with respect to the state variables. The research on this topic is still under development. It is worth mentioning that the case when , , , and the adjacency matrix of the communication topology is a symmetric matrix has been addressed in [40].

4. Theoretical Analysis

This section describes some theoretical results of the agents dynamics under the proposed protocol.

4.1. Fixed Communication Topology

In this subsection, dynamic behaviors of the multiagents under fixed topology are considered.

Theorem 6. If the communication topology has a spanning tree and each strongly connected component is detail-balanced, then the nonlinear protocol (6) can ensure that the states of agents converge to a weighted-average consensus in finite time.

Proof. The proof is similar to that of [37] and is divided into the following three steps.
Step 1. Suppose that is strongly connected and detail-balanced.
As is a strongly connected and detail-balanced graph, according to Definition 1, there exists a positive vector such that for all . Then, the following can be obtained:LetThen is a constant and can be considered as a weighted-average of the initial sates of the agents. Let , where . Taking Lyapunov function , then and . In [19], is referred to as the group disagreement vector. In the following analysis, is assumed to be a nonzero vector.
Differentiating with respect to providesAccording to -inequalityLet , and , , where , . It is obvious that , , , and denote the Laplacian matrices of the graphs , and , respectively. Let , where , represents the spectrum of matrix . It can easily be checked that is an algebraically simple eigenvalue and is the associated eigenvector. As is a real symmetric matrix, there exists orthogonal matrix , such that and . ThenLet , and then . It is obvious that . According the above analysis, (12) can be rewritten asRecalling the fact , it can be found that do not have the same sign. By using the -inequality, one can obtainSimilar to [31], let , and let . It is obvious that is compact set. For convenience, construct functionClearly, . The expression can be rewritten asLet and , where . Obviously, and are continuous functions with respect to . Then, one can getwhere and . Hence,Similar to the above analysis, there exists a constant such thatwhere represents the second largest eigenvalue of the matrixes and , respectively.
LetObviously, andThe above analysis indicates that protocol (7) is able to solve the weighted-average consensus problem if the interaction topology is represented by a strongly connected detail-balanced graph. The last inequality also indicates that the proposed protocol in this paper is capable of providing a faster convergence rate than the typical linear protocol proposed in [19] and the nonlinear finite-time consensus protocolproposed by Feng and Long in [30].
Step 2. Suppose that has a spanning tree and the associated root vertex is and , for any . Furthermore, assume that the subgraph induced by the child vertices is strongly connected and detail-balanced.
Without loss of generality, assume that the root vertex is . Therefore, one can obtain that and are not all zeros. denotes the subgraph induced by the vertices excluding the vertex . In this case, as , the dynamic behaviors of the other agents may be focused. Then, one can obtainThat is,Let , . It is obvious that . Recalling that , one can getTake the Lyapunov function . Differentiating with respect to leads to Applying the -inequality to the above equation, the following is obtained:For simplicity, letLet , where denoted . Then one can get thatThen, is real symmetric and positive definite. Let the smallest eigenvalue of be . Then, , and, for any nonzero vector , . Therefore,where .
Similarly, one can obtain thatThen, the following inequality holds:The above analysis indicates that protocol (7) is able to solve the weighted-average consensus problem if has a spanning tree and each strongly connected component is detail-balanced.
Step 3. Suppose that has a spanning tree and each strongly connected component is detail-balanced. Then, the proposed protocol will solve a finite-time weighted-average consensus problem.
Consider the directed graph consisting of the strongly connected components of . Obviously, is a directed tree. From the definition of , the following facts can be obtained:(i)The dynamic behaviors of agents belonging to the vertex set that corresponds to the root vertex of are not affected by others and the local interaction topology among them is strongly connected and detail-balanced. Their states will reach an agreement in a finite time in accordance with the conclusion of Step . Considering , its root vertex (corresponding to nonempty subset of , where is the vertices set of graph ) is labeled and the final consensus state is denoted by .(ii)Consider the dynamics of agents, denoted by , corresponding to vertex (not the root vertex) of . Their dynamic behaviors are only affected by such agents, where there exists at least one vertex that belongs to set and they can provide information; that is, there exist directed paths connecting them to . Suppose such agents excluding , are , their sates have already reached consensus, and the consensus state is . Then, for any ,Therefore, can be seen as one (virtual) agent and as the leader of . If one relabels the vertices , by , and labels the (virtual) agent by , then the communication topology of agents , is , where Recalling the theoretical results produced in Step , the multiagents , will reach consensus in finite time, and the consensus state will be .(iii)In accordance with the above presented conclusion, the proposed protocol has solved a finite-time weighted-average consensus problem, and the consensus state is .The proof is completed.

4.2. Switching Topology

In practice, the information channel among agents may not always be available due to the physical equipment restrictions or the external interferences in the signal, such as exceeding the sensing range or existence of obstacles between the agents. Therefore, it would be reasonable to assume that the communication topology is dynamically changing.

Theorem 7. Suppose that is strongly connected and detail-balanced for all . Then, protocol (7) will solve a finite-time weighted-average consensus under time-varying topology if there exists a common positive vector such that for all .

Proof. The proof is similar to that of Theorem 6 with the same notations, such as and . Consider the Lyapunov function , then the constants, such as , , , that are derived in proof of Theorem 6, will transform into time-varying parameters , , , . Take , and then the multiagents will reach an agreement in finite time.

It should be noted that a common Lyapunov can be constructed for the consensus error system if is strongly connected and detail-balanced for all . Based on this condition, a preliminary result for finite-time consensus of multiagent system is given in theorem. However, how to reach finite-time consensus in multiagent system with switching topology without the condition that is a strongly connected and detail-balanced for all is still an unsolved issue.

5. Simulation and Applications

In this section, some simulations are performed by fixing , , and in order to validate the effectiveness of the theoretical results.

Two digraphs with and are presented in Figures 1 and 2, respectively. The adjacency matrix of is

It can be seen that is detailed balanced graph and is satisfying . The adjacency matrix of is

Digraph has a spanning tree and each strongly connected component is detail-balanced. And is satisfying .

Figures 3 and 4 provide the dynamic behaviors of the multiagents under the interaction topology with initial state and the state trajectories of agents for communication with initial state , respectively. The simulation results demonstrate that the multiagents can reach a finite-time consensus under the proposed protocol.

6. Conclusion

In this paper, finite-time consensus problem in multiagent networks with first-order dynamics has been investigated and examined. A new nonlinear information exchange protocol has been developed to ensure the achievement of consensus. The designed protocol ensures that the states of the agents converge to a weighted-average consensus in a finite time, provided that the communication topology is a weighted directed graph with a spanning tree and each strongly connected component is detail-balanced. Furthermore, the theoretical analysis has demonstrated that the proposed protocol is also capable of solving the finite-time consensus problem of networks with a switching topology. Future work will focus on achieving finite-time consensus with nonlinear intrinsic dynamics and time-varying topology.

Conflicts of Interest

The authors declare that they have no conflicts of interest.