Abstract

This paper investigates the consensus problem of the distributed multiagent system (MAS) with the small-world framework. A distributed consensus protocol is provided for the node-to-node communication. According to an error between every two neighbor agents, several consensus criteria among the agents are obtained firstly. Then, consensus criteria are obtained via the diameter of the graph of the MAS. Finally, based on the small-world framework, the consensus criteria are obtained; also, the relations among the consensus, the diameter of the path in the small-world framework, and the errors of agents are disclosed. Finally, one numerical example shows the reliability of the proposed methods.

1. Introduction

In recent years, the coordination problem of the MAS has been drawing considerable attention due to its wide range of application domains [1, 2], such as swarming [3, 4], clustering [5, 6], and flocking [7, 8]. Consensus refers to the fact that the state of each agent converges to a common value.

To solve the consensus problem, the main task is to design the distributed protocol for each agent, and all agents achieve the consensus via the local communications. Hence, the well-designed protocol and optimized topology are usually considered when we investigate the problem.

For different circumstances, we need an effective consensus protocol to ensure the system keeps the coordinative behave, and there are many related results about it, such as the first-order MAS [912], the second-order MAS [13, 14], the high-order MAS [15, 16], and the fractional-order MAS [1721]. Combined with weights and inequalities, sufficient conditions for consistency between the leader node and the following node are studied for the first-order MAS in [9]. H. J. LeBlanc and X. Koutsoukos studied the standards of the first-order MAS and the higher-order MAS consistency [10]. Based on the conditions of spanning trees and strong connectivity in the orientation diagram, the timing consistency of the first-order nonlinear MAS is studied in [12], and the main conditions for MAS consistency are obtained: in the leader-following case, the topology should have a generated tree; in the absence of a reader node, the MAS topology is strongly connected. Based on the eigenvalues of the matrix, the controllability of the second-order MAS is studied in [13], and some equivalent conditions for the second-order MAS controllability are obtained. In [14], the tracking problem of the second-order nonlinear MAS with time-variable and multiple leader nodes is studied, and the proposed control protocol can effectively deal with the problems such as the disturbance and the unknown input of the reader node. Using self-triggering control and dynamic output feedback control methods, the consensus of the high-order MAS is studied, and the obtained results can improve the communication efficiency of the MAS [15].

In many applications, the topology of the MAS should be optimized; hence, the fixed topology and switching topology are considered frequently. For example, in [20], based on the switching topology, quasi-consistency of the MAS with competition and collaboration is studied, and the results show that, as long as the collaboration time is long enough, the system can achieve the consensus. In addition, with the Lipschitz conditions, the adaptive consensus of the MAS under fixed topology is studied in [21]. Additionally, state estimation problems with Markovian switching are considered in [22, 23], and the fixed-time coordination problems are considered in [2426].

Furthermore, by optimizing the topology of the MAS, the consensus problems of the MAS are further studied. Considering that the power system is affected by actuator saturation, the event trigger and self-trigger strategy are proposed, and the obtained results can save the resources of the network effectively [27].

Notice that most of the existed results about the consensus problems of the MAS are based on the fixed node set, and when the consensus is considered, the states of all agents are taken into account. In fact, in some applications, it is difficult to obtain all the information of the MAS, such as the model of scale-free network (SFN) [28], and the newly added node is connected to the related original node with a certain probability. Therefore, by comparing the error between every two nodes on a route of the communication graph, the related problems have been considered. Based on the balance between the in-degree and the out-degree, the consensus problem has been studied in [29]. In the noise environment, the consensus problem of the MAS under the SFN structure is studied in [30], and the results show that noise has limited influence on system consistency; in addition, under the SFN topology, it shows that the system has strong robustness. According to an adaptive consensus protocol, the adaptive consensus problem of the MAS with the SFN structure is studied in [31], and several conditions of consensus are obtained.

In the last decade, the properties of small-world networks have been studied in [3234]. A small-world network refers to an ensemble of networks in which the mean geodesic (i.e., shortest-path) distance between nodes increases sufficiently slowly as a function of the number of nodes in the network [35]. Based on the framework of the small-world network, many problems of different research fields have been solved, such as the efficiency issue of computing and maintaining the eccentricity distribution on a large dynamic network [36], the viral-style information diffusion [37], and the visual analytics [38]. Furthermore, the coordination problem has been considered in the small-world network. In [39], the statistical properties of the consensus and synchronization of the small-world networks are studied, and the results show that the Cheeger constant, which is a major determinant to measure the convergence rate of the consensus and synchronization of the small-world networks, is investigated.

