Dynamics Event - Triggered - Based Time - Varying Bearing Formation Control for UAVs

: This article addresses the leader - follower formation maneuver control problem of multiple unmanned aerial vehicles (UAVs), taking into account the time - varying velocity and time - varying relative bearing. An event - triggered bearing - based distributed velocity observer was designed, using only the desired position and velocity of the leaders. Furthermore, a dynamic event - triggered mechanism was introduced to reduce continuous communication between UAVs, thus effectively saving communication bandwidth and resources. Building on this, a bearing - only formation maneuver control strategy was proposed, integrating the event - triggered velocity observer with the backstepping control approach. To conclude, numerical simulations have been conducted to confirm the effectiveness of the proposed scheme in accomplishing formation maneuver control objectives, including translation, scaling, and rotation control. Furthermore, the advantages of the dynamic event - triggering strategy have been demonstrated through comparative simulations with traditional event - triggering strategies. Additionally, the effectiveness of the proposed observer and controller has been demonstrated by a comprehensive hardware - in - the - loop (HITL) simulation example.


Introduction
In recent years, managing multiple unmanned aerial vehicles (UAVs) collaboratively has become a key focus in academia [1,2].Teams of smaller, cost-effective UAVs operating in sync can perform tasks more efficiently than a single, expensive UAV.This approach highlights the significance of advanced swarm control and collision avoidance techniques.UAV swarms are now prevalent in fields like agriculture [3], search and rescue [4], environmental monitoring [5], and defense.In UAV swarm coordination, formation control is crucial, dealing mainly with two challenges: controlling formation shape and maneuvering.Formation shape control [6] involves aligning UAVs to specific geometric patterns and paths, incorporating collision avoidance [7].Formation maneuver [8], on the other hand, focuses on the swarm's ability to move cohesively, adapt to external factors, and navigate obstacles, emphasizing real-time collision avoidance [9].
Formation control methods for the UAVs, as currently practiced, can be classified into the following three primary categories based on the type of information they measure: methods based on relative position [10][11][12], those founded on relative distance [13][14][15], and techniques derived from relative bearing [16].The cornerstone of the method rooted in relative position is the application of the consensus algorithm [17].This approach enables agents to achieve the targeted relative displacement by disseminating relative position data amongst neighboring UAVs.A salient benefit is its lower demand on sensor performance, striking a harmony between sensory prowess and interaction topology.Additionally, extrapolating a global control strategy from the consensus algorithm is straightforward, facilitating the easy attainment of the desired formation.In contrast, the essential tenet of the control approach based on relative distance involves agents utilizing relative distance information between adjacent UAVs.Typically, this method necessitates that each UAV possess its own distinct local coordinate system and the competence to discern the relative positional data of neighboring UAVs.However, rigid formation control techniques might inadvertently steer the system to unintended equilibrium points, spawning undesired formation configurations.The crux of this approach then is to craft a rigid formation control strategy boasting global stability [18].Lastly, the bearing-based control method centers around using relative bearing information.The primary objective of this strategy is to forge the desired formation structure by gauging and modulating the relative bearing in relation to neighboring UAVs.Bearing-based formation control offers distinct advantages over traditional methods rooted in relative position and distance.To begin with, it necessitates fewer sensors, which curtails both system complexity and costs.The attractiveness of bearing-based control has surged, evidenced by its integration with economical airborne optical cameras [19,20] or wireless sensor arrays [21] to capture relative bearing data.Furthermore, bearing-based strategies present a more streamlined manner to execute translation and scaling formation maneuvers control compared to their position-and distance-based strategies.This efficacy stems from the ability to maneuver formations while maintaining consistent bearing constraints, predominantly by steering the leader's motion.
Research into formation control that relies on bearing information confronts the intricacies of diverse system types.This spectrum covers first-order systems [22], progresses to second-order [23], and extends further to more advanced higher-order systems.In addition, it encompasses both linear and nonlinear systems [24], ranging from continuous to discrete system classifications.Much like traditional control fields, the research trajectory generally progresses from simpler to more complex systems, indicating a phased evolution from lower-order to higher-order systems.Trinh [25] et al., investigated the formation control problem of a single integrator in two dimensions.Notably, the controller they designed made use of only the relative bearing.Tang [26] et al., tackled the formation control challenge for time-varying relative bearing in a dimensional Euclidean space, notably by exploring the Persistence of Excitation (PE) of the desired relative direction reference point.Turning to high-order complex nonlinear intelligence, Zhao [27] et al., developed a bearing-only distributed formation controller for a high-order complex multi-intelligence system, specifically those with moving targets.Lastly, Wu [28] et al., delved into finite-time formation tracking control for heterogeneous mobile robots.In the above-mentioned bearing information-based formation control, the expected formation structure is constrained by the relative bearing information.Interestingly, while this bearing information depends on the global coordinates, there is a notable shift to avoid such global information in distributed formation controllers.Consequently, scholars have proposed local coordinate-based formation controllers that incorporate bearing information.Garanayak [29] et al., designed bearing-based formation controllers under local references.Their aim was to accomplish the task of fixed-point formation with bounded perturbations for both single-integrator and double-integrator systems.Luo [30] et al., put forth a distributed global stabilization controller based on inverse information.Significantly, by minimizing the cost function under the optimal rotation matrix, their proposal solely relies on local orientation measurements.On a different note, Zhang [31] et al., designed a distributed orientation estimation method.This method determines the orientation of the follower under the first leader coordinate system, thereby sidestepping any dependence on global position or coordinates.Building on this, they then combined the orientation information with the formation controller to successfully accomplish the UAV formation task.
Nevertheless, a majority of the aforementioned studies operate under the assumption that both the desired velocity and the relative bearing remain constant over time.However, when the formation system is tasked with complex operations such as translation, rotation, and scaling, adjustments in velocity and relative bearing become imperative.This is compounded by the fact that bearing information mainly reflects the inverse tangent relationships between agents' displacements.Relying on such bearings for control strategies is fraught with challenges, especially when these desired bearings are variable over time [32].Additionally, the studies previously mentioned operate under the presumption that proximate UAVs maintain continuous communication.However, sustaining such continuous communication is evidently impractical on a digital control platform [33].Taking into account the limitations of sampling frequency and communication bandwidth updates in real-world formation control systems, there emerges an urgent need to formulate strategies that bypass this continuous paradigm and reduce superfluous communications.
Inspired by the aforementioned discourse, we delve into the matter of event-triggered, bearing-only formation maneuver control for UAVs.To address the challenges posed by unknown time-varying velocities and relative bearings, we proposed an event-triggered distributed velocity observer.By integrating backstepping control methods, we effectively addressed the formation maneuver control challenge.The primary contributions of this paper can be summarized as follows: First, a dynamic event-triggered distributed velocity observer was proposed to handle the time-varying relative bearing.Compared with [27][28][29][30][31], which were developed for the constant velocity formation tracking mission, the proposed method can address the time-varying formation problems.Second, a dynamic event-triggered mechanism is developed to avoid continuous communication between UAVs and thus save resources.Lastly, a bearing-only backstepping formation control strategy, combined with the event-triggered velocity observer, was proposed, and the formation maneuver problem was solved.
The structure of the remaining sections in this paper is as follows: Section 2 provides an introduction to the preliminary concepts, and presents the problem formulation.Section 3 introduced the event-triggered-based distributed velocity observer.In Section 4, bearing-only formation control is proposed.The simulation results are shown in Section 5.

