Abstract

The current paper studies guaranteed cost time-varying formation tracking design and analysis problems of high-order swarm systems subject to intermittent communications. Different from the existing work of the time-varying formation control, the time-varying formation tracking can be achieved while certain performance can be guaranteed, and the impacts of the intermittent communications and switching topologies are considered. First, a new intermittent time-varying formation tracking control protocol with a global performance index is proposed, where not only the formation regulation performances but also the control energy expenditures are involved. The codesign of the gain matrix with the performance index is achieved to compromise the formation regulation performances against control energy expenditures, and the guaranteed cost is determined to restrain the upper bound of the performance index. Then, guaranteed cost time-varying formation tracking design and analysis criteria are given, where the matrix variable of the linear matrix inequality conditions is used to design the gain matrix and to determine the guaranteed cost. Finally, a simulation example is provided to illustrate the effectiveness of the theoretical results.

1. Introduction

As one of the most important topics of the distributed cooperative control of swarm systems, formation control has aroused many attentions from researchers in recent years [17]. Distributed formation control means to design formation control protocol using only local information such that a team of autonomous agents forms and maintains the expected geometrical shape. Recently, due to the rapid development of the consensus theory, many scholars investigated the formation control problem via consensus-based approaches [814]. The core idea of the consensus-based formation control is to drive the agents to the desired states such that they can keep the specified difference from the virtual agreement states, which can be determined by the consensus control. Formation can be categorized into leaderless formation and formation tracking according to the different communication topology structure. For the leaderless one, each agent plays equal roles to determine the formation shape cooperatively. However, for the formation tracking, the followers should form the expected formation and track the leader, which determines the swarm property of the whole swarm systems.

A basic problem of the consensus-based formation control is the time-invariant formation control, where the expected formation shape is fixed. In this case, the relative position between any two agents will not change when the formation is formed. Time-invariant formation control/formation tracking can be regarded as the directed extension of the consensus/consensus tracking, and it was widely investigated in recent years [1519]. However, due to the complicated task requirements and task updates, time-varying formation tracking is often needed in many applications, such as cooperative attack task, obstacle avoidance, and resource exploration. Compared with the time-invariant formation, time-varying formation tracking is more challenging since it should consider the impacts of the derivate of the formation function and the formation changes in time. For second-order swarm systems with switching topologies, the time-varying formation tracking control was studied [20]. Wang et al. [21] investigated the robust time-varying formation design problems for second-order swarm systems with external disturbances where a new distributed extended state observer was constructed to compensate the influence of the disturbances. For general high-order swarm systems, time-varying formation tracking control and adaptive time-varying formation control were addressed [22, 23], respectively.

In many practical applications, the communication among agents may not always be continuous due to some communication faults including congestion of communication channels, packet losses, and sensing device failures. These communication faults can be modeled as intermittent communication where each agent can exchange its information to its neighbors over connected communication time units, but the interaction among agents will disappear in disconnected communication time units. Consensus of second-order swarm systems with intermittent communications was studied in [24]. Considering the impact of time delays and intermittent communications, Fattahi and Afshar [25] investigated the adaptive consensus control problem for high-order swarm systems. Sun and Wang [26] addressed the consensus problem for high-order swarm systems with Lipschitz nonlinear dynamics and intermittent communications where an interesting sampling time unit approach was proposed to transfer the intermittent consensus control problems to asymptotical stability problems of the swarm systems with input delays. In [2426], the communication topology was fixed over connected communication time units. However, many swarm systems suffer switching topologies due to the changes of communication channels among agents as shown in [2729] where the intermittent communications were not considered. It should be noted that it is difficult to deal with the intermittent communications and the switching topologies over connected communication time units simultaneously, and they were not considered in time-varying formation tracking problems, which form one of the motivations of the current paper.

Note that the abovementioned works only studied the formation achievement strategy without considering the performance constraints. However, it makes much sense to investigate the time-varying formation tracking control method with optimal/suboptimal performance indexes since there exist many resource limitations, and the control protocol should be optimized in real-world applications. In this sense, it is challenging to design a proper formation control protocol such that the time-varying formation tracking can be achieved, while the associated performance is guaranteed. For consensus control of swarm systems, there are some interesting works that address the optimal/suboptimal control problems. In [30], the optimal consensus algorithm was proposed with global performance indexes for first-order swarm systems where it was shown that the complete graph is needed to realize the global optimization of consensus. To relax the topology from the complete graph to the connected undirected graph, guaranteed cost consensus was achieved with different conditions in [3133]. However, there are rare works that consider the time-varying formation tracking with guaranteed cost performance analysis, and it is interesting to investigate how the formation variance affects the guaranteed cost of swarm systems, which also motivates the study of the current paper.

