Mathematical Problems in Engineering

Volume 2015 (2015), Article ID 872475, 8 pages

http://dx.doi.org/10.1155/2015/872475

## A Novel Consensus Protocol for Two-Dimension First-Order Multiagent Systems

Department of Automation, Zhejiang Sci-Tech University, Hangzhou, Zhejiang 310038, China

Received 15 January 2015; Accepted 9 March 2015

Academic Editor: Yun-Bo Zhao

Copyright © 2015 Yibo Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

A novel consensus protocol for two-dimension first-order multiagent systems (MAS) is proposed. After a novel protocol for two-dimension first-order MAS is adopted; consensus and two kinds of possible results are concerned. Then consensus asymptotical conditions and ranges of key parameters are given, and convergence speed is analyzed. Numerical examples illustrate effectiveness of the proposed consensus protocol.

#### 1. Introduction

Networks have been concerned for many years, and it has been researched in many areas such as in sensor networks [1], distribute networks, or wireless networks. Multiagent systems (MAS) have been concerned for many years. It reflects relationships of individuals in a network, such as critical rules or protocols or control of each individual [2]. One common way of pattern is that all agents converge to the same value, which is called consensus or agreement.

Consensus problem is applied in robots, spacecraft, and cooperative multiple vehicles, and it mainly concerns exchange ways of information. For example, reference [3] presented theoretical explanation for characters of continuous and discrete MAS with/without leaders. This classical work showed relations between connection of agents, protocols, and consensus. And [4] researched a new technique based on complex Laplacian to achieve arbitrary formation shape and global stability. Reference [5] mainly researched linear time-varying MAS, a necessary and sufficient condition of consensus ability with a set of admissible protocols. Then some applications are put up; [6] discussed a kind of autonomous scale control of multi-agent in a MAS with shape constrains. It provided a new method for choosing an appropriate geometry and discussed system effect by different parameters. Reference [7] considered MAS with leader of bounded unknown input. After two distributed discontinuous controllers were added, a sufficient condition was applied to ensure stabilization. References [8, 9] researched grouping control and coordinate control of MAS according in different conditions.

Suppose there are agents in MAS and they are connected by wireless networks, which can be described as a (directed) graph. The graph can be expressed in an adjacency matrix form called Laplacian matrix () that satisfies the following conditions:

According to [3], the following premise is introduced.

*Premise*. A first-order MAS should satisfy the condition that exchange topology has a spanning tree or has only one zero eigenvalue and all the other nonzero eigenvalues have negative real parts.

The following is based on the fact that the premise is satisfied. In this work, a kind of two-dimension first-order MAS is concerned. Then a novel protocol and its consensus are proposed, and range of key parameter is given. Moreover, convergence speed is analyzed. Several simulations are shown to ensure the results.

#### 2. Consensus and Convergence Speed

##### 2.1. Consensus for Two-Dimension MAS

Suppose there are agents in a plat coordinate system, which means each agent has two coordinate positions named as and , respectively. Dynamic equations of the th agent () are shown as following:

The consensus is that all agents finally converge together, with their positions converging to the same value, or it can be expressed as and , when, where.

Protocol of two-dimension system is introduced as

Letand. Equation (2) changes to the following form: where.

Suppose is theth eigenvalue of ; then

Because has exactly one zero eigenvalue, and all the other nonzero eigenvalues have negative real parts; without loss of generality, let and the other nonzero eigenvalues , where (). If is real, , and if there are conjugate complex eigenvalues.

Let () be the eigenvalue of ; then .

Note that

Let and be roots of the character equation ; then there are two kinds of possibilities according to different .

*(1) ** and ** Are Real*. If , , and are real, then (6) can be decomposed to the following form:Compared with (5), (7) turns to

Then the following lemma is proposed.

Lemma 1. *When, consensus protocol (3) achieves consensus asymptotically, if and only if has exactly one zero eigenvalue and the other eigenvalues have negative real parts, which is equal to the condition if and only if has exactly two zero eigenvalues and the other eigenvalues have negative real parts.*

*Proof. *

*Sufficiency*. If , , so it is obvious that and (). This means that () have the same sign with (). The same conclusion can be drawn when () if. Considering (8), the following conclusion is drawn: has exactly two zero eigenvalues and the others have negative real parts, which is equal to having exactly one zero eigenvalue and the others have negative real parts.

Let be an eigenvector of associated with one of zero eigenvalues, where ; thenwhich implies that and if. Note that has only one linearly independent eigenvector associated with zero eigenvalue, so . Moreover, has only one linearly independent eigenvector ; that is, zero eigenvalue ofhas geometric multiplicity equal to one.

All of the above show that if is chosen as asymptotically,achieves consensus asymptotically also.

*Necessity (reduction to absurd).* Supposehaving exactly two zero eigenvalues and the other eigenvalues having negative real parts do not hold. From sufficient process, relationships between eigenvalues of and are or , which means zero eigenvalues of are double times those of . Suppose there are more than two zero eigenvalues of , for example, four zero eigenvalues, so there are at least two zero eigenvalues of .

According to [3], consensus cannot be achieved, which is contradicting with the premise, so there must be only two zero eigenvalues of .

Then suppose there is at least one nonzero eigenvalue having positive real part. Note that can be transformed to Jordan canonical form by a nonsingular matrix :Then

It can be seen that if there is at least one eigenvalue with positive real part of , when and , then , which is contradicting with the following condition: “consensus protocol (2) achieves consensus asymptotically.”

So the assumption is wrong.

*(2) ** and ** Are Conjugate Complex Eigenvalues*. If and are one pair of conjugate complex eigenvalues, then (6) can be decomposed to the following form:

Then the following lemma is proposed.

Lemma 2. *When , consensus protocol (3) achieves consensus asymptotically, if and only if has exactly one zero eigenvalue and the other eigenvalues have negative real parts, which is equal to the condition if and only if has exactly two zero eigenvalues and the other eigenvalues have negative real parts.*

The proof is omitted for similarity with Lemma 1. The differenence is range of , which is described as follows.

Because or , if , two cases are concerned.

*Case 1 (all nonzero eigenvalues () are real). *According to the premise, , then both and have negative real parts.

*Case 2 (there are at least one pair of conjugate complex eigenvalues). *Suppose there is only one pair of conjugate complex eigenvalues marked as and . Let , where and . Because is multiplied by two vectors and , its module is product while phase angle is the sum of them. All possible results are shown in Figure 1.