Preliminaries and Problem Formulation
Notations: In this section, the set of real numbers and non-negative real numbers is denoted by R and R + , respectively, nm R  and n R are the set of nm  real matrices and 1 n  real vectors, respectively.
A is the 2-norm of the matrix represent the maximum eigenvalue and minimal eigenvalue of matrix, respectively.m ()


denotes the largest absolute value of the eigenvalues of a matrix.

System Model of UAVs
Consider a group of n UAV moving in In exploring the formation control of UAVs, it is evident that the response time for trajectory adjustments of UAVs is significantly longer than that for attitude adjustments.Therefore, in formation control strategies involving only position and velocity, a hierarchical control approach can be adopted, with an inner loop and an outer loop structure.This paper's primary focus lies on the outer-loop control, allowing the UAV's dynamic model to be approximated by a double integrator [34].Building on this approximation, the dynamic of a group of ith UAVs can be described as follows: ,, where i u expressed the control input of ith UAV.

Assumption 1 (Interagent collision avoidance). Collision avoidance between each couple of
UAVs is guaranteed during the formation tracking evolvement, i.e., ii pp  for all ij  and 0 t  .Remark 2. This critical assumption maintains the integrity of the mission and reduces risks associated with potential overlaps or close encounters.Indeed, this assumption is not just a practical necessity; it is also a vital research area within the discipline of formation control.For those intrigued by this subject, a comprehensive exploration can be found in the existing literature [24][25][26][27][28][29][30][31].