Guaranteed cost time-varying formation tracking problems for high-order swarm systems with intermittent communications and switching topologies are addressed in the current paper. First, an intermittent time-varying formation tracking control protocol containing the switching topologies is constructed with the corresponding performance index. Then, the dynamics of the whole closed-loop system is decomposed into two parts by a nonsingular transformation and an orthonormal transformation successively, which can convert the formation tracking problem of the swarm system to the asymptotical stability problem of the reduced-order system. The stability of the reduced-order system is analyzed, respectively, in the connected communication time units and the disconnected communication time units to obtain the exponential condition of the asymptotical stability. Sufficient conditions of guaranteed cost time-varying formation tracking design and analysis are derived in the form of linear matrix inequality, and the guaranteed cost is determined to restrain the upper bound of the performance index.

Compared with the relative works about the formation control, the contributions of the current paper are twofold. First, the guaranteed cost time-varying formation tracking control problem is addressed, which can ensure that swarm systems can not only achieve the time-varying formation tracking but also satisfy the guaranteed cost constraints; that is, the compromise design between the formation regulation performance and the control energy expenditure should be realized with respect to the proposed performance index, and the guaranteed cost is determined to describe the upper bound of the performance index. However, the results on the time-varying formation control in [2023] did not consider the impact of the guaranteed cost constraints. Second, the communication constraints of both intermittent communications and switching topologies are introduced into the design process of the guaranteed cost time-varying formation tracking, which contains two challenging problems. The first one is that the swarm stability of the whole swarm systems should be analyzed in the connected communication time units and the disconnected communication time units, respectively. In this case, the stability analysis methods in [2023] are invalid, and the divergent property of the whole system is tackled in the disconnected communication time units by proposing the new method. The second one is that the impact of the intermittent communications should be considered for the guaranteed cost performance analysis. In this sense, the performance index becomes a piecewise continuous integral function and is difficult to be addressed when deriving the main results of the current paper.

The rest of the current paper is shown in the following sections orderly. Section 2 formulates the problem model where the basic concepts of the communication topology are introduced and the formation tracking control protocol is proposed. In Section 3, guaranteed cost time-varying formation tracking design and analysis criteria are given, respectively, and the guaranteed cost is determined. Section 4 presents a numerical simulation to illustrate the correctness of the proposed theorems. In Section 5, the main results of the current paper are summarized. Throughout the whole paper, and are used to stand for the natural numbers and positive natural numbers, respectively. represents the real matrices with proper dimensions. is the Kronecker product, and is the symmetric terms in the matrix. The positive definite and symmetric matrix is denoted by .

2. Problem Description

2.1. Model the Switching Communication Topology

Each communication topology in the switching topology set, is modeled as the directed graph , where the node set is represented by , and the edge set is denoted by . Let be the switching signal; then, the edge weighting is positive if the edge , , exists from to , and is zero otherwise. Define the neighboring set and the indegree of the node as and , respectively. The Laplacian matrix is defined as with . Note that the switching instants of the switching topology set should satisfy with the dwell time. It is assumed that there is no self-loop for all nodes. A directed path from node to node is a sequence of edges in the form of . The directed graph is said to have a spanning tree if a directed path exists from the root node to any other nodes. To address the formation tracking problems, it is supposed that each communication topology in the switching topology set has a spanning tree with the leader locating at the root node. More details for the basic concept of graph theory can be found in [34].

2.2. Design the Intermittent Formation Tracking Protocol

Consider a group of agents, where agent 1 is the leader, and the other agents are the homogenous followers. The dynamics model of the leader-follower swarm system is described as follows:where , , , is the state, and is the control signal of agent . Notice that the leader lies on the root node of the spanning tree and receives no information from followers. It is supposed that the leader’s control input is zero, and the communication between neighboring followers is undirected.

