Abstract

In this study, a leader-following consensus problem is investigated for a class of multi-agent systems with switching disconnected topologies. Different from the existing results on switching disconnected topologies, the multi-agent systems considered in this study are unstable. In this situation, the disconnected agents can disperse over some periods even if there exists control protocol on them. To break through this challenge, we draw lessons from which an appropriate switching law can stabilize the switching unstable systems and propose a novel approach called elementary-unit-based dwell time (EUBDT) approach. Based on this approach, each switching interval is considered to consist of a certain number of elementary time segments. Then, by analyzing the local variation of the error states within each elementary time segment, the stabilization properties of switching behaviors are derived to compensate the divergence within the switching intervals. Based on this, the sufficient conditions for the leader-following consensus can be obtained by using a novel kind of piecewise time-varying Lyapunov functions (PTVLFs). Moreover, a time-scheduled controller is designed for such system. Finally, a numerical simulation is given to illustrate the theoretical approach.

1. Introduction

In the last decade, leader-following consensus control of multi-agent systems has been extensively investigated because of their large applications in biological systems, spacecraft formation, and robot manipulators [16]. Because of the broad applications, leader-following consensus of multi-agent systems plays an important role in the automatic control field [7, 8]. Accordingly, a lot of efforts have been put into their analysis for leader-following consensus problem in recent years [911].

In the field of multi-agent systems, the communication topology may not be fixed because of changes in the agent relations or failures in communication channels [12, 13]. Various results have studied the leader-following consensus problem under the switching directed topologies [1320]. In the early works, the efforts mainly investigated the switching topologies where all the topologies are connected [1317]. In recent years, some works have investigated the consensus problem under switching topologies in which the topology is frequently connected [1820]. In these works, the error state decreases when the topology is connected and increases when the topology is disconnected. The overall consensus can be guaranteed by a relatively long connected topology. If we consider the severe situation that all the topologies are disconnected, this promising idea will not be applicable. How to find general methods to guarantee the consensus of such systems has aroused the interest of researchers in recent years.

Without loss of generality, switching disconnected topologies are more realistic, since the disconnected topology can exist all the time [21, 22]. Some works have explored the leader-following consensus problem under switching disconnected topologies [2124]. In [21], the sufficient conditions for the leader-following consensus control problem under switching disconnected topologies are proposed. Then, the algebraic criteria of consensus control under switching disconnected topologies are developed in [22]. Based on this, the consensus problem of multiple linear systems with switching disconnected topologies via the event-triggering control is investigated in [23]. Until now, most existing works on the switching disconnected topologies are concentrated on the critical stable (or stable) multi-agent systems (Assumption 3 in [21], Assumption 2 in [22], Assumption 3 in [23], and Assumption 1 in [24]). In these results, the connected agents are close to each other and the disconnected agents are not diverging away from each other. The global consensus can always be achieved through cooperative control under different topologies. However, in practice, if we consider the unstable multi-agent systems such as distributed voltage control of microgrid [25], multi-link manipulators driven by DC motor [26, 27], the disconnected agents will disperse though there exists the control protocol on them. Accordingly, reaching the consensus of unstable multi-agent systems under switching disconnected topologies is challenging. This study aims to overcome this challenge and reach the consensus control for such systems.

In the field of switching systems, the switching unstable systems can be stabilized by designing an appropriate switching strategy [28, 29]. The main idea is that the stabilization properties at switching instants are utilized to offset the divergence of the unstable systems within the switching periods. Drawing lessons from this idea, we propose a novel approach named elementary-unit-based dwell time (EUBDT) approach to tackle the leader-following consensus problem of unstable multi-agent systems under switching disconnected topologies. Based on the EUBDT approach, we divide the switching intervals into a certain number of elementary time segments and analyze the local variation of error states within each elementary time segment. Then, the stabilization properties of switching behaviors can be obtained to offset the divergence of error states within the switching intervals. Then, by confining the dwell time constraints on each topology, the overall leader-following consensus can be reached. Finally, a simulation example is developed to illustrate the theoretical approach. To sum up, to illustrate the main contribution clearly, the following flow diagram is given.

In Figure 1, the main problem, challenge, approach, theoretical breakthrough, and application values have been condensed. It can be seen that the main problem and the research values of this study are illustrated clearly.