Basic Graph Theory
Denote the topology of n UAV formation systems as a graph  A is definite and the Schur complement respectively.Then there holds the following:

T T T T M y y y M y col x y Mcol x y
  where

Problem Formulation
In this paper, the control objective is to design the bearing-based control input i u for the follower UAV to accomplish the formation maneuver mission.Define Remark 4. Assumptions 3 and 4 are prevalent in the bearing-based formation control problem with a leader-follower structure [37][38][39].Given that the formation controls designed are unavailable for the unique target formation, Assumption 3 is fundamental for the leader-follower structured UAV problem, as stipulated by Lemma 1.We recognize that leaders usually follow set reference paths rather than dynamic controls.Such deviations can impact the whole formation significantly.Our study specifically targets follower controllers to refine strategies within this framework, ensuring our main goals are achieved without dilution.Future research could explore the effects of leader behavior changes to improve system robustness.v to the followers.Utilizing the relative bearing information, along with the desired position and velocity of the leader, we design distributed velocity observers and controllers for the followers.This design ensures that the target formation described in Definition 1 can be achieved and accomplish the formation maneuver control mission.

Dynamic Event-Triggered Based Distributed Velocity Observer
According to Lemma 1, the followers' desired velocity is influenced by the leaders' desired position and velocity, and the matrices ff B , lf B , and ff B , which encapsulate the knowledge of the communication network topology.Consequently, it becomes necessary to formulate a distributed estimator.This estimator, reliant on local information regarding the neighbors, enables each follower to gauge its desired states accurately.In addition, the limited network bandwidth of formation systems precludes the use of traditional continuous transmission methods.As a consequence, it becomes essential to innovate an event-triggered communication strategy.This approach ensures that communication is carried out only when absolutely necessary, effectively eliminating the need for continuous transmission.Firstly, define the following error function: where , The event-triggered error function for the follower UAV i as follows: Further, we define the velocity mismatch and position mismatch for UAV i between consecutive event times With these definitions, the event-triggered error function ( 5) can be reformulated. ) Let . In a more compact representation, the above equation becomes the following: where  3), ( 9) and ( 10), we have the following: It should be noted that the design of the distributed velocity observer, which includes the term , is founded on Lemma 1 and Equations ( 9) and (10).This formulation transforms the error equation into a function comprising both the velocity estimation error f v and the position estimation error f p .Such configuration is crucial for maintaining the stability of the closed-loop control system.Additionally, the velocity observer operates using only the local information from neighboring UAVs, thereby eliminating the need for global information from the formation system.
Then, the triggering function can be formulated as follows: where ( ) ( ) Define the following dynamic variable for the follower UAV: where 2 c and 3 c are the positive constant, and the initial value of the dynamic variable Then, the event-triggered mechanism can then be designed as follows: It is worth noting that the dynamic variable () i t  plays a crucial role in dynamically adjusting the threshold.When () i t  is set to zero, the mechanism shifts to the traditional static event-triggered method.The introduction of the variable () i t  can produce larger triggering intervals and reduce triggering times, which will be demonstrated in the subsequent comparison simulations.
Further, the event-triggered-based distributed velocity observer can be designed as follows: The main result for this section is presented as follows: Theorem 1.Given that Assumption 2 is valid and the constant parameter adheres to the subsequent condition: ( ) ( ) where Then, utilizing the distributed velocity (15) with the event-triggered mechanism (14) for the follower UAV and the parameters event-trigger parameter satisfies.
Then, the estimation errors p and v converge globally asymptotically, where . Meanwhile, the minimal interevent interval is positive, and the Zeno phenomenon is eliminated.