Since the swarm system (1) is subjected to the intermittent communications and the switching topologies, their effects should be analyzed before moving on. It is assumed that a sequence of uniformly bounded time units exists such that , where and are integers. Let and . Define the communication failure rate as with . In general, one can find that the communication channel between neighboring agents is smooth, and the communication topology may be switched in time units , but all the communication channels will be disappeared in time units . Hence, the communication is intermittent for the swarm system (1). Moreover, it should be pointed out that , where is bounded and is called the minimum dwell time, and the communication topology switches at time instant .

Let a piecewise continuous differentiable function represent the expected time-varying formation structure formed by the followers; then, a new guaranteed cost formation tracking control protocol with the associated performance index is proposed aswhere ,

, , , and is denoting the control gain matrix. is the performance index representing the total of the formation regulation performance and the control energy expenditure.

For swarm systems subjected to intermittent communications and switching topologies, the definition of the guaranteed cost formation tracking control is given as follows.

Definition 1. For any given bounded initial states , the swarm system (1) is said to be guaranteed cost formation tracking achievable if there exists a gain matrix such that and , where is called the guaranteed cost.
The current paper mainly focuses on the guaranteed cost formation tracking design problems, in which the gain matrix is designed, and the guaranteed cost is determined. Moreover, for the given gain matrix, the guaranteed cost formation tracking analysis criterion is derived.

Remark 1. Protocol (2) consists of two parts. The first one is the intermittent control input, which is constructed by the state and formation errors between neighboring followers and those between the leader and the followers over the time units and is set as zero in the time units , . With the intermittent control input and the switching neighboring sets and edge weightings, protocol (2) is piecewise continuous, which will lead to the piecewise continuous right hand sides of the closed-loop system in the system stability analysis and is challenging to be dealt with. The second one is the performance index, which describes the total cost of the guaranteed cost formation tracking design. The weighting matrices and represent the proportion of the formation regulation performance and the control energy expenditure in the performance index, respectively, which will be taken into consideration in the gain matrix design. Note that the performance index is a piecewise continuous integral function due to the intermittent control input. Moreover, different from the guaranteed cost consensus, the guaranteed cost formation tracking can drive the swarm system to form an expected formation structure, while the guaranteed cost can be satisfied. Note that the expected formation structure can be time-varying and can be designed as much as required if it can satisfy the formation feasibility condition as shown in Theorem 1 in the following content.

3. Main Results

In this section, first, the formation tracking problem of the swarm system (1) is converted to the asymptotical stability problem of a reduced-order subsystem via nonsingular transformation. Then, guaranteed cost formation tracking design and analysis criteria are derived, and the guaranteed cost is determined to show the upper bound of the performance index.

Denote , and one can obtain from (1) and (2) that

Since no formation is required to be formed by the leader, one can define the auxiliary variable and set . Let , , and , then equation (4) can be represented by the compact form aswhere the structure of is shown as follows:and represents the Laplacian matrix of followers.

In the sequel, by nonsingular transformation, the closed-loop system (5) will be decomposed into two subsystems. First, define the following nonsingular matrix:such thatwith , , andwhere the fact is utilized.

Then, the block is diagonalized. For each communication topology in the switching topology set, since there at least exists a spanning tree with the leader locating at the root node and the communication channels among followers are undirected and connected, the eigenvalue 0 of is simple and the block is positive definite and symmetric. In this sense, there exists an orthonormal matrix such thatwhere are the eigenvalues of with the order . Denote and ; then, equation (5)fd5 is converted to the following two subdynamics:

Because is nonsingular and is orthonormal, one can derive that the swarm system (1) with control protocol (2) achieves the time-varying formation tracking if subdynamics (12) is asymptotical stable; that is, .

Let and ; then, the following theorem gives the guaranteed cost formation tracking criterion for the swarm system (1) with protocol (2).

Theorem 1. Swarm system (1) is guaranteed cost formation tracking achievable by protocol (2) with , if , , , and there exist and such thatIn this case, the guaranteed cost is