Notation: refers to the set of -vectors. and refer to the set of positive integers and natural number, respectively. The notation represents that is negative definite. refers to the identity matrix. refers to the Kronecker product.

2. Preliminaries

The multi-agent systems are expressed by a directed graph , where is a set of nodes, is a set of directed edges, and is an adjacency matrix. An edge represents that an arrow from to in the graph, which implies that agent can acquire information from agent . If , we will have , otherwise, . A directed path in denotes a sequence of nodes such that . If has a directed spanning tree, it will imply that at least a node has a directed path to all the other nodes. The Laplacian matrix of the graph is denoted as , in which the matrix with and

Consider a group of agents, whose dynamics is expressed aswhere represents the state of agent , represents the control input of agent , and and are constant matrices.

The dynamics of the leader is shown aswhere represents the leader’s state. The main objective is to guarantee the consensus of followers (2) and the leader (3), which can be illustrated as

We use a diagonal matrix to denote the access between the agents and the leader, where . If the agent can receive the leader’s information, it will be ; otherwise, . For convenience, a matrix is utilized to denote the information-exchange matrix.

Define a piecewise constant function as the switching signal of switching topologies, which satisfies the switching sequence with and . Moreover, denote as the dwell time of the th topology. The dwell time is constrained by minimum dwell time and maximum dwell time , which is denoted as . It can be observed that the topology can only be switched within the interval . For convenience, we use to denote the set of all the switching policies in the framework of dwell time . Therefore, denotes the set of all the possible directed graphs under the switching graphs. The information-exchange matrices can be denoted as . The communication topology under the switching signal satisfies the following assumption.

Assumption 1. The switching graphis not connected. The union of all the graphshas a directed spanning tree with the leader as the root, where.
Based on this, we consider the controller adopting the following form:where is the gain matrix, represents the adjacency element of , when agent can receive the leader’s information under the graph and , otherwise.
Define as the tracking error for agent . Then, the error system of agent under the switching signal can be obtained asDefine , then the error systems for can be given byTherefore, the control objective is to achieve the stability of error system (7) under switching laws .

Remark 1. Most existing works on the consensus problem under switching disconnected topologies require that the multi-agent systems are critical stable (or stable), which is reflected in that the system matrix in these works contains no positive real part eigenvalues (Assumption 3in [21], Assumption 2 in [22], Assumption 3 in [23], and Assumption 1 in [24]). In this case, the connected agents will close to each other and the disconnected agents will not disperse. Then, the overall consensus can be achieved by the jointly connected topology. However, this idea cannot be applied to the unstable multi-agent systems such as distributed voltage control of microgrid and multi-link manipulators driven by DC motor, since the disconnected agents will always disperse even if there exists the control protocol on them. Thus, it is challenging or even impossible to achieve consensus of all the agents. How to overcome this difficulty and achieve the seemingly impossible consensus is the main work of this study.

3. Main Results

In this section, the EUBDT approach and the conditions of consensus control are presented and proved.

3.1. The Elementary-Unit-Based Dwell Time Approach

Most results on the consensus control problem under switching disconnected topologies are concentrated on the stable or critical stable multi-agent systems [2124]. In this situation, the connected agents will close to each other and the disconnected agents will not disperse. If we consider unstable multi-agent systems such as distributed voltage control of microgrid and multi-link manipulators driven by DC motor, the disconnected agents will disperse under the disconnected topology even if there exist the control protocol on them. Thus, how to stabilize the error states under switching disconnected topologies is challenging. In order to break through this challenge, one has to utilize the stabilization properties of switching behaviors to stabilize the error states. It is widely known that the Lyapunov functions are effective tools to describe the dynamics of multi-agent systems [1923]. If the multiple Lyapunov functions are constructed to describe the error dynamics of unstable multi-agent systems under switching disconnected topologies, they will probably divergent within the switching intervals. Thus, we consider utilizing the “decline” characteristics at the transition instants to offset the divergence within the switching intervals. Suppose that are multiple nonnegative functions under switching law . Then, we propose the following useful lemma first.

Lemma 1. Consider the multiple nonnegative functions for . If there exist constants and such thatwhere , , then global convergence of functions can be reached.

