Abstract

This paper investigates the problem of leader-following consensus and multiconsensus of multiagent systems. A leader-following and bounded consensus protocol via impulsive control for multiagent systems is proposed by using sampled position and velocity data. Consensus and multiconsensus commutative evolution stimulated by varying intelligence degrees of each agent can be achieved to avoid obstacles. Especially, the multiconsensus leader-following can be obtained without grouping the multiagent networks in advance. The necessary and sufficient condition is given to the leader-following bounded consensus tracking of the system by using the Hurwitz criterion and properties of the Laplacian matrix. A simulation is provided to verify the availability of the proposed impulsive control protocol. Furthermore, the result can be applied in obstacle avoidance and round up of target by regulating the intelligence degrees.

1. Introduction

In recent years, multiagent systems have attracted a great deal of attention from researchers because agents can communicate and coordinate with each other for achieving various complex tasks, such as wireless sensor navigation [1], distributed strikes of missiles [2], and coordination of robots [37]. Olfati-saber Murray [8] proposed the concept of consensus protocol for multiagent systems, and the consensus of multiagent systems with directed topology, undirected topology, and switching topology was studied. Ren and Beard [9] studied the directed switching topology, and their results showed that if the network topology contains a directed spanning tree, then the multiagent systems will achieve consensus. At present, tons of research studies have been conducted about the consensus of multiagent systems, such as the delay [10], heterogeneous [11], and aperiodic sampled [12] studies.

As a special case of consensus, multiconsensus/group consensus has received much attention for its multiconvergent states and promising potential applications. Pu et al. [13] investigated the group consensus for discrete-time heterogeneous multiagent systems with input time delays. Ji et al. [14] investigated group consensus based on linearly coupled multiagent networks, and they extended their work to study the group consensus for the multiagent network with generally connected topology which neither needs to be strongly connected nor needs to contain a directed spanning tree. Shang [15] studied the L-1 group consensus problem of discrete-time multiagent systems with external stochastic inputs. L-1 group consensus criteria were obtained for multiagent systems with switching topologies. Furthermore, a large number of results were produced, such as multiconsensus of continuous-time systems [16], tracking control [17], and event-driver control [18]. Considering that most of the studies were performed by presenting groupings, Han et al. [19] proposed the concept of intelligence degree and also gave necessary and sufficient conditions of multiconsensus with fixed intelligence degree. By adjusting the intelligent degree of each agent, it is possible to regulate the dynamic behaviour of the multiagent system.

All agents following the trajectory of the leader is called leader-following consensus in multiagent systems. Leader-following consensus is one of the hot topics of multiagent systems, which are widely applied in military field, such as striking a known dynamic target [20] and UAV formation [21]. Considering a nonlinear multiagent system, He et al. [22] proposed a distributed consensus protocol with probabilistic sampling in two sampling periods and solved the problem of sampled-data leader-following consensus of a group of agents with nonlinear characteristics. Zhu et al. [23] achieved the leader-following consensus by adaptive event control. Ren et al. [24] designed a fuzzy adaptive control mechanism for nonlinear multiagent systems with unknown control directions. However, as far as I am concerned, almost all works mentioned above paid attention to how to obtain a consensus protocol or better consensus performances under the given communication constraints. Currently, some works discussed how to avoid static obstacles and dynamic obstacles during the process of following the trajectory of the leader under given environment constraints. Douthwaite et al. [25] presented a critical analysis of some of the most promising approaches to geometric collision avoidance in multiagent systems, and the respective features and limitations of each algorithm were discussed and presented through examples. Guo et al. [26] used model predictive control to realize collision avoidance of multiagent systems. This technique has strong practical significance especially in dynamic path planning, round up, and battle among USV or UAV. On the one hand, the leader tries to plan an available path in order to overcome static obstacles [27] and dynamic obstacles [28]. On the other hand, all group members should build an effective mechanism to avoid obstacles when the preplanned path is disrupted by moving obstacles.

