Abstract

In this paper, the weighted couple-group consensus of continuous-time heterogeneous multiagent systems with input and communication time delay is investigated. A novel weighted couple-group consensus protocol based on cooperation and competition interaction is designed, which can relax the in-degree balance condition. By using graph theory, general Nyquist criterion and Gerschgorin disc theorem, the time delay upper limit that the system may allow is obtained. The conclusions indicate that there is no relationship between weighted couple-group consensus and communication time delay. When the agents input time delay, the coupling weight between the agents, and the systems control parameters are satisfied, the multiagent system can converge to any given weighted coupling group consistent state. The experimental simulation results verify the correctness of the conclusion.

1. Introduction

As an important branch of distributed system, multiagent systems (MASs) have been paid great attention by many scholars due to their wide application in many fields [16], such as multirobot system, wireless sensor network, and distributed target tracking. For example, in [5], the distributed formation control problem for multiple nonholonomic wheeled mobile robots would be solved by using a variable transformation, algebraic graph theory, matrix theory, and Lyapunov control approach.

Consensus or synchronization, as one of the most important problems of MASs, is to design an appropriately distributed protocol to make different agents achieve a common state. Group consensus, as an extension of consensus, is very suitable for multitasks and large-scale problems. Up to now, there are many results for consensus or group consensus [718]. On the other hand, the controllability problem of multiagent systems has attracted great interests and concern since Tanner proposed it in 2004. In the past decades, many controllability criteria have been given for multiagent systems [1924]. However, most of these results focused on single time scale. In [25], the group controllability of two-time-scale multiagent networks was firstly proposed and some easy-to-use criteria were proposed for group controllability of two-time-scale multiagent networks compared with the rank criterion. In [26], Long et al. further investigated second-order controllability of two-time-scale multiagent systems, and some more effective second-order controllability conditions would be determined only by the eigenvalues of system matrices. In [27], a new format of time-varying formation shape was proposed, and a new class of distributed adaptive observer-based controllers was designed under the mild assumption that both leaders and followers were introspective. As we know, most existing results have been obtained mainly based on the nodes of the network system. In some other real situations, each agent cannot obtain the neighbors state information in a real networked system. Therefore, in [28], the authors studied the discrete-time nonnegative edge synchronization of networked systems based on neighbors output information, which gives us a novelty and interesting synchronization method.

1.1. Related Contributions

It should be noticed that all the aforementioned results are based on the common assumption that the multiagent systems are homogeneous. In this situation, all agents of the whole systems have the same dynamics. However, in real life, almost every agent has its own dynamics because of different external and interaction impacts. Hence, it is natural for us to model heterogeneous multiagent systems. In recent years, some heterogeneous multiagent systems models have been established [2932]. In [29], dynamical consensus of heterogeneous multiagent systems which consist of the first-order and second-order agent dynamics has been discussed. In [30], a consensus protocol is proposed for high-ordered heterogeneous systems with uncertain communication delays. Furthermore, more and more scholars pay much attention to the group consensus of heterogeneous systems. For example, in [31], a heterogeneous system consisting of first-order and second-order agents has been studied on the basis of fixed and switching topologies. In [32], some sufficient group consensus conditions have been obtained for a kind of heterogeneous system with diverse input time delays based on frequency-domain analysis method and matrix theory. In [33], some sufficient couple-group consensus conditions have been derived for a kind of discrete-time heterogeneous systems consisting of first-order and second- order agents under the influence of communication and input time delays. In [34], Li et al. studied the consensus problem in heterogeneous linear discrete-time MASs. In [35], Cui et al. discussed the consensus problem of heterogeneous chaotic network systems with or without delay. In [36], the consensus problems of linear systems and nonlinear systems were studied separately. In [37], Liu et al. studied the consensus problem of heterogeneous MASs under certain assumptions. In [38], Goldin et al. studied the consensus of heterogeneous networks with undirected topology.