Proof: . Define a Lyapunov function as , whereAssuming that when , then according to (8), one has . If the functions switch from mode to mode when , we can derive from (9). Then, we can further obtain . Considering , condition (10) guarantees . Then, one hasBecause , one further haswhere . From (10), we have . Therefore, the global convergence of is reached. The proof is completed.
From Lemma 1, it can be concluded that despite the divergence of all the Lyapunov functions, we can utilize the stabilization characteristics at switching instants to guarantee the global convergence. In order to derive the stabilization properties at switching instants, the elementary-unit-based dwell time (EUBDT) approach is proposed in this study. The EUBDT approach can be divided into three steps. The first step is to divide the switching interval into a certain number of elementary time segments. The second step is to analyze the local variation of error state within each elementary time segment. The last step is to derive the stabilization properties at switching instants to offset the divergence within the switching intervals. Considering that the dwell time of the switching interval is uncertain, we divide into the certain interval and uncertain interval . It is obvious that the communication topology can only be switched within the uncertain interval. Assume that the certain interval consists of elementary time segments and each elementary time segment is denoted as , where . The length of each elementary time segment is denoted as , which satisfies . Under the EUBDT method, the corresponding piecewise time-varying Lyapunov functions (PTVLFs) is constructed aswhere is the piecewise time-varying matrix, which is described as follows.
For the certain interval with and , is given bywhere and . For the uncertain interval , is expressed as

Remark 2. The main advantage of the piecewise time-varying Lyapunov function in (14) is that it can be utilized to derive the “decline” properties at switching instants by adjusting the time-varying Lyapunov matrix . Such “decline” properties can be utilized to offset the divergence made by disconnected topology and unstable systems. If the classic time-invariant Lyapunov functions in [2024] are utilized to describe the states, the Lyapunov matrix will be fixed and the “decline” properties will be hard to derive.

3.2. The Consensus Conditions and the Controller Synthesis

The previous subsection has developed the EUBDT approach. Considering that the error states are always divergent within the switching intervals due to the coexistence of disconnected topology and unstable multi-agent systems, we need to utilize the cooperative control to guarantee that the exponential divergence rate within a threshold. Then, the following lemma discussing the exponential divergence rate of error system (7) is obtained.

Lemma 2. For given constants and , if there exist matrices such that for any , the following conditions hold:where is the th positive eigenvalue of . Then, the exponential divergence rate of error system (7) can be limited within for the switching interval .

Proof: . First of all, we will prove the exponential divergence rate of system (7) is limited within for the certain interval . Assume for . Then, calculating for , we haveAccording to (15), one hasSubstituting (21) into (20), one obtainsConsidering that , we can further obtainDue to , one obtainsThen, conditions (17) and (18) guarantee , which means that . Thus, we can further getNext, we will prove that the exponential divergence of system (7) is limited within for the uncertain interval when . Calculating for , it yieldsFrom the similar guideline of (23), it yieldsThen, condition (19) guarantees , which means that .
To sum up, conditions (17)–(19) guarantee , which implies that the exponential divergence rate of error system (7) is limited within for the switching interval . The proof is completed.
Then, based on Lemma 1 and Lemma 2, the sufficient conditions for the stability of error system (7) can be obtained in Theorem 1.

Theorem 1. Suppose that Assumption 1 is satisfied. For given constants , , and , if there exist matrices such that for any , the following conditions hold:where denotes the maximal dwell time. Then, the stability of error system (7) can be guaranteed under the switching law .

Proof: . From Lemma 2, we can get that conditions (28)–(30) guarantee . According to (31), we have , which implies that . Then, from Lemma 1, one haswhere . According to (32), one has . Therefore, the stability of error system (7) is guaranteed. The proof is completed.

Remark 3. In Theorem 1, by selecting appropriate values of and , the corresponding maximal dwell time can be computed by

Remark 4. In this study, due to the coexistence of unstable systems and disconnected topologies, some agents inevitably diverge from each other though there exist the control protocols on them. Thus, it is hard to guarantee the exponential convergence for error system within switching intervals and we inevitably leave the error system divergent within the switching intervals. Therefore, we choose to denote the exponential divergence rate of error states within the switching intervals.

