Abstract
This paper studies bipartite consensus for first-order multiagent systems. To improve resource utilization, event-based protocols are considered for bipartite consensus. A new type of control gain is designed in the proposed protocols. By appropriate selection of control gains, the convergence rate of the closed-loop system can be adjusted. Firstly, for structural balance case, necessary and sufficient conditions are given on communication relations and consensus gains to achieve bipartite consensus. Secondly, for structural unbalance case, necessary and sufficient conditions are proposed to ensure the stabilizing of the system. It can be found that the system will not show Zeno behavior. Numerical simulations are used to demonstrate the theoretical results.
1. Introduction
Consensus problem is one of the hot topics in coordination of multiagent systems (MASs). In the last few years, research on consensus has received considerable attention [1–9]. Consensus means that agents can reach a common value through cooperative relations among agents. However, in real applications, not only cooperative but also competitive relations among agents exist. In these circumstances, bipartite consensus is studied [10–20]. Based on the cooperation and competition among agents, bipartite consensus can be achieved if agents agree upon a certain value with the same quantity and different signs. In [10], necessary and sufficient conditions for bipartite consensus of the single-integrator MASs are given. In [12], the communication condition is first reduced to be containing a spanning tree. In [14], the communication topology is extended to the time-varying case. In [15–20], bipartite consensus with measurement noise is considered.
It is worth pointing out that the above literature adopts a time-driven control pattern, where the state of the agents is monitored continuously and the control law updates are done at any moment. In practical implementation, the embedded processors are often resource-limited and thus an event-based control fashion is more beneficial in MASs. For conventional consensus of MASs, an event-based control fashion was thoroughly studied [21–31]. In the pioneering work [21], an event-based feedback protocol was proposed. In [23], the event-based protocols for both fixed and switching topologies have been considered. In [25], the self-triggered protocol of MASs was taken into account. Then, in [28], a new event-based protocol for average consensus of MASs was proposed and continuous monitoring of agents’ states was not required. The event-based consensus for general linear MASs can be found in [29–31]. Despite these productive results, works on bipartite consensus with event-based control strategy are still rare.
In this paper, we consider event-based bipartite consensus for first-order MASs. In contrast to [32, 33], a new function is introduced into the event-based protocol, such that the Laplacian-like event-based bipartite consensus protocols in [32, 33] are special cases of this paper. Due to the new function gain, the closed-loop system is time-varying. By use of state transition matrix, the closed-loop system is analyzed. For structural balance case, necessary and sufficient conditions are given on communication relations and consensus gains to achieve bipartite consensus. For structural unbalance case, necessary and sufficient conditions are proposed to ensure the MAS stabilizing.
Organization. In Section 2, we give some basic concepts on signed graph and formulate the problem. In Section 3, we prove the main results. In Section 4, we show the validity of theoretical analysis through the simulation results. In Section 5, we conclude this paper and put forward further research directions.
Notation. represents all real matrices of order. denotes vector or matrix whose elements are 0. represents column vector whose elements are 1. represents sign function.
2. Problem Formulation
The communication relations among agents are expressed by the signed digraph , where is the node set and is the edge set. is the weighted adjacency matrix of , where and represent competition relationship and cooperation relationship between and , respectively. Throughout this paper, we always assume that , , and , . is the Laplacian of , where . is structurally balanced if can be divided into two subsets , satisfying for , and for . is structurally unbalanced otherwise.
Consider an MAS with agents, whose dynamics obey the following equation:where and are the state and control input of the th agent.
We use to express the communication relations among the agents.
Considering the limit resources, people would like to reduce the frequency of control law updates. In this case, an event-based control law is more favorable. Our aim here is to provide an event-based control in order that all agents’ states converge to values with the same modulus and different signs regardless of initial states.
To achieve this goal, we assume that each agent only updates its control law at discrete times indexed by . We define the event-based control as follows:where is a piecewise continuous function.
Remark 1. The control law will be actuated at discrete event times. A proper function will be designed to improve the convergence performance of the closed-loop system. In particular, when , protocol (2) is reduced to event-based bipartite consensus protocols in [32, 33].
The state measurement error of the th agent is denoted by Let and, hence,where .
We introduce the following definition to characterize the behavior of (3).
Definition 2. System (1) is said to achieve bipartite consensus via event-based protocol , if for system (1) with any given , there exists ) and such that , where depends on and the communication relations among agents.
We provide the following event triggering conditions:where .
When the measurement error is over the threshold, the controller is triggered and updates itself. To analyze (3), we introduce assumptions as follows: is structurally balanced. contains a spanning tree..
The following lemma is highly related to the subsequent results.
Lemma 3. If system (1) can achieve bipartite consensus via event-based protocol (2), then there exist , and , such that , where is the state transition matrix of (3).
Proof. The proof is omitted due to space limit.
3. Main Results
The following result is the main result of this section.
Theorem 4. System (1) can achieve bipartite consensus via event-based protocol (2) if and only if , and hold.
Proof.
Sufficiency. Assume is the state transition matrix of (3). Then, Since and hold, Lemma 1 of [17] implies that has exactly one zero eigenvalue and all nonzero eigenvalues are in the open right half plane. Thus, there exists satisfyingwhere is dimensional Jordan block with on its diagonal, . Obviously, are the eigenvalues of , and Combining this, we can get the state transition matrix:where , is defined as in Lemma 3 of [17]. Thus, from , we know that By (3), , where . By (6), one hasFurthermore, by (5), one getsAssume . Then, . This together with (8) giveswhere is the linear combination of and . Then, by (4), there must exist , such thatConsidering the specific form of in Lemma 3 of [17], we get that , where is the linear combination of
By direct calculation, one obtains thatThis together with (10) leads toTherefore, , and thus , where is the first column of , is the first row of , and . By (5), one gets that . From , we know that there exists such that . Since the eigenspace corresponding to eigenvalue 0 is 1 dimensional, , where is a constant. Denote . Then, and depends on and communication relations among agents. Therefore, Sufficiency holds.
Necessity. Assume by contradiction that does not hold. Without loss of generality, let . Then, . It is an invertible matrix and thus This contradicts Lemma 3. Therefore, holds. Next, we prove that has exactly one zero eigenvalue. If 0 is not eigenvalue , then . This implies that is independent of . It contradicts Definition 2. Thus, 0 is eigenvalue . If the geometric multiplicity of eigenvalue 0 is less than the algebraic multiplicity of 0, then by and direct calculation, one has the notion that does not exist. It is a contradiction with Lemma 3. So, the geometric multiplicity equals the algebraic multiplicity of eigenvalue 0. Assume 0 is dimensional and . Then, with abuse of notation, . Hence, and . This contradicts Lemma 3. So, ; i.e., has exactly one zero eigenvalue. With abuse of notation, (5) and (6) hold. Noticing Lemma 3, one gets Therefore, , where . Since , . By the definition of Laplacian , for any , one gets Noticing , one has Let and ; then . If , or . By definition, is structurally balanced; i.e., holds. From Lemma 1 of [17], has a spanning tree; i.e., holds.
Remark 5. From (11), one obtains that the convergence rate of the closed-loop system is closely related to eigenvalues of and the rate of converging to infinity. It follows that, by appropriate selection of , the convergence rate of (3) can be adjusted.
From Theorem 4, we can see that structural balance is a necessary and sufficient condition to ensure bipartite consensus. When is structurally unbalanced, we investigate the evolution of the MAS: is structurally unbalanced. does not contain structurally balanced input solitary subgraphs.
An input solitary subgraph of indicates that agents of the subgraph cannot obtain information from other agents of .
Theorem 6. System (2) can be stabilizing via event-based protocol (2), i.e., if and only if , , and hold.
Proof.
Necessity. The necessity is similar to the proof of Theorem 4.
Sufficiency. From , , and Lemma 2 of [17], we can see that all eigenvalues of have positive real parts. Since holds, one has by repeating the sufficiency proof of Theorem 4.
4. Numerical Simulation
Example 1. Six agents’ communication relations are expressed by Figure 1, where , , , and . Obviously, satisfies assumptions and . Laplacian has eigenvalues , , , , , and . It can be seen that 0 is a simple eigenvalue of , and . Agents’ dynamics satisfy (1). Assume . If we choose , , and in (2), then satisfies and state trajectories are given in Figure 2. One can find that agents 1, 2, and 4 converge to 1.7 while agents 3, 5, and 6 converge to ; i.e., system (1) achieves bipartite consensus via event-based protocol (2). From Figure 3, we know that the inputs are constants between the event triggering time intervals. Furthermore, as shown in Figure 4, error norm of each agent converges to zero. This means that the MAS avoids the Zeno behavior.
Example 2. When communication relationship among the six agents is given by as shown in Figure 5, where , and . Eigenvalues of Laplacian are , , , and , respectively. satisfies and . It is easy to know that . Let , , and ; the state trajectories of the MAS can be obtained as shown in Figure 6. All states eventually converge to 0. This is consistent with Theorem 6. The evolution of control input and error norm are shown in Figures 7 and 8, respectively.
5. Conclusion
In this paper, event-driven protocols are considered for bipartite consensus of MASs. Based on them, the number of controller updates is reduced. Under necessary and sufficient conditions on protocol gain and communication topology, the MAS is shown to reach event-based bipartite consensus. When the graph is structurally unbalanced, the MAS is proved to be stabilizing. The further research is related to MASs with time-varying topology and time delays.
Data Availability
The MatLab based models 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 research was supported by Postgraduate Education Innovation Program of Shandong Province, under Grant no. SDYY16088, and the Young Teacher Capability Enhancement Program for Overseas Study, Qufu Normal University.