At the same time, some achievements have been made in the research of weighted consensus. For example, in [39], the concept of weighted consensus was proposed, and the multiagent weighted average consensus is studied. In [40], Shi et al. studied the robust consensus control for a class of MASs by PID algorithm and weighted edge dynamics. In addition, MASs based on cooperation-competition interactions are also receiving more and more attention. In [41], Hu et al. studied the second-order consensus problem of heterogeneous MASs. In [42], Hu et al. studied the swarming behavior of multiple Euler-Lagrange systems with cooperation-competition interactions.

1.2. The Main Motivation

It is obvious that heterogeneous systems are more complex than homogeneous systems and it is more difficult for us to deal with the relevant crucial topics. Inspired by the recent developments for heterogeneous multiagent systems, this paper will further investigate the weighted group consensus. To the best of our knowledge, most of existing literatures only discuss homogeneous systems, the multiagent systems in which all agent share a common value.

In this paper, we mainly investigate the weighted group consensus for a class of continuous-time heterogeneous multiagent systems with input and communication time delay. In recent years, although group consensus of multiagent systems has derived many significant results. It is worth mentioning that most of the existing results only discussed the situation where all agents possessed a fixed weighted-value, even most of the obtained results mainly focused on the consensus of heterogeneous multiagent systems, and few results were proposed for group consensus of heterogeneous networks with input and communication time delay. Furthermore, all these related conclusions were based only on agents’ competitive or cooperative relation. However, in complicated practical situation, the consensus protocol needs to be adjusted with circumstances, cooperative tasks, or other constraint conditions. All these reasons incite us to study the weighted group consensus for heterogeneous multiagent systems with input and communication time delay.

1.3. Statement of Contributions

There are three main contributions in this paper. Firstly, the model is different from cooperative or competitive heterogeneous networks, both cooperative and competitive interactions are considered, it extends the scope of the existing research, and a kind of weighted couple-group consensus agreement based on cooperation-competition relationship is introduced, which is quite different from the literature [31, 32, 35, 37, 38]. Relying on the new protocol control, the agents can receive neighbor information more reasonably and speed up the system to achieve group consensus. Secondly, in order to simplify the analysis process, we remove the dynamic virtual speed of the first-order agent, such as in [29, 31, 32, 37]. A novel weighted couple-group consensus protocol is designed, which relaxes the in-degree balance condition and the results are also applicable to directed and undirected graphs. On the other hand, we turn the weighted matrix into a dynamic form, which makes the designed controller more flexible. Thirdly, some sufficient conditions have been obtained for the group consensus of this system by using graph theory, general Nyquist criterion, and Gerschgorin disc theorem. Unlike the [31, 32, 37], we do not require that the system satisfies the condition that the geometric versatility of the zero eigenvalues of the Laplacian matrix is not less than 2, which makes the system’s topology more flexible. With the help of these conditions, the time delay upper limit of this system can be computed and the multiagent system can converge to any given state only if the weighted group consensus parameters are satisfied. The simulation results well verify the correctness of the conclusion.

The rest of this article is organized as follows. The second section lists some preliminary knowledge and problem description. The third section presents the main results and proof process of group consensus. The fourth section verifies the correctness and effectiveness of the proposed method through simulation. Finally we come to a conclusion.

Note. In this context, denotes a complex set and denotes a real set. represents a unit matrix, where represents a dimension. is the real part, and is the model, where . represents the eigenvalue of matrix , and represents the determinant of the matrix.

2. Problem Description and Preliminary Knowledge

In order to facilitate the follow-up work, we need introduce some preliminary knowledge of the graph theory.

2.1. Graph Theory and Interconnection Topology

Considering agents, the topological relationship of the agent is represented by the graph , where represent the set of vertices of the graph. and represent the edge set and the adjacency matrix, respectively. In this article, the case of containing a self-loop is not considered.

Note that the undirected graph can be thought as a special directed graph, and we assume if in this paper. That is, if and only if the node (agent) is able to receive information from the node (agent), . At the same time, represents the set of neighbor nodes, and represents the set of nodes within the degree, where the in-degree matrix can also be expressed as . Therefore, is defined as a Laplacian matrix. Note. The adjacency matrix is a symmetric matrix if and only if the graph is an undirected graph.