Remark 5. Reference [28] has studied the stabilization problem of switching unstable systems. It derives the stabilization properties of the switching behaviors to offset the divergence property across the switching intervals and further achieve the overall stability. Drawing lessons from this, the EUBDT approach is proposed in this study to tackle the consensus problem of unstable multi-agent systems under switching disconnected topologies. The main idea is to utilize the stabilization properties at switching instants to offset the divergence of error states within the switching intervals. By analyzing the local variation of error states within each elementary time segment , the stabilization properties at switching instants can be derived in condition (31). Then, condition (32) guarantees that the “decline” properties at switching instants are larger than the divergence of error states within the switching intervals. Based on this, the global stability of the error system can be guaranteed.
Next, we focus on the controller synthesis of error system (7) under switching disconnected topologies. A time-scheduled controller is adopted here, which is easy to be calculated. Instead of the controller (5), we will rather consider the following time-scheduled controller:where is the time-scheduled gain to be determined. Substituting this controller into error system (7), it yieldsThen, the consensus of multi-agent systems (2) and (3) is equivalent to the stability of error system (36). Then, the following theorem can be obtained.

Theorem 2. Suppose that Assumption 1 is satisfied. For given constants , , , , if there exist matrices such that for any , the following conditions hold:where denotes the maximal dwell time. Then, consensus of multi-agent systems (2) and (3) can be achieved under the switching law and controller gain , where is given bywhere , and .

Proof: . First of all, we consider error system (36) for . Calculating for , one obtainsTaking the time-varying parameter (42) into (43), it yieldsFrom similar guideline of (23), one obtainsThen, conditions (37) and (38) can guarantee for . It means that for
Next, we will prove the exponential divergence of system (36) for . Calculating for , one hasThen, condition (39) guarantees for .
To sum up, conditions (37)–(39) guarantee for . Then, by the similar guideline of (33), the stability of system (36) is reached from conditions (40) and (41). This also implies that the consensus of systems (2) and (3) is guaranteed. The proof is completed.

4. Simulation Examples

In this section, the theoretical approach is illustrated by a simulation example.

Consider the multi-agent system described in (2), where the system matrices are given as

The eigenvalues of are and . It can be observed that the eigenvalues of contain positive real parts, which implies that the multi-agent systems are unstable. The switching graphs and are shown in Figures 2 and 3 respectively.

It is obvious that and are disconnected and the union of and has a directed spanning tree with the leader as the root, which satisfies Assumption 1. The objective is to design controller (35) and constrain the dwell time for the switching topologies such that the consensus of systems (2) and (3) can be achieved. The initial states are given as , , , . Then, if we fixed , , , and , by calculating conditions (37)–(41), the controller gain can be obtained as follows:

Moreover, the maximum dwell time can be calculated as . The minimum dwell time can be derived as . Based on this, the switching signal is shown in Figure 4, where denotes graph and denotes graph .

By imposing the obtained controller and the switching signal on the system, the state trajectories are obtained in Figures 5 and 6.

In Figures 5 and 6, and denote the first and second state trajectories of the agent , respectively. It is obvious that the leader-following consensus is achieved. Furthermore, we define the tracking error for agent as and for . Then, and are depicted in Figures 7 and 8 respectively.

From Figures 7 and 8, it is obvious that the tracking errors decay to 0, which means that the consensus of the unstable multi-agent systems can be achieved under the switching disconnected topologies.

5. Conclusion

In this study, the consensus control problem of unstable multi-agent systems under switching disconnected topologies was investigated. Drawing lessons from the theory of switching unstable systems, a novel elementary-unit-based dwell time (EUBDT) approach was proposed to divide the switching intervals into a certain number of elementary time segments. Then, by analyzing the local variation of error state within each elementary time segment, the divergence properties made by the coexistence of disconnected topology and unstable systems were overcome. Moreover, the consensus was proven by the utilization of a novel function named PTVLF. Lastly, the proposed results were illustrated by a simulation example. Future works conclude reducing the computation burden of the main theorem.

Data Availability

All of the parameters of the numerical simulation are included in the study.

Conflicts of Interest

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

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant nos. 51879027, 51579024, and 62003337), the Postdoctoral Research Foundation of China (Grant no. 3620081006), and the Natural Science Foundation of Liaoning Province (Grant no. 2020-BS-026).