Therefore, combined with leader-following mechanism, obstacle avoidance, and consensus of multiagent systems, the problem of leader-following consensus and multiconsensus of second-order continuous-time multiagent systems is considered in this paper. A leader-following bounded consensus protocol with different intelligence degrees via impulsive control is proposed. All grouped members follow the trajectory of the virtual leader in the dynamic process, and then, dynamic obstacles which hinder the preplanned path are avoided by regulating suitable intelligence degree of agents which results in varying grouping and different dynamic behaviours of the system. Sufficient and necessary conditions of multiconsensus leader-following of multiagent systems via impulsive control are given. Some simulation results show that the impulsive control protocol with different intelligent degrees can realize the consensus and multiconsensus leader-following.

The rest of paper is organized as follows. In Section 2, we provide some preliminary notions including lemmas in graph theory and matrix theory. The impulsive consensus leader-following protocol is also introduced, and the main result of this paper, that is, the bounded convergence of the proposed protocol, is presented in Section 3. In Section 4, an illustrative numerical example is given. The paper is concluded in Section 5.

2. Preliminaries and Problem Formulation

2.1. Notions from Graph Theory

Let be a digraph with the set of nodes , the set of edges , and the weighted adjacency matrix in which if and otherwise. Then, weight reuse for node , and the diagonal matrix represents the input weight matrix of the directed graph G.

The Laplace matrix of is defined as

A directed path is a sequence of edges in a digraph of the form with all distinct . A directed tree is a digraph, where there exists an agent, called the root, such that any other agent of the digraph can be reached by one and only one path starting at the root [29].

2.2. Preliminaries

Assume that agent i evolves according to the multiagent system dynamics:where and are the position and velocity states of the agent i, respectively, and is its control input. The communications between agents are given by a digraph .

Definition 1. Multiagent system (2) is said to achieve bounded consensus if for any initial state values and , it follows thatwhere and are constants.

Definition 2. Multiagent system (2) is said to achieve dynamic following consensus if for any initial state values and , it follows thatwhere and are the position and velocity of the leader.

Lemma 1 (see [30]). Consider a polynomial , where m, n, , and are real constants; then, is Hurwitz stable if and only if and .

Lemma 2 (see [31]). All the roots of the equation , where , are within the unit circle if and only if all the roots of the equation are in the open left half plane.

Lemma 3 (see [13]). Laplacian matrix has a simple eigenvalue 0, and all the nonzero eigenvalues have positive real parts if and only if the digraph has a spanning tree. In addition, , and there exists a nonnegative vector satisfying and .

Lemma 4 (see [32]). Let and . Then, if , and commute pairwise.

3. Problem Illuminations

In the section, a dynamic leader-following consensus protocol via impulsive control with different intelligence degrees is designed and necessary and sufficient conditions for its convergence are also given.

3.1. Leader-Following Consensus Protocol via Impulsive Control with Different Intelligence Degrees

A leader-following and bounded consensus protocol is designed aswhere is Dirac impulsive function and the agents intelligence degrees is a set of . The sampling interval is denoted as with . and are feedback gains of position error and speed error, respectively. The is a time-varying parameter, which is denoted as with adjacency element if agent is a neighbor of the leader; otherwise, . Especially, are the position and speed of the virtual leader at time instance, respectively.

Remark 1. The system runs without any control input if , and the control input is available at to update the information from its neighbors.

Remark 2. If there are multiple leaders in the multiagent system, which means position and speed are replaced by , then the system will achieve multiobject tracking under the leader-following protocol.
System (2) and consensus protocol (5) can be rewritten as follows:where and is left-continuous at . Let and . Since , , and , , the system (6) could be written asFrom (7), one haswhere is the sampling interval.
Therefore, states and under protocol (5) can be described, respectively, as follows:Let andthen equation (9) can be equivalently expressed as follows:whereLetThe linear transformation of matrix is as follows:Furthermore,

3.2. Main Results

Theorem 1. Matrix has two eigenvalues 1, and the other eigenvalues lie in the unit circle, if and only if the digraph contains a spanning tree andwhere the eigenvalues of matrix are and the real and imaginary parts of the matrix are and .