Bearing-Only Formation Control Design
In this section, a bearing-only distributed formation controller was designed to follow UAVs so that Problem 1 can be achieved.Combined with the distributed velocity observer, the maneuver formation mission with time-varying velocity and time-varying relative bearing was accomplished.
Firstly, define the velocity tracking error of the UAV formation system as ˆ, Then, the derivate of the function 2 V is as follows: According to the bearing rigidity matrix () Rp , the above equation can be rewritten as the following compact form: where Then, introduce the following virtual control variable: In addressing Problem 1, the controller design is mandated to fulfill the bearing-only based condition.Evidently, the virtual control incorporates the distance norm ij e , rendering it unsuitable for controller design.Given this constraint, we adapt the virtual control variables in the subsequent manner: where () The auxiliary variable is designed as follows: Then, consider the following Lyapunov function: The derivative of the above Lyapunov function is given as follows: where 12 ( , , , ) Then, inspired by the reference [40], the maneuver formation control law for the UAVs is designed as follows:  Theorem 2. Given that Assumptions 1-4 are valid, the distributed velocity estimator and the formation maneuver controller are designed as per ( 15) and ( 26), respectively, and the control parameter satisfies the following: [41], an event-triggered mechanism was introduced to reduce continuous communication and conserve resources.This modification results in the velocity estimation error only being able to asymptotically converge to zero, rather than achieving exponential convergence.Therefore, the controller (26) designed in this paper merely ensures that the tracking errors are UUB.

Simulation Examples
In the simulation experiments, we conducted two distinct cases to evaluate the performance of the proposed controller.The first case aimed to demonstrate the effectiveness of the translation and scaling maneuver formation control of the proposed controller.The second case is used to verify the rotation maneuver formation control of the proposed methods in this paper.Figure 3 shows the target formation structure and the communication topology structure for the simulation examples.

Translation and Scaling Formation Control for UAV
In this subsection, we evaluate the translation and scaling effects of the UAV formation system through simulation experiments.These experiments not only validate our control strategy but also provide valuable insights into the system's behavior.The desired formation structure is a cube, as depicted in Figure 3a.To ensure effective communication and coordination among the UAVs, we have designed a specific communication structure, which is illustrated in Figure 3b.During the translation and scaling formation simulations, the desired relative bearings for the formation system , respectively.The initial positions of the followers are [ , while their velocities are set to zero.The control parameters of the controller are selected as 54 . The velocity of the first leader is as follows: The velocity of the second leader is as follows: The UAV formation system executes the translation maneuver formation with time-varying velocity from 0 to 20 s and again from 50 to 70 s.The system accomplishes the scaling maneuver formation between 20 to 30 s and 40 to 50 s.Additionally, the translation maneuver with a constant velocity is carried out from 30 to 40 s.
The simulation results are shown in Figures 4-8.
From Figure 4, the distributed formation controller proposed in this study effectively accomplishes the prescribed translation and scaling maneuver formations.As depicted in both Figure 5 and Figure 6, the formation system adeptly tracks the desired relative bearing and velocity.Figure 7 illustrates the proficiency of the velocity observer designed in this paper in effectively estimating the desired formation velocity information.It is pertinent to highlight that the desired formation velocity is derived from Lemma 1. Figure 8 captures the event-triggering moments for each follower UAV, signifying communication occurs solely when the triggering condition is met.Consequently, this leads to efficient utilization and the saving of control system resources.

Rotation Formation Control for UAV
In this subsection, we evaluate the rotation effects of the UAV formation system through simulation experiments.the initial positions of the leader and the followers are the same as in Section 5.1 and the desired formation structure and the communication structure are also shown in Figure 2. The control parameters of the controller are selected as 54     From Figure 9, it is evident that the proposed distributed formation controller successfully achieves the intended rotation maneuver formations.As shown in Figure 10 and Figure 11, the formation system adeptly follows the targeted relative bearing and velocity.Figure 12 demonstrates the effectiveness of the velocity observer designed in this study, accurately estimating the necessary formation velocity details. Figure 13 highlights the event-triggering instances for each follower UAV, indicating that communication takes place only when the triggering conditions are satisfied.

