Fully distributed event-triggered bipartite formation tracking for multi-agent systems with multiple leaders and matched uncertainties
Introduction
Over the past two decades, cooperative control for multi-agent systems (MASs), including but not limited to consensus control [1], [2], [3], containment control [4], [5], [6], [7], formation control [8], [9], [10], has received extensive attention from more and more researchers. This is mainly due to its wide practical applications, such as industrial process control, mobile robots formation, fault detection and attitude synchronization [11]. Formation control, as one of the most important topics in cooperative control for MASs, aims to drive a group of agents to form a prescribed formation in the state/output space by constructing an appropriate distributed control protocol using neighboring information. In robotics community, several classical approaches to address the formation issue have been presented, including leader–follower, virtual structure, and behavior-based approaches. However, as described in [12], these three approaches have various disadvantages. For example, it is difficult to establish a quantitative mathematical model and analyze the stability of the whole system theoretically for using the behavior-based approach. Thus, [13] constructed a consensus-based distributed approach and proved that three approaches mentioned above can be unified in the framework of consensus-based distributed approach. By utilizing the consensus-based distributed approach, many interesting studies have been reported on achieving the time-invariant formation for MASs [14], [15], [16], [17]. However, the formation should change dynamically to meet the mission requirements in many practical applications, such as obstacle avoidance and target enclosing. Therefore, the study on time-varying formation is more meaningful. In [18], [19], [20], [21], [22], the time-varying state/output formation analysis and design issue were investigated for MASs with different dynamics, including heterogeneous agents, a class of nonlinear agents, general linear agents and second-order linear agents. In some practical applications, it is not enough to only form a prescribed formation, and the whole formation still needs to track an expected reference trajectory. Thus, the formation tracking issue (FTI) arises, where the states/outputs of followers are required to form the prescribed formation while tracking the expected reference trajectory generated by not less than a leader. In [23], the time-varying output FTI was investigated for heterogeneous general linear MASs with a non-autonomous leader. In [24], necessary and sufficient conditions for general linear MASs with multiple leaders to achieve time-varying state formation tracking, and formation tracking feasibility constraints were given. In [25], the time-varying output FTI for homogeneous and heterogeneous general linear MASs with multiple leaders was investigated, respectively. On top of that, there are a few results on formation tracking [26], [27], [28], [29]. It should be pointed out that most of the works mentioned above only focus on cooperative interaction between neighboring agents. In fact, cooperative interaction and antagonistic interaction often coexist in many real-world scenarios, such as opposing teams in sports. In [30], the bipartite time-varying state FTI was investigated for general linear MASs with a non-autonomous leader. It was shown that structurally balanced communication network was the prerequisite to achieve bipartite control. The bipartite time-varying output FTI for heterogeneous general linear MASs with multiple leaders was studied in [31].
All of the implementations in [23], [24], [25], [26], [27], [28], [29], [30], [31] impose the strict condition of real-time information transmissions between neighboring agents. However, since each agent is usually bandwidth-constrained and energy-constrained, these implementations might become infeasible or impractical in many applications. To deal with the issue, it is of great interest to add the event-triggering mechanism that reduces communication [32], [33], [34], [35], [36], [45]. In [37], a distributed event-triggered control protocol was constructed by using the absolute information about agents. Considering the absolute information about agents cannot be precisely measured, while relative information between neighboring agents can in some applications, such as deep-space exploration, a distributed event-triggered control protocol using only relative information between neighboring agents was formulated in [38]. Note that in most of the aforementioned works, the design of the control protocols depends on global network information. However, this requirement is very difficult to meet for MASs with a large number of agents. To overcome the limitation, fully distributed event-triggered control protocols were constructed in [39], [40], [41]. It should be pointed out that [39], [40], [41] focused on the MASs with accurate dynamics models. Nevertheless, due to the widely existing uncertainties or disturbances, accurate dynamics models are sometimes not available. The MASs with matched uncertainties were further investigated in [42].
Motivated by the aforementioned works, this paper constructs an independent asynchronous fully distributed event-triggered control protocol for the bipartite time-varying output FTI of general linear MASs with multiple leaders and matched uncertainties. It is proved that the protocol does not exhibit the Zeno behavior. Then, a novel self-triggered control protocol is further constructed to avoid continuous monitoring of estimate error. Compared with the relevant results, the main contributions of this paper lie in the following four aspects:
- (1)
A formation tracking control protocol based on the event-triggering mechanism is constructed. Compared with the existing formation tracking results in [23], [24], [25], [26], [27], [28], [29], [30], [31], continuous communication among agents is efficiently avoided.
- (2)
A control protocol using only relative information between neighboring agents is designed. Different from [42], in the case where relative information is available while absolute information is not, the protocol is applicable.
- (3)
A fully distributed control protocol independent of any global information is developed. Compared with [38], the protocol can be implemented in a fully distributed manner.
- (4)
A novel self-triggered control protocol is constructed. In contrast to [38], the protocol enlarges inter-event interval time.
The rest of this paper is organized as follows. In Section 2, the issue statement is provided. In Section 3 and Section 4, the main results of this paper are presented. In Section 5, the numerical simulation is given. Finally, Section 6 concludes this paper. Notaion 1 is the set of non-negative integers. is the 2-norm of vector or the Frobenius-norm of matrix. stands for matrix P is positive definite. is the column vector with compatible dimensions, where all entries are equal to 1 . is the identity matrix with compatible dimensions. is the minimum (maximum) eigenvalue of matrix P. is the sign function. is the diagonal matrix with diagonal elements being “”. Definition 1 [43] The communication network among followers is said to be structurally balanced if there exists a bipartition of and satisfying and , such that and . Definition 2 [24] If the in-neighbor set of a follower contains all leaders, then the follower is called well-informed. If the in-neighbor set of a follower contains no leaders, then the follower is called uninformed.
Section snippets
Issue Statement
Consider the MASs composed of M followers and leaders. The dynamics of the ith follower and the th leader are described byandrespectively, where and denote the state, input, output and uncertainty of the ith follower, respectively; and denote the state and output of the th leader, respectively; and are the known system matrices with
Fully Distributed Event-Triggered Control Protocol Design
For each follower, the following fully distributed event-triggered control law is constructed:where is the time-varying gain with ; is the constant feedback matrix; is the formation compensation signal; and are the positive constants; is the combined state estimate described by with
Fully Distributed Self-Triggered Control Protocol Design
Note that during the implement of the event-triggered control protocol constructed in the previous section, each follower must continuously monitor the estimate error. However, such monitoring requires the follower to continuously monitor its in-neighbors. To overcome the limitation, a novel self-triggered control protocol is further constructed. Different from the event-triggered control protocol, the next triggering instant in the self-triggered control protocol is determined by the
Numerical Simulation
Consider the MASs composed of 7 followers and 3 leaders. Their dynamics are described by (1), (2) with
The communication network among MASs is depicted as Fig. 1, where follower are assigned to and follower are assigned to . The outputs of follower are required to form a rotating square formation and track the centre of the outputs of leader , while the outputs of follower
Conclusion
Considering cooperative interaction and antagonistic interaction between neighboring agents may exist simultaneously, this paper investigates the bipartite time-varying output FTI of general linear MASs with multiple leaders and matched uncertainties. An independent asynchronous fully distributed event-triggered control protocol has been constructed, and the Zeno behavior has been excluded. Note that the event-triggered control protocol requires continuous monitoring of estimate error. To
CRediT authorship contribution statement
Weihua Li: Conceptualization, Methodology, Software, Validation, Writing - original draft. Huaguang Zhang: Validation, Software. Yuliang Cai: Writing - review & editing, Supervision, Validation. Yingchun Wang: Writing - review & editing, Supervision, Validation.
Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Acknowledgments
This work was supported by National Key Research and Development Program of China under grant 2018YFA0702200, and National Natural Science Foundation of China (61627809, 62173080), and Liaoning Revitalization Talents Program (XLYC1801005).
References (45)
- et al.
Output-feedback distributed consensus for nonlinear multi-agent systems with quantization
Information Sciences
(2022) - et al.
Containment control for heterogeneous multi-agent systems with asynchronous updates
Information Sciences
(2018) - et al.
Leader-follower time-varying output formation control of heterogeneous systems under cyber attack with active leader
Information Sciences
(2022) - et al.
Fixed-time time-varying formation tracking for nonlinear multi-agent systems under event-triggered mechanism
Information Sciences
(2021) - et al.
Distributed adaptive fixed-time formation control for second-order multi-agent systems with collision avoidance
Information Sciences
(2021) - et al.
Time-varying formation control for general linear multi-agent systems with switching directed topologies
Automatica
(2016) - et al.
Time-varying formation control for second-order swarm systems with switching directed topologies
Information Sciences
(2016) - et al.
Time-varying output formation-containment control for homogeneous/heterogeneous descriptor fractional-order multi-agent systems
Information Sciences
(2021) - et al.
Fully distributed event-triggered consensus protocols for multi-agent systems with physically interconnected network
Neurocomputing
(2020) - et al.
Event-triggered bipartite consensus of multi-agent systems with switching partial couplings and topologies
Information Sciences
(2020)