2.2. Problem Statement

Based on the above-mentioned preliminary knowledge of graph theory, in this paper we propose a heterogeneous multiagent system with agents, which contains second-order and first-order dynamics. In order not to lose generality, it is assumed that the first agents are second-order dynamics, and the last agents are first-order dynamics, where . The specific system model can be designed as follows:

where , , , , , and , where is the location of the agent , is the control rule of the agent, and is the speed. Obviously, since each agent’s neighbors can be first-order or second-order, they are divided into and . So the neighbor node set . Because the dynamics of the agent in the system are heterogeneous, Its adjacency matrix can be expressed aswhere is an adjacency matrix composed of second-order agents, is composed of coupling weights from second-order agents to first-order agents, is composed of first-order to second-order coupling weights, and is an adjacency matrix composed of first-order agents. Therefore, we can further write the Laplacian matrix as follows.The matrix represents the interaction between only the second-order agents, and the matrix represents the interaction between only the first-order agents. It should be noted that both of the matrices are Laplacian matrices, where and are the in-degree matrix of the agent , which represents the neighbor information received from different orders.

To facilitate the follow-up work, here are some definitions and lemmas.

Definition 1. For the heterogeneous MASs to progressively implement the weighted couple-group consensus, the system should satisfy the following two conditions:

Definition 2. For the bipartite graph , the vertex set can be split into two disjoint subsets and , where , and at the same time , where and .

Lemma 3 (see [15]). For an undirected bipartite graph, . At the same time, it should be noted that directed bipartite graphs containing directed spanning trees have the following two properties: (1) , (2) when , , where is the number of system agents, matrix .

3. Main Results

Most existing works are based on the competition or cooperation relationship of agents. At the same time, only a single form of delay is considered. For example, in [38], the grouping of heterogeneous systems with the same input delay is studied. Its system is described as follows:AndIn (5) and (6), it is not difficult to see that the agents rely on cooperative relationships for information exchange, and there are also speed estimates in the first-order agents. Considering that in practical applications, competitive interactions are inevitable. Therefore, we design a weighted couple-group consensus protocol that utilizes the competition-cooperative interaction of agents. The specific form is as follows:AndHere indicates communication delay between agent and agent , and represents the identical input delay of the agents. denotes a neighbor of the same dynamic as the agent . Similarly, denotes a neighbor of a different dynamic from the agent . Meanwhile, , , and , where , , , is the number of agents.

Remark 4. This paper designs a controller with weighted coefficients. By adjusting the weighted coefficient of the controller, the state of many agents can be globally converged to any given weighted state. Compared with the original controller, the designed controller is more flexible and more adaptable to different states. At the same time, when the agent and the agent have the same dynamic, we adopt a cooperative approach. When the agents and have different dynamic, we use a competitive approach. By using cooperation-competition relationship, we ensure that heterogeneous MASs can achieve weighted couple-group consensus.

Theorem 5. Based on system (7) and (8), and the undirected bipartite graph is assumed to be the topology of the system. if these conditions hold: and , where , and , , then the system can progressively achieve weighted couple-group consensus.