Proof 1. The characteristic polynomial of is given byLetBy Lemma 2, the eigenvalues of matrix lie in the unit circle if and only if all the roots ofare in the open left half plane.
Define asCombined with Lemma 1 that is Hurwitz stable, if and only if and it is indicated thatThen, one hasNote thatBy Lemma 3, has two eigenvalues 1, and the other eigenvalues lie in the unit circle if and only if the digraph has a spanning tree, andThis completes the proof.
If there is not a leader-following mechanism in system (2), the multiagent system becomes a general consensus system. That is, lettingthenwhere is the state space matrix such that there is no leader-following system (2).

Remark 3. has one right and left eigenvector and associated with the eigenvalue 0, respectively, such that and with based on Lemma 3.
If there is no virtual leader, this system can only achieve bounded consensus. Then, we can achieve obstacle avoidance by changing the intelligent degree of agents. For illuminating the multiconsensus convergence of multiagent systems, Theorem 2 is given to prove the final convergent states.

Theorem 2. Under impulsive control protocol (5), as and there is no leader-following, multiagent system (2) of the states of agents isif and only if the digraph contains a spanning tree and equations (16) and (17) hold.

Proof 2. Sufficiency: the matrix has one right and generalized right eigenvector and associated with the eigenvalue 1, respectively. Moreover, has one left and generalized left eigenvector and associated with the eigenvalue 1, respectively. There exist nonsingular matrices and such that can be written in a Jordan canonical form aswhere and .
Hence, one can obtain thatwhere . Denote thatwhere .
Letting and thenAs , we haveNecessity: if the dynamic bounded consensus is solved in protocol (5), it holds that has rank two; that is, has two eigenvalues 1 and the other eigenvalues lie in the unit circle. Based on Theorem 1, the digraph has a spanning tree, and (16) and (17) hold.
This completes the proof.

Remark 4. From equations (28) and (29), we know that if we change the dynamic behaviour of agents by regulating the intelligent degree of agents, the dynamic characteristic of the agents at each moment can be obtained by equations (28) and (29).

4. Numerical Example

In this section, an illustrative example is given to demonstrate the correctness of the theoretical results.

Example 1. Consider the multiagent system with 30 agents as shown in Figure 1.

The dynamic equation of the virtual leader are and in simulation. Choose and , and the result is via Theorem 1. Therefore, choose and , and the intelligent degrees belong to ; the results are shown in Figures 2 and 3.

Choose the intelligence degrees from , , and as initial values, respectively. Meanwhile, there is a virtual leader in the system. When time is 30 seconds, the intelligence degrees of agents become . The multiconsensus to consensus dynamic evolution is realized, as shown in Figure 4.

For showing obstacle avoidance through the dynamic evolution from consensus to multiconsensus when initial intelligence degrees are switched from to choose the intelligence degrees from , it is shown that and . Meanwhile, there is no virtual leader within , and details are shown in Figure 5.

In Figure 5, if the anticipate trajectory of the virtual leader is hindered by the red and round obstacle, agent 1 gives up to connect the virtual leader. Then, all agents no longer follow the virtual leader and change their intelligence degrees. As a result, the multiagent system will run according to multiconsensus behaviour. The virtual leader will not reestablish communication with agent 1 until all agents have avoided the obstacle. Then, the system achieves leader-following and bounded consensus again.

5. Conclusions

In this paper, the leader-following consensus and multiconsensus problem has been considered for continuous-time second-order multiagent systems. The system could achieve consensus and multiconsensus commutative evolution by regulating the intelligence degrees. An impulsive control protocol with different intelligence degrees is proposed to perform obstacle avoidance, and some necessary and sufficient conditions for leader-following bounded consensus and multiconsensus have been obtained. It is found that the consensus and multiconsensus leader-following are critically dependent on the sampling interval, control gains, and the intelligence degrees. In the future, one of our works will consider multiagent systems achieving obstacle avoidance automatically.

Data Availability

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

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by the National Nature Science Foundation of China under Grants 62063011 and 61922037 and the Scientific Research Fund of Yunnan Education Department under Grants 2020J0067 and 2019J0046.