Recent Advances on the Theory and Applications of Hybrid Systems
View this Special IssueResearch Article  Open Access
Consensus of HighOrder Linear Multiagent Systems with Multitype Switching Topologies Based on the Dynamic Dwell Time Approach
Abstract
This paper investigates the consensus problem of highorder continuoustime linear multiagent systems (LMASs) with multitype switching topologies which include both consensusable and unconsensusable communication topologies. A linear transformation is introduced, which equivalently transforms the consensus problem into the stability problem of a corresponding switched system, along with a necessary and sufficient condition to analyze the consensus problem. This paper is aimed at studying the impact of a switching rule on communication topologies for consensus of LMASs. Based on the dynamic dwell time method, a sufficient condition is derived for consensus of LMASs. It is shown that, with switching signals that satisfy this switching rule, LMASs can achieve consensus under directed switching communication topologies. A numerical example is provided to illustrate the effectiveness of the theoretical results.
1. Introduction
In the past few decades, the study of distributed coordination control of multiagent systems has been a hot topic due to the extensive applications in various specialized areas, including flocking [1], formation control [2], the cooperative control of unmanned air vehicles [3], and communication control of large scale networks [4]. Consensus, as one of the most important subjects in distributed coordination control, means that, by appropriate control protocols, multiple agents can reach agreement on certain quantities of interest, such as velocity, position, or heading direction.
Numerous significant theoretical results in the literature have dealt with the consensus problem of multiagent systems in the framework of firstorder/secondorder state space [5–7]. However, due to the complexity and diversity of agents in the real world, highorder dynamics should be considered. Reference [8] investigated a general highorder model for linear multiagent systems (LMASs) under a fixed communication topology and presented some consensus criteria. The impact of the agent dynamic structure and the communication topology on consensusability was pointed out in [9]. Reference [10] derived some necessary and sufficient conditions for ensuring consensus of highorder system and introduced the concept of consensus regions. In [11], consensus criteria and consensus functions were obtained, and the design of feedback gain matrix in protocol was provided.
Moreover, link failure and creation occur frequently due to, for instance, the sensors limited communication range, transmission failures, and certain obstacles. Therefore, the study of the consensus of highorder LMASs under switching topologies is more practical. Under the assumption that the communication topologies are undirected, a sufficient condition for consensus was derived in [12] with a constraint that the communication topologies are required to be “frequently connected.” In [13], the communication topology condition was extended to “jointly connected.” Based on digraphs, [14] relaxed the communication topology conditions in [12, 13] and pointed out the fact that the “uniformly jointly quasistrongly connected” topology is critical for LMASs to achieve consensus.
It is well known that there are three key factors for consensus of LMAS under fixed topology: dynamic structure of agents, communication topology of LMASs, and control protocol. Further, switching signals on communication topologies play a key role in achieving consensus for LMASs under switching topologies. When dynamic structures of agents and possible communication topologies are given, one can study the relationship between the consensus and the switching rule of communication topologies. A natural question which arises is with what switching signal can the LMASs achieve consensus? Literature addressing this concern has already been published. For instance, by using the average dwell time method, [15] chose a class of signals to deal with a synchronization problem of a nonlinear multiagent system under undirected switching topologies. The topology condition was extended to the digraph in [16, 17]. However, switching signals based on the average dwell time method are “slow switching” and are too limited to precisely depict the sufficient condition for consensus. This limitation brings difficulties to the analysis of consensus conditions. To overcome this drawback, a switching rule based on the dynamic dwell time method [18] was introduced in [19] with an assumption that all possible communication topologies are consensusable.
However, in practice, the possible communication topologies of LMASs are not always consensusable. Thus, this paper analyzes the consensus problem for highorder LMASs under multitype switching topologies. It is aimed at exploring a switching rule, such that, with a class of switching signals satisfying this rule, consensus can be achieved by LMASs. Compared with the existing works, the contributions of the paper are summarized as follows. Communication topology conditions in [19] are extended to include both consensusable and unconsensusable communication topologies. Compared with the switching rule based on the average dwell time method in [16, 17], a switching rule based on the dynamic dwell time method is less conservative and more flexible; in addition, it allows more numbers of switching signals.
An outline of this paper is organized as follows. In Section 2, some basic concepts are described and the problem to be studied is formulated. A linear transformation is presented along with a lemma to describe the equivalent relation between the consensus problem and the stability problem of a corresponding switched system in Section 3. A sufficient condition based on the dynamic dwell time method for the consensus of LMASs is established in Section 4. A numerical example is provided in Section 5. Conclusions are drawn in Section 6.
2. Problem Description
Consider a system consisting of agents, labelled through , and the dynamic of the th agent is where is the state variable of agent , is its control input, is the index set of agents, and and are constant matrices.
The communication topology (hereafter referred to as topology) of system (1) is expressed by a weighted digraph , where the th element of the vertex set represents agent , and the element of the timevarying edge set denotes the communication link from agents to . Let stand for the neighbor set of agent , and weight matrix , where is a scalar which represents the coupling strength of information transmitting from agents to , .
Using a protocol [5], where is a feedback gain matrix.
Definition 1. System (1) achieves consensus via protocol (2) if, for any initial state, there is .
Herein denotes the Euclidean norm of a vector.
Definition 2 (see [19]). A timeinvariant topology is called consensusable topology of system (1), if there exists a protocol in form (2) such that system (1) achieves consensus. Otherwise, topology is unconsensusable.
For instance, a topology in which there exists a spanning tree is consensusable.
Due to various reasons, such as the sensors limited communication range, transmission failures, and obstacles, the communication links between agents may disconnect or reconnect and result in timevarying topology . Without loss of generality, suppose there are finite topologies of system (1); that is, , . Within , there are consensusable topologies, that is, set , and unconsensusable topologies, that is, set , where and . Next, we consider a case which satisfies the following assumption.
Assumption 3. Topology switches within set , where is consensusable, while is unconsensusable.
Via protocol (2), system (1) can be expressed by the switched system as follows: where , is initial state, is the identity matrix of order , is the Kronecker product of matrices, is a piecewise constant function which describes the switching law of topology ; namely, . Suppose that there is finite switching for within any finite time interval. For any given , define the switching sequence , where ; that is, the topology of LMAS (1) is when . is the weighted Laplacian matrix induced by the topology , and its entries are defined by
It is generally known that the switching signals of topologies have great impact on the consensus of LMASs. If LMASs follow an incorrect switching signal, consensus cannot be achieved even though switches within consensusable topologies. Conversely, if LMASs follow a correct switching signal, consensus can be achieved even if switches within unconsensusable topologies. We aim to explore under what condition for the switching signal can system (1) achieve consensus via protocol (2) with topology satisfying Assumption 3. In order to depict the switching signal , we introduce the definition of dwell time.
Definition 4 (see [20]). Let be the set of switching instants of a given switching signal , where . is called the dwell time of system (1) under topology .
Next, by a linear transformation, we equivalently transform the consensus problem into an asymptotic stability problem of a corresponding switched system.
3. Linear Transformation and Consensus Analysis
Consider the following linear transformation [11]: where is dimensional vector, , and is matrix defined by The inverse matrix of can be worked out as follows: where is matrix given by
After the linear transformation (5), system (3) is transformed into the following system:
Let , where . Then system (9) can be rewritten into two equations: where
As is a piecewise constant function that maps into , the first equation of system (10) can be expressed by a switched system with subsystems and a switching signal :
Definition 5 (see [20]). The equilibrium point of the switched system (12) is said to be exponentially stable under switching signal if the solution satisfies where constants and .
The consensus of system (1) via protocol (2) is equivalent to the asymptotic stability of equilibrium point for the switched system (12). Thus, similar to the proof process of Lemma and Theorem in [11], we arrive at the following lemma.
Lemma 6. For given topology set and a switching signal , via protocol (2), system (1) achieves state consensus if and only if the switched system (12) is exponentially stable.
Let . From Lemma 6 we can derive a consensus criterion of system (1) under fixed topology as follows.
Corollary 7. , the topology of system (1), is consensusable if and only if the matrix in (12) is Hurwitz stable.
4. Main Results
In this section, based on the dynamic dwell time method, we will analyze a sufficient condition that guarantees the consensus of system (1) under multitype switching topologies.
Suppose topology satisfies Assumption 3. From Corollary 7, we obtain that , in (12) is Hurwitz stable while , is not Hurwitz stable. Hence, there are positive scalars and positive definite matrices such that Define the Lyapunov functions
As switches among topology set . Without loss of generality, suppose system (1) firstly runs under several consensusable topologies in succession, which are denoted by a consensusable subgroup and then follow with several unconsensusable topologies one after another, which is denoted as unconsensusable subgroup , and that cycle repeats. Hence, we have an assumption about switching signal as follows.
Assumption 8. The consensusable subgroup is first activated and then follows with the unconsensusable subgroup , and that cycle repeats. Switching signal has a sequence of switching instants as follows: where and .
Remark 9. From Assumption 8, we know that, for any positive number , there exists interval such that a consensusable topology is activated.
Let be the index of the former consensusable topology of . is the left (right) limit of .
Theorem 10. Assume that topology of system (1) satisfies Assumption 3 and the switching signal satisfies Assumption 8. System (1) can achieve consensus via protocol (2) with the switching signal if the corresponding dwell time of for system (1) satisfies where
Proof. First, we prove that switched system (12) is asymptotic stable. It contains three steps as follows.
Step 1. Condition (17) implies Considering the Lyapunov functions in (15), there are where and . Let and . From (14), we obtain Hence, for , there is Let , and, from (21), we derive where . Thus, formula (19) is available.
Step 2. Without loss of generality, assume that is the initial state. According to (20), we obtain By (21), for , we haveIt concludes that where . By using (19), we obtain Thus, for any , there exists , such that for all , whenever .
Step 3. When , we getIn summary, where . Considerwhere is a positive constant.
Therefore, for any , there exist such that for all , whenever .
Hence, for any and , there exist such that . Consequently, the switched system (12) is asymptotic stable.
From Lemma 6 we know that system (1) achieves consensus. The proof is complete.
Remark 11. Let , , , and choose . It can be seen that the condition in Theorem 10 implies both and time ratio condition , where (resp., ) stands for the total activation time of system (1) under consensusable (resp., unconsensusable) topologies. Theorem in [16] is a special case of Theorem 10.
Remark 12. When unconsensusable topology set , that is, switches in consensusable topology set , it can be seen that Theorem in [19] is only a special case of Theorem 10.
5. Simulation Example
In this section, we give a numerical simulation to illustrate the obtained result. Consider a multiagent system with 6 agents: with protocol where .
Figure 1 shows four different directed topologies . The weight of each edge is 1. From Definition 2 and Corollary 7, it derives that and are consensusable topologies while and are unconsensusable topologies. Consider switching topologies with a periodic switch sequence .
Next, we compare the consequences of two types of switching signals which are correspondingly based on the dynamic dwell time method (DDTM) in this paper and on the average dwell time method (ADTM) in [16].
By use of the ADTM in [16], we obtain that if the switching signals of topologies satisfy both average dwell time condition and time ratio condition , via protocol (32), system (31) can achieve consensus under switching topology. Figure 2 depicts the state trajectory of each state component of the six agents under the aforementioned switching topologies and a switching signal in Figure 3 with the switching sequence .
By using the DDTM (17), we can obtain the dynamic dwell time , that evolves on the topologies . If switching signals of topology satisfy dynamic dwell time condition, via protocol (32), system (31) can achieve consensus under switching topologies. Part values of the minimum dwell time of a switching signal are shown in Table 1. Choose dwell time ; Figure 4 gives the state trajectory of each state component of the six agents under the aforementioned switching topologies and a switching signal in Figure 5 with the switching sequence .