Proof. By performing the Laplace transform on (7) and (8), we can get the following expression:Transform and into Laplace forms and , respectively. From the (9), we haveAfter transformation, we can get the following formula:Next, we define , , andAccording to (10) and (12), we can getHereNext, we define , and we haveHereAccording to (16), we can get . According to the Lyapunov stability criterion, when the , or , the system achieves group consensus. Next, using general Nyquist criteria, we discuss these two situations.
When , it can be clearly seen that 0 is a characteristic value of the matrix , so one root of the formula can be obtained when . At the same time, when ,
When , set andwhere . In order for the system to achieve group consensus, the general Nyquist criterion, if and only if the point is not surrounded by the Nyquist curve, root is located on the left half of the complex field. Based on the Gerschgorin disk theorem, we can getWhen , we have the following.For the convenience of calculation, we set . At the same time, according to the general criteria, since the point , cannot be encircled in , , we can further transform the inequality into the following form:According to the Euler formula and from (21), we can getAfter some transformation, we can get the following.It is easy to see from (23) that when is monotonically increasing.Since is a positive number, we can transform (24) into the following form.According to (24), it is obvious that the following two inequalities are true:andAccording to (26), we can get , because . According to (27), we can change it to the following form.Since , (27) is established if and only if
Similarly, when , we can get the following inequalities according to the Gerschgorin theorem:so, the point , , cannot be encircled in , , and then the following inequality is obtained.Next, we define ; then from (30), we have the following.After some calculations, we can get the following simplified formula.From (32), we know that will gradually increase as increases. Here we set . Obviously, we have the following.Since , (32) is established if and only if .
Obviously, we have completed the proof of Theorem 5.

Corollary 6. Based on system (7) and (8), a bipartite digraph containing a directed spanning tree is assumed to be the topology of the system. If these conditions hold: and , where , and , then the system can progressively achieve weighted couple-group consensus.

Combined with the previous analysis, it is clear that the theorem is completed.

Using Proof and Lemma 3, it is clear that Corollary 6 is true.

Theorem 5 is proved.

Remark 7. From Theorem 5, we can see that the control parameters , , and coupling weight of the system are the key parameters affecting the consensus of the weighted couple-group, and the input time delay is determined by the coupling weight and the control parameters. However, we can see that communication delay has no effect on group consensus.

Remark 8. The proposed system (7) and (8) is constructed by using the cooperation-competitive interaction between agents in this paper. Since most of the agents currently working rely on the cooperation or competitive relationship, such as in [17, 18, 29, 31, 32, 3439], this paper studies the group consensus of heterogeneous complex systems from a new perspective. At the same time, it should be noted that in the proposed protocol, the first-order agent does not contain virtual speed estimation, which can make more rational use of resources and reduce computational cost, for example, in [29, 31, 32, 37].

Remark 9. Different from the works in [31, 32, 37], we have relaxed the condition of intra-degree balance, which facilitates communication between agents. In real life, there are many limitations in in-degree balance, because it will result in no actual communication between subsystems [13]. In other words, it will cause the interaction between agents in different subsystems to be offset. At the same time, we do not require that the system satisfies the condition that the geometric versatility of the zero eigenvalues of the Laplacian matrix is not less than 2, which makes the system’s topology more flexible.

Remark 10. Most of the works are weighted by a fixed value. We use dynamic weighted methods here, namely, , , and . The weighted coefficients corresponding to each agent are different, which enables the MASs state to converge globally to any given weighted state. Compared with the original controller, the designed controller is more flexible and more adaptable to different states. In addition, in most of the existing works, the consideration of the delay problem is relatively simple. Only the effects of either input delays [36] or time delays are not considered, such as [31, 32, 36].

To discuss the effect of different input delays and communication delays on the multiagent implementation of group consensus, we rewrite (7) and (8) as follows:Here represents the communication delay between the agents and , and represents the input time delay of the agent .

Theorem 11. Based on Protocol (34) and (35), the undirected bipartite graph is assumed to be the topology of the system. If these conditions hold: and if or, otherwise, , where , , and , , then the system can progressively achieve weighted couple-group consensus.

Corollary 12. Based on Protocol (34) and (35), a bipartite digraph containing a directed spanning tree is assumed to be the topology of the system. If these conditions hold: and if , or, otherwise, , , where , , and , , then the system can progressively achieve weighted couple-group consensus.

The conclusion here is obvious.

Remark 13. From Theorem 11, the communication delay of the agent has no effect on the group consensus of the system. At the same time, the upper limit of the input time delay is controlled by the control parameters and coupling weights with the same dynamics, and the delay conditions between different dynamics are different. Communication delay has no effect on the group consensus of the system.