Comparative Simulation of Event-Triggering Strategies
This subsection verifies the effectiveness and superiority of the triggering strategies proposed in this paper by conducting comparative simulation experiments with traditional event triggering.To provide a clear comparison, to avoid repetition, the two traditional event-triggering strategies in this subsection are compared with the simulation results in Section 5. initial states, controller parameters, and control objectives of the formation system remain the same as consistent with those in Section 5.2, and the only difference is the design of the event-triggering strategies.The triggering strategies used for comparison include both State-dependent Event-Triggered Strategies (SDETS) and Time-dependent Event-Triggered Strategies (TDETS).Lastly, the following are the specific forms of the two triggering strategies used for comparison: where The simulation results for SDETS are illustrated in Figures 14 and 15, while those for TDETS are shown in Figures 16 and 17.To facilitate a comprehensive comparison, comparative results showing the number of event triggers and the minimum intervals for the three strategies are presented in Tables 1 and 2. According to the results in Figures 12, 14, and 16, it is evident that all three triggering control strategies, combined with observers, can successfully estimate the desired speed.Observing from Figures 13, 15, and 16, it can be seen that the number of triggers in the dynamic event-triggering strategy (DETS) proposed in this chapter is significantly less than that of the traditional SDETS and TDETS, indicating a more efficient utilization of communication bandwidth and computational resources.Therefore, it can save communication bandwidth and computational resources more effectively.As evidenced by Tables 1 and 2, the triggering strategies proposed in this chapter demonstrate superior performance and are significantly better than the traditional event-triggering strategies in terms of the number of triggers and the minimum trigger interval time.

HITL Simulation
To comprehensively verify the performance and adaptability of the formation control algorithm, this section has established a Hardware-In-the-Loop (HITL) simulation platform to verify four different formation control effects: time-invariant formation, time-varying formation, formation scaling, and formation rotation.The structure of the HITL platform is shown in Figure 18.

Raspberry Pi
Follower UAV In this section, four quadrotor drones are built in Gazebo, where UAV 1 and UAV 2 act as leaders, with the remaining two as follower drones.Figure 19 shows a photograph of the HITL platform, in which the ground station is utilized to display and record the drones' flight status and trajectories.The Gazebo simulation interface presents the actual flight paths of the drones, while the embedded computing platform is responsible for performing the computation tasks for the high-level formation control commands and issuing the control instructions.The formation structure and communication topology are shown in Figure 20.To comprehensively verify the performance and adaptability of the formation control algorithm, this section investigates four different effects of formation control: time-invariant formation, time-varying formation, formation scaling, and formation rotation.By simulating UAVs executing complex formation tasks under conditions such as leader velocity changes, relative position adjustments, and desired changes in relative direction of the formation, the aim is to emulate the variety of challenges faced by UAV formation in the real world.The experimental setup is as follows: Before the start of the simulation, all drones hover at a height of 15 m to ensure a unified starting point at the beginning of the experiment.This setup aims to simulate the preparation phase before the drone formation and provides a clear perspective for observation and analysis.To facilitate observation of the dynamic changes during the formation process, the entire formation will maintain the same altitude, that is, 15 m.At the beginning of the formation, the initial positions of the UAVs are: , The initial speeds of the follower drones are all zero.From 0 to 30 s, there is a constant speed tracking formation, and the speed of the leader UAVs are as follows: 0.5 0 0 ,0 30 0.5 0 0 ,0 30 From 30 to 90 s, it is a time-varying velocity tracking formation, and the velocity of the leader UAVs are as follows: 0.2 sin(0.02( 30)) 0.2 sin(0.02( 30)) 0 ,30 90 0.2 sin(0.02( 30)) 0.2 sin(0.02( 30)) 0 ,30 90 From 100 to 150 s, it is a scaling maneuver formation, and the velocity of the leader UAVs are as follows: From 100 to 150 s, it is a scaling maneuver formation, and the velocity of the leader UAVs are as follows: During the transition phase between different tasks, the speed of the leader UAVs are as follows: The rotation matrix of the system is as follows: The parameters of the controller are chosen as: 0.   Figure 21 demonstrates the simulation results in the Gazebo simulation environment, specifically illustrating four different control tasks: time-invariant tracking, time-varying tracking, scaling maneuver, and rotation maneuver.The dashed lines clearly mark the flight trajectories of UAVs during each task, showcasing the precision and reliability of the formation control algorithm in maintaining formation structure.Following this, Figure 22 shows UAV flight trajectories based on real flight test data, further validating the algorithm's effectiveness in practical applications.Figure 23 focuses on the relative orientation errors during various tasks, indicating effective convergence towards minimal error, demonstrating the system's capability to maintain formation and orientation.Figure 24 analyzes the performance of distributed velocity observers by showing how the estimators accurately track the desired velocities, highlighting the observer design's effectiveness in dynamic conditions.Lastly, Figure 25 presents the event-triggering moments of the velocity observers, showcasing how a well-designed event-triggering mechanism can ensure communication efficiency while significantly reducing bandwidth and resource consumption.