What is shown in Figures 2 and 4 indicates that, for the same dynamic, topologies, switching sequence , protocol, and initial states, system (31) can achieve consensus by the use of switching signals based on average and dynamic dwell time methods. However, switching signal in Figure 3 switches 4 times within 25 seconds; in contrast, switching signal in Figure 5 switches 68 times within 25 seconds. Based on the above analysis, DDTM (17) is less conservative and provides more flexible switching signals in practical ways for the LMASs to achieve consensus.
6. Conclusion
The consensus problem has been studied for highorder LMASs under multitype communication topologies that include both consensusable and unconsensusable topologies. By using a linear transformation, a lemma has been presented which analyzes the equivalence relation between the consensus of LMASs and the asymptotic stability of a corresponding system. Based on the dynamic dwell time method, a switching rule has been characterized. With a class of switching signals which satisfies this switching rule, the consensus of LMASs can be achieved under multitype switching topologies. Finally, the effectiveness of the proposed theory has been illustrated by a numerical example.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This work is partially supported by Natural Science Foundation of China (61273006, 61511130044, and 61573030).
References
 R. OlfatiSaber, “Flocking for multiagent dynamic systems: algorithms and theory,” IEEE Transactions on Automatic Control, vol. 51, no. 3, pp. 401–420, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 H. Yang, C. Wang, and F. Zhang, “Robust geometric formation control of multiple autonomous underwater vehicles with time delays,” in Proceedings of the American Control Conference (ACC '13), pp. 1380–1385, IEEE, Washington, DC, USA, June 2013. View at: Google Scholar
 W. Ren and R. W. Beard, Distributed Consensus in MultiVehicle Cooperative Control: Theory and Applications, Springer, London, UK, 2007.
 R. OlfatiSaber and P. Jalalkamali, “Coupled distributed estimation and control for mobile sensor networks,” IEEE Transactions on Automatic Control, vol. 57, no. 10, pp. 2609–2614, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 R. OlfatiSaber and R. M. Murray, “Consensus problems in networks of agents with switching topology and timedelays,” IEEE Transactions on Automatic Control, vol. 49, no. 9, pp. 1520–1533, 2004. View at: Publisher Site  Google Scholar  MathSciNet
 W. Ren and R. W. Beard, “Consensus seeking in multiagent systems under dynamically changing interaction topologies,” IEEE Transactions on Automatic Control, vol. 50, no. 5, pp. 655–661, 2005. View at: Publisher Site  Google Scholar  MathSciNet
 W. Ren, R. W. Beard, and E. M. Atkins, “Information consensus in multivehicle cooperative control,” IEEE Control Systems Magazine, vol. 27, no. 2, pp. 71–82, 2007. View at: Publisher Site  Google Scholar
 F. Xiao and L. Wang, “Consensus problems for high dimensional multiagent systems,” IET Control Theory & Applications, vol. 1, no. 3, pp. 830–837, 2007. View at: Publisher Site  Google Scholar
 C.Q. Ma and J.F. Zhang, “Necessary and sufficient conditions for consensusability of linear multiagent systems,” IEEE Transactions on Automatic Control, vol. 55, no. 5, pp. 1263–1268, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 W. Yu, G. Chen, W. Ren, J. Kurths, and W. X. Zheng, “Distributed higher order consensus protocols in multiagent dynamical systems,” IEEE Transactions on Circuits and Systems. I. Regular Papers, vol. 58, no. 8, pp. 1924–1932, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 Y. Z. Chen, Y. R. Ge, and Y. X. Zhang, “Partial stability approach to consensus problem of linear multiagent systems,” Acta Automatica Sinica, vol. 40, no. 11, pp. 2573–2584, 2014. View at: Publisher Site  Google Scholar
 J. Wang, D. Cheng, and X. Hu, “Consensus of multiagent linear dynamic systems,” Asian Journal of Control, vol. 10, no. 2, pp. 144–155, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 Y. Su and J. Huang, “Stability of a class of linear switching systems with applications to two consensus problems,” IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1420–1430, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 L. Cheng, H. Wang, Z.G. Hou, and M. Tan, “Reaching a consensus in networks of highorder integral agents under switching directed topologies,” International Journal of Systems Science, 2014. View at: Publisher Site  Google Scholar
 T. Liu, J. Zhao, and D. J. Hill, “Exponential synchronization of complex delayed dynamical networks with switching topology,” IEEE Transactions on Circuits and Systems. I. Regular Papers, vol. 57, no. 11, pp. 2967–2980, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 Y. Chen, Y. Zhang, Z. He, and Y. Ge, “Average dwelltime conditions of switching information topologies for consensus of linear multiagent systems,” in Proceedings of the 32th IEEE Chinese Control Conference (CCC '13), pp. 7115–7120, Xi'an, China, July 2013. View at: Google Scholar
 Y. R. Ge, Y. Z. Chen, and Y. X. Zhang, “Average dwelltime conditions for consensus of discretetime linear multiagent systems with switching topologies and timevarying delays,” Acta Automatica Sinica, vol. 40, no. 11, pp. 2609–2617, 2014. View at: Publisher Site  Google Scholar
 Z. R. Xiang and W. M. Xiang, “Stability analysis of switched systems under dynamical dwell time control approach,” International Journal of Systems Science, vol. 40, no. 4, pp. 347–355, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 Z. Yaxiao, C. Yangzhou, and A. Y. Aleksandrov, “Dynamic dwelltime condition of switching information topology for consensus of linear multiagent systems,” in Proceedings of the 34th Chinese Control Conference (CCC '15), pp. 6918–6923, Hangzhou, China, July 2015. View at: Publisher Site  Google Scholar
 D. Liberzon, Switching in Systems and Control, Springer, Boston, Mass, USA, 2003. View at: Publisher Site  MathSciNet
Copyright
Copyright © 2016 Yaxiao 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.