In fact, there is another way to study the consensus problem in the small-world framework. That is, by comparing the error between every two agents in the small-world framework, the related consensus protocol is designed, and less error will be influenced, whereas all errors should be considered in the traditional results. Motivated by the idea, in this paper, we investigate the consensus problem in the small-world framework.

The remainder of this article is organized as the following. Section 2 introduces some notations and concepts. Section 3 proposes the consensus problem. In Section 4, several consensus criteria are obtained for the MAS. In Section 5, a numerical example shows the reliability of the proposed methods. In Section 6, we get the conclusions.

2. Preliminaries

Let be an agent set and be the edge set, where is the natural number set.

Let be a weighted symmetric adjacent matrix, where is the weight between nodes and , , and takes values of 1 or 0. If , then it shows that there exists information flow between agents and ; or else, .

Let be the edge set, where refers to an edge between and . is the neighbor set of , where . Then, the undirected weighted graph of a multiagent system (MAS) can be shown by .

, let be the state of agent , where , and the consensus of the MAS can be interpreted as follows.

Definition 1 (see [31]). , , ifthen the system achieves the consensus, where is the norm of function .

3. Problem Statement

Consider a MAS with the node set ; the state of each node satisfieswhere is the consensus protocol of node .

If is implemented aswhere and is a function, then we have the following system:or in a compact form,where , , and

In the following sections, we are going to discuss the consensus of system (4), and we need the following assumption.

Assumption 1. We assume that , there exist two positive functions and such that if , thenwhere

Remark 1. If , then the error between and is zero, and they achieve the consensus. If one of and is zero, then their angle of intersection is an arbitrary angle, and we define .
It shows that the real networks have the following property; for any two nodes in a network, the distance between them is relatively small, while, at the same time, the level of transitivity or clustering is relatively high [40]. This property, which is shared by many real-world networks, is called the small-world phenomenon. In the following sections, based on the small-world framework of graph , the consensus problems of system (5) will be studied.

4. The Main Results

In this section, the consensus problem of the MAS is studied. Firstly, we propose the state error between every two neighbor agents. Then, in the connected topology, the state error between every two agents is provided via the route which associates with two agents. Finally, according to the diameter of a graph, consensus criteria are obtained; meanwhile, as a special case, consensus criteria are obtained for the small-world framework.

Theorem 1. If , then under protocol (5),where .Proof. First, we estimate the error between and under the condition . Sinceit holds thatFor convenience, denoteWe haveLet ; it follows thatFrom Assumption 1, it holds thatand it follows thatHence, we haveLet the Lyapunov candidate be ; then, we getand namely,
If , then at least one of and is 0. Without loss of generality, we suppose , namely, is the zero vector, and we can get the same result. This completes the proof.

Theorem 2. If is connected, then under protocol (5), system (4) achieves the consensus.

Proof. If , then has been proved in Theorem 1.
Since is connected, if , then there exists a path between and such thatand on the contrary, ; then, we have , and this completes the proof.

Remark 2. The consensus criterion of Theorem 2 is a rough result; it has not disclosed the relations among the scale of the network, the bound of tolerate errors, and the diameter of the graph . In the following results, the relations will be discussed.

Assumption 2. For each diameter of graph , we assume that there exist two functions and such thatwhere , , , and and are nonnegative constants.

Theorem 3. If is the diameter of graph and is connected, then under the control of protocol (5), system (4) achieves the consensus ifwhere is the length of path in the small-world network of the MAS.

Proof. Let ; then, it holds thatand it follows that , . This completes the proof.

Corollary 1. If is the diameter of a small-world graph , is connected, and and , then under the control of protocol (5), system (4) achieves the consensus if ,

Proof. According to the proof of Theorem 3, it holds that .
Hence, system (4) achieves consensus, and this completes the proof.
In this section, the consensus problem of the MAS has been studied. In the next section, a numerical example shows the reliability of the obtained methods.

5. A Numerical Example

Example 1. Consider a connected MAS (4) with seven agents, where , and the topology is shown in Figure 1. Suppose , letwhere , and according to Corollary 1, under the control of protocol (3), MAS (5) achieves the consensus. The simulation result is shown in Figures 2 and 3, where .

6. Conclusion

In this paper, the consensus problem of the MAS has been investigated via the node-to-node communications. A kind of distributed protocol has been designed firstly. Then, we have obtained a system with scale-free topology. By the theoretical analysis, the results have shown that based on the protocols, all agents can achieve the consensus; meanwhile, a criterion on the small-world framework has been obtained. Finally, the numerical example has shown the reliability of the proposed methods.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work is supported by Fund of Zhejiang Provincial Education Department (Y201941722), the Cultivation Funds of Taizhou University (2019PY017 and 2017PY17), and Research Initiation Fund of Taizhou University (0104010004).