Proof. Construct Lyapunov functional candidate as follows:For , , taking the time derivate of with respect to the trajectories of equation (12) givesDefine an auxiliary variableThen, one can find that , if , . Based on the above fact, it can be obtained thatLet ; then, one can show thatIt can be derived by pre- and postmultiplying with thatSince , , one can deduce thatFor , , taking the time derivate of along equation (12) yieldsDue to , , one can derive by similar analysis thatNote that can be obtained by pre- and postmultiplying with ; then, it holds thatFor , i.e., , one hasIn virtue of and the fact that , it can be deduced that . Then, one can obtain for thatHence, one can show that for , there exists a such that . In this case, one hasFrom (27), it can be concluded that subdynamics (12) is asymptotical stable; that is, . Therefore, one can find that the formation tracking can be achieved for the swarm system (1) with protocol (2).
In the next content, the guaranteed cost formation tracking achievability is discussed with the performance index . From (2), one can deduce thatDue to and , one can obtain thatAccording to (19), (23), and (29), it can be derived thatBy , , , and Schur complement, it holds as thatUtilizing the mean value theorem of integrals givesBy , one can deduce thatSince , one can find thatThen, due to , it follows from (33) thatThis completes the proof of Theorem 1.

Remark 2. Note that the condition in Theorem 1 is called the formation feasibility condition, which indicates whether an expected formation is feasible or not to be achieved by swarm systems. It should be pointed out that not all formation can be achieved due to the dynamic constraint of the agent. For time-varying formation, the formation function derivate affects the feasibility of the formation, whose constraint is shown in the condition . It can be found that the condition is associated with the dynamic matrix of each agent. However, if , which means that the formation is time-invariant, then the formation feasibility becomes , which can be found in [19].

Remark 3. Due to the jointed effect of the intermittent communication and the switching topology, the right hand side of the closed-loop system becomes piecewise continuous. Besides, from the proof of Theorem 1, it can be found that the system stability analysis is divided into two parts due to the jointed effect of the intermittent communication and the switching topology. On the one hand, for time units , , it can be concluded that the Lyapunov functional candidate is decreased exponentially by a rate faster than . On the other hand, the value of the Lyapunov functional candidate may be increased along a rate less than in time units . By combining these two aspects of the stability analysis, it can be shown that the Lyapunov functional candidate converges with the rate exponentially according to the condition . Note that if the guaranteed cost performance is not considered, then the condition can guarantee the stability of subdynamics (12). The condition ensures that the performance index can be upper bounded by the guaranteed cost . Generally speaking, the condition can always guarantee since for positive , , and .
Theorem 1 provides the criterion of the guaranteed cost formation tracking design where the gain matrix is determined. However, if is given, then it is interesting to analyze whether is feasible to solve the guaranteed cost formation tracking problems. Set and use the convex property of linear matrix inequalities, then the following theorem gives the sufficient conditions of the guaranteed cost formation tracking analysis for given .

Theorem 2. For any given , the swarm system (1) with protocol (2) achieves guaranteed cost formation tracking if , , and there exists a matrix such thatIn this case, the guaranteed cost is

Remark 4. The formation design in [2023] only took care about how to design a proper gain matrix such that the expected formation can be achieved, but they did not consider the guaranteed cost performance when designing the formation control protocol. In contrast, the current paper constructs a performance index to describe the total cost, where the weighting matrices between the formation regulation performance and the control energy expenditure are denoted by and . In this case, weighting matrices and are introduced into the design procedure of the gain matrix, which can assure that not only the formation tracking can be achieved but also the performance index can be constrained by the guaranteed cost. By adjusting the relative value of and , the compromise design between the formation regulation performance and the control energy expenditure can be achieved. Moreover, the guaranteed costs obtained in Theorems 1 and 2 are associated with the initial states and formations and the interaction matrix. Note that the initial states and formations are often available in applications and the interaction matrix is related to a time-invariant star graph, which can be obtained when the number of agents is determined. Furthermore, in the gain matrix design, the eigenvalues and are needed, which is difficult to be calculated. Fortunately, can be obtained via the method in [35], and can be estimated by Gersgorin’s disc theorem in [36].