Conclusions
This study delves into the intricate realm of leader-following formation maneuver control issues associated with UAVs, incorporating elements such as time-varying velocity and time-varying relative bearing.In our investigation, we introduced an event-triggered bearing-based distributed velocity observer that relies exclusively on the intended position and velocity data of leader UAVs.Our event-triggered mechanism is notable for its capability to significantly reduce the continuous communication needs between UAVs, thereby playing a pivotal role in conserving both communication bandwidth and vital resources.Merging the event-triggered velocity observer with the backstepping control technique, we present a bearing-only formation maneuver control strategy.In validating our proposed approach, we conducted extensive numerical simulations and HITL simulations.These tests clearly showed the method's prowess in achieving formation maneuver control objectives, encompassing translation, scaling, and rotation control.

Conflicts of Interest:
The authors declare no conflict of interest.

A.1. Proof of Theorem 1
Proof of Theorem 1. First, let us define matrix Consequently, based on Lemma 1, matrix F is positive definite.
Consider the following Lyapunov candidate function The derivate of 1 V is given as follows: According to the equation distributed observer (15), the above equation can be rewritten as follows: where According to Young's inequality, the above inequality can be rewritten as Since the graph is undirected, we have Substituting Equations (A6) and (A7) into (A5) yields: Then we define the following function According to ( 13) and ( 14), it follows that From the comparison theorem [42] it is clear that that V is a Lyapunov candidate function.From condition (16d),  is a positive constant.

Derivation of
Solving Inequality (A15) gives The above inequality implies the following: Substituting the above inequality into (A20), we obtain the following:

, 3 d
Rd = .Suppose the first 2 l n  , UAV are leaders and the rest, fl n n n =− UAV, are followers.Denote the position and velocity of ith UAV are d i pR  and d i vR  , respectively.Specifically, the leaders are assumed to move in the desired position and desired velocity without control, which means M is definite, or C is definite and the Schur complement d and C d represent the dimension of the matrixA and C ,

Remark 3 .Assumption 3 .Assumption 4 .
The static formation with * 0 f v = and the tracking formation with constant velocity, * 0 f v = , have been extensively studied in various literature sources.In contrast, the time-varying velocity, particularly the time-varying bearing, in the bearing-based formation approach has seldom been explored.In this paper, we focus on the time-varying velocity and bearing scenario, and investigate the translation, scaling, and rotation maneuvers within the formation mission by altering the velocity, desired position, and desired bearing.The desired position and velocity of each follower can be determined with certainty only if the bearing-based formation is unique.To ensure the uniqueness of the target formation, we invoke Lemma 1 and make the following assumption: The graph G is connected, and the matrix ff B satisfies the definite condition.The leader of the UAV formation systems follows the desired tracking trajectory without control, i.e.,

Problem 1 .
Consider a group of n UAVs, composed of l n leaders and f n followers, where the leaders can transmit the desired position * l p and desired velocity * l