Remark 14. Since the system needs some other external conditions when implementing group consensus, our assumed topology is not a specific topology. For example, in [31, 32, 36, 37], the topology of the system is also an undirected graph or a graph containing a directed spanning tree. At the same time, in order to achieve group consensus, some additional assumptions are needed, mentioned in Remarks 7, 8, and 9.

4. Simulation

In this section, several simulation results will be used to illustrate the validity of the results obtained. Figure 1 shows a binary topology of a heterogeneous system. The entire system is divided into two subgroups, and . The system contains agents 1, 2, 3, 4, 5, 6, and 7. In order not to lose generality, we denote 2, 4, and 7 as second-order agents, denoted by . The first-order agent includes the remaining agents 1, 3, 5, and 6 and is represented by . Obviously, subgroup and subgroup are heterogeneous in Figure 1.

Remark 15. From Figure 1, the dynamics of the agents in subgroup and subgroup are heterogeneous. Obviously, we do not require that the dynamics of agents within the same subgroup be homogeneous, such as [32, 37].

Example 16. For convenience, we set , and let , , . Since Figure 1 is an undirected bipartite graph, we can get .
According to the qualification conditions proposed by Theorem 5, we can calculate the range of the input delay as . In the simulation experiment, we assume . Obviously, at this time satisfies all the qualifications. To verify the impact of different delays on system group consensus, we assume different input delays and communication delays. In Figure 2, we assume an input delay of and then input different communication delays to compare their effects on the system convergence rate. In Figure 3, we fixed the communication delay and then assumed different input delays.

Remark 17. It can be seen from Figures 2 and 3 that the input delay and communication delay will affect the convergence trajectory of the agent. When the input delay or the communication delay increases, the convergence speed of the agent decreases, so we can increase the convergence speed by reducing the delay.

From the qualification of Theorem 11, we can calculate the range of input delay for each agent: , , , , , , . Here we take , , . Obviously all are satisfied with Theorem 11. Figure 4 demonstrates that weighted couple-group consensus is achievable. At the same time, according to the upper bound calculated by Theorem 11, we assume . As can be seen from Figure 5, the system is divergent at this time.

Next, we will testify Theorem 11 and Corollary 12.

Example 18. We assume that the topology of a heterogeneous system contains a directed spanning tree, as shown in Figure 6. Since Figure 6 is an directed bipartite graph, we can get . According to Corollary 6, we can assume that ; obviously, satisfies all the qualifications. In Figure 7, we set the input delay to a fixed value and enter different communication delays. According to the topology and Corollary 12 of Figure 6, we set , and , as shown in Figure 8. Obviously, from Figures 7 and 8, we can easily find that the system can progressively implement weighted couple-group consensus. When , the system is divergent, as shown in Figure 9.

5. Conclusion

This paper studies the group consensus problem of heterogeneous MASs based on bipartite graph structure. The dynamic weighted couple-group consensus in the case of time delay is considered. A new weighted couple-group consensus protocol is designed by using cooperation and competition interaction between agents. Using graph theory, matrix theory, Gerschgorin disk theorem, and general Nyquist criterion, the upper bound of the maximum delay that can be tolerated when the system reaches convergence is obtained. It is not difficult to see from the theoretical results that the weighted couple-group consensus of the heterogeneous MASs is not directly related to the communication delay. The heterogeneous MASs implement weighted couple-group consensus, which is determined by the coupling weight between the agents, the input time delay, and the control parameters. In addition, in order to speed up the convergence of the system, we can reduce the communication delay or input delay, or both of them. The simulation example validated the results. In the future work, we will study the group consensus problems of more complex heterogeneous multiagent systems. For example, we will consider switching topology or event driven.

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 was supported in part by the National Natural Science Foundation of China under Grant No. 61876200, in part by the Natural Science Foundation Project of Chongqing Science and Technology Commission under Grant No. cstc2018jcyjAX0112, in part by the Educational Reform Project of Chongqing University of Posts and Telecommunications (Grant No. XJG1635), and in part by the Scientific and Technological Research Program of Chongqing Municipal Education Commission (Grant No. KJ1400432).