Remark 5. Swarm system with the leaderless structure describes the dynamics of each agent, where each agent plays the equal role of the collaborative behavior. However, the swarm system with the leader-following structure describes the dynamics of the leader with no control input and that of the follower. Different from the formation design of leaderless swarm systems, the guaranteed cost formation tracking problem of leader-follower swarm systems owns two interesting features. First, although the communication topology among followers is undirected and connected, the Laplacian matrix of the whole system is asymmetric due to the existence of the leader. In this sense, a nonsingular transformation and an orthonormal transformation are adopted successively to diagonalize the block of the Laplacian matrix such that the dynamics of the closed-loop system can be linearly decoupled to solve the guaranteed cost formation tracking problem. Second, the guaranteed cost is associated with the Laplacian matrix of a star graph with the leader locating at the center, which indicates that the global interaction mechanism of the whole swarm system is determined by the leader for the guaranteed cost formation tracking problem. Besides, the formation tracking movement is fully determined by the state response leader.

4. Numerical Simulation

In this section, a simulation is given to illustrate the effectiveness of the proposed guaranteed cost time-varying formation tracking design method in the above sections.

The third-order swarm system considered in the simulation is composed with one leader labeled by 1 and five followers labeled from 2 to 6 whose dynamics is modeled as follows:

The switching topology set of the swarm system is shown in Figure 1, where the topology is switched among topologies , , , and with the dwell time s in the connected communication time units  s, , and the communication among all agents is interrupted in the disconnected communication time units s. In this case, the maximum communication failure rate is . The initial states of the whole swarm system are given as follows:

The expected time-varying formation function is chosen as follows:

According to the above form of , it can be found that five followers should shape into a regular pentagon and keep rotating around its center. Meanwhile, the conditions , are satisfied. Set , , , and . By Theorem 1, it can be calculated by the FEASP solver in MATLAB that and

In this case, the guaranteed cost is determined as , and the gain matrix is design as

Figure 2 depicts the error trajectory between the state and formation of each follower and the leader within 15 s, where the trajectories of followers are full curves with different colors and that of the leader is a red imaginary line. One can see from Figure 2 that of five followers converge to the same value which equals to of the leader, which means that the error state of five followers achieve consensus and track to that of the leader.

The state snapshots of five followers and the leader are shown in Figure 3, where the state of the leader is described as the red pentacle and those of the five followers are depicted as pink pluses, blue circles, bluish x-marks, green pentacles, and black squares, orderly. From Figures 3(a)-3(b), it can be found that the formation of five followers is achieved with the geometrical shape of the regular pentagon, and the state of the leader locates at the center of the regular pentagon. From Figures 3(b)3(d), one can see that the formation of five followers keeps rotating around the leader; that is, the time-varying formation tracking is achieved.

Figure 4 describes the curves of the performance index and the guaranteed cost, respectively. It can be shown that the value of the performance index increases to a finite value that is less than the guaranteed cost, i.e., .

From the simulation results in Figures 24, it can be concluded that the swarm system (1) with intermittent communications and switching topologies is guaranteed cost time-varying formation tracking achievable by protocol (2).

5. Conclusions

Guaranteed cost time-varying formation tracking design and analysis problems were studied for the swarm system with intermittent communications and switching topologies. An intermittent guaranteed cost formation tracking control protocol was constructed, which consisted of an intermittent control input and a performance index. It was shown that by designing the gain matrix of the control protocol, the time-varying formation tracking was achieved, while the certain performance was satisfied, where the upper bound of the performance index was restrained by determining the guaranteed cost. By adjusting the weighting matrices of the performance index, the compromised design between the control energy expenditure and the formation regulation performance was achieved. Sufficient conditions of the guaranteed cost time-varying formation design and analysis were given, and the guaranteed cost was determined. It was proven that if the formation and the communication failure rate satisfy the corresponding conditions in Theorem 1, then the high-order swarm system with intermittent communications and switching topologies can achieve the guaranteed cost time-varying formation tracking by designing the gain matrix of the formation control protocol. The further works will extend the main results of this paper from the switching connected topologies to the jointly switching topologies, and the communication among followers can be directed.

Data Availability

The data used to support this study are included within this article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

Purui Zhang and Xiaoqian Chen were involved in conceptualization; Purui Zhang and Xiaogang Yang were involved in methodology; Purui Zhang was involved in validation, formal analysis, investigation, and writing original draft preparation; Xiaoqian Chen and Xiaogang Yang were involved in writing the review and editing and funding acquisition; Xiaoqian Chen was involved in supervision and project administration. All authors have read and agreed to the published version of the manuscript.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (61867005, 61763040, and 61703411).