Figure 1
Figure1displays the schematic diagram of the formation maneuver control.It stands in contrast to the traditional formation tracking control where the relative bearing, velocity, and distance between leaders remain time-invariant.In maneuver control, changes in relative bearing and desired velocity are introduced, rendering them time-varying.This adaptation enables the achievement of translation, scaling, and rotation maneuver control targets.

.
According to the Lemma 1, we have the following:

Figure 2 .
Figure 2. Control block diagram of the formation maneuver system.

Figure 3 .
Figure 3.The target formation structure (a) and communication topology structure (b).

Figure 4 .
Figure 4.The translation and scaling formation control effects.

Figure 7 .Figure 8 .
Figure 7.The velocity estimation effect of the follower UAVs.
UAV formation system executes the rotation maneuver formation from 20 to 100 s, and the simulation results are shown in Figures 9-13.

Figure 9 .
Figure 9.The rotation formation control effects.

Figure 10 .
Figure 10.The bearing error

Figure 11 .Figure 12 .
Figure 11.The velocity tracking effect of the follower UAVs.

Figure 13 .
Figure 13.The event-triggered time of the follower UAVs.
2. In these simulation experiments in this subsection, the

Figure 14 .
Figure 14.The velocity estimation effect of the follower UAVs based on the SDETS.

Figure 18 .
Figure 18.The structure of the STIL platform.

Figure 20 .
Figure 20.The target formation structure and communication topology structure.

Author
Contributions: Conceptualization, writing-original draft preparation, simulation results, and theoretical contribution, C.D.; supervision, project administration, funding acquisition, J.Z.; writing-review and editing, C.D. and Z.Z.All authors have read and agreed to the published version of the manuscript.Funding: This research was funded by the China Postdoctoral Science Special Foundation (Grant Number: 2021TQ0102); National Natural Science Foundation of China (Grant Number: 62203158); Changsha Natural Science Foundation (Grant Number: kq2202175); National Natural Science Foundation of Hunan Province (Grant Number: 2023JJ40182); and Huxiang Young Talents Science and Technology Innovation Project (Grant Number: 2023RC3117).Data Availability Statement: Data are contained within the article.

3 a
constant.Given that ff B is positive, the Schur complement of the matrix F can be written as satisfies condition (16c), then ( ) combining (A8) and (A11), the derivation of V yields

Proof of the Theorem 2 .
which means the Zeno behavior can be effectively avoided.This completes the proof of Theorem 1. □ A.2. Proof of Theorem 2 Substituting control law (26) into(25), we obtain the following:

m
1 and Assumption 2, we know that the v and * g are bounded, which means  is bounded and has the upper value 0 ) can be rewritten as follows:

2 m 2 m
Based on Inequality (A24), it is evident that the Lyapunov function 3 () Vt is bounded by / .Consequently, the bearing error g and velocity tracking error e v are uniformly ultimately bounded (UUB).It is worth noting that by increasing the control parameters c k and v k , the upper bound / can be reduced.This implies that the bearing errors g and velocity tracking error e v can be made to converge to a compact set around zero.As Theorem 1 has established that lim 0 is also UUB and can converge to a compact set around zero.This completes the proof of Theorem 2. □

and its first-order derivative * g are all bounded. Lemma 2 (Schur complement). Consider the block matrix below, partitioned in the following way:
=+ .Assume the event-triggered time sequence of the follower UAV i is 01 , , , , * i v and desired position * i p , respectively, for the follower ith UAV.ˆj v and ˆj p represent the estimation information received from the neighbor jth UAV.If the neighboring UAV is one of the leaders, which means that the ith UAV can receive the information from the leader j , then * ˆjj vv = , * ˆjj pp = , l jV  and 26)The control block diagram of the formation maneuver system is shown in Figure2.

Table 1 .
Number of triggers for the three trigger strategies.

Table 2 .
Minimum trigger interval for the three trigger strategies. ) Next, we prove that the Zeno behavior of the formation system can be excluded.First, the stability analysis above demonstrates that the estimation errors for are bounded.Consequently, each i e and i z is also bounded.Specifically, there exists a positive constant  such that A16) It follows from Lyapunov theorem that the estimation errors i p and i v of the system converge exponentially to zero.i p and i v