Abstract
Considering the limited communication resources and slow convergence speed of multi-unmanned aerial vehicle (UAV) systems, this paper presents a finite-time even-triggered control framework for multi-UAV systems to achieve formation-containment tracking control. First, a virtual leader with time-varying output is introduced so that the trajectory of the whole system can be manipulated in real time. Second, the finite-time control enables that the systematic error converge to a small neighborhood of origin in finite time. Third, in order to save communication resources, an event-triggering function is developed to generate the control event sequences, which avoids continuous update of the controller. Rigorous proof shows the finite-time stability of the proposed control algorithm, and Zeno behavior is strictly excluded for each UAV. Finally, some numerical simulations are given to verify the effectiveness of the proposed controllers.
Similar content being viewed by others
Introduction
In recent decades, cooperative control of multi-UAV systems has become a hot research topic due to its wide application of load transportation, localization and and other fields1,2,3,4,5. Cooperative control problems mainly includes leaderless consensus6, leader-following tracking7,8, formation9,10 and containment11,12. Das et al.13 and Fax and Murray14 described several methods of formation control, Ge et al.15 studied formation tracking control problem based on potential field, took the average position of all agents as virtual leaders, and transformed the task into controlling virtual leaders to track the center of the desired formation. In addition to the formation control problem, containment control also attract the attention of many people.The goal of containment control is to drive all followers to enter the convex hull formed by the leaders16. In17, the containment control of the multi-agent system under switched topology was discussed. Haghshenas et al.18 solved the containment control problem of heterogeneous linear multi-agent systems.
Inspired by the containment control and the formation control, a more complicated formation-containment problem arises, where the leaders need to accomplish a desired formation and the followers are required to converge to the convex hull spanned by the leaders simultaneously. Liu et al.19 considered the influence of control input with time delay on formation-containment control of multi-agent system. Han et al.20 and Dong et al.21 designed the formation-containment control protocol for second-order and high-order multi-agent systems, and used a Riccati equation to solve the gain matrix in the control protocol. In22, for the multi-agent system with uncertain nonlinear dynamics and directed communication constraints, a distributed adaptive control approach was proposed to complete the formation-containment target.
It should be pointed out that the macroscopic movement of the whole system cannot be controlled effectively and flexibly in the above formation-containment works19,20,21,22. In the cooperative transportation application of a group of UAVs crossing dangerous areas, in addition to completing the task of formation-containment, the multi-UAV system should also track the desired trajectory so that all the UAVs can avoid the dangerous area and reach the destination safely. Therefore, the problem of formation-containment tracking appears. In23,24, the formation-containment tracking problem was solved for high-order multi-agent system. It can be seen that consensus tracking problem, containment problem and formation problem are special cases of formation-containment tracking problem23. How to make the whole system move flexibly and effectively is a challenge to enable it to cope with complex real environments.
It is worth noting that most of the existing research focuses on the asymptotic convergence of multi-agent systems20,25. In practical applications, multi-UAV systems require fast response. Compared with the asymptotic convergence algorithm, the finite-time control protocol has faster convergence speed and better anti-interference ability, therefore, it is necessary to study the finite-time control of multi-agent systems. In9, the finite-time time-varying formation tracking problem of multi-agent systems was studied in directed topology. A finite-time formation tracking protocol was provided in the presence of mismatched disturbances for high-order multi-agent systems in26. Yu et al.11 developed a distributed finite-time sliding mode observer for estimating the reference for each UAV, and designed a finite-time containment controller. Nevertheless, these studies only consider formation tracking problem or containment control separately, but do not solve the problem of formation-containment. Namely, It is not guaranteed to complete the formation-containment tracking task in the finite time.
Furthermore, it should be pointed out that the above finite-time controllers employ the continuous time control method, which means that the controller needs to constantly update its control input. However, in practical applications, UAVs are usually equipped with embedded microprocessors with limited computing resources. In view of this concern, event-triggered control is developed to avoid the controller being constantly updated27,28,29. In1, aiming at the collaborative transportation problem of the multi-UAV system, a self-triggered method was designed to lower the communication frequency. Chen et al.30 discussed the event-triggered formation-containment problem of Euler Lagrange system. In31, the formation control problem of the multi-UAV system was considered through a dynamic event-triggered control algorithm, which includes a dynamic threshold. Combining event-triggered control with existing cooperative control is of great value to multi-agent coordinated control problems. The main challenge of event-triggered control is to design triggering functions according to different task scenarios to ensure convergence, and not Zeno behavior occurs.
Motivated by challenges stated above, considering both the limited communication resources and slow convergence speed of the multi-UAV system, this paper investigates the finite-time event-triggered formation-containment tracking control for the multi-UAV system. Compared with the existing literature, the main contributions of this paper are summarized as follows.
-
a virtual leader with time-varying output is introduced so that the trajectory of the whole system can be manipulated in real time
-
The distributed finite-time protocols are utilized to ensure that the multi-UAV system realize the expected formation-containment tracking in finite time. The upper bound of settling time is given by carefully constructing the Lyapunov function.
-
The event-triggering function is developed in the multi-UAV system, which avoids the continuous update input of the controller and greatly reduces the dependence on communication resources.
The remaining sections of this paper are organized as follows. In “Preliminaries and problem formulation”, some basic preliminaries and problem formulation are introduced. “Formation-containment tracking protocol design” presents the designs of formation-containment tracking protocol and analyzes the stability of the system. The results of simulation experiments are provided in “Simulation results”. Finally, the conclusion is drawn in “Conclusions”.
Notations: For \({\textbf{x}}=\left[ x_1,x_2,\ldots ,x_n \right] ^T\) and a positive constant \(\alpha \), we define \({\mathop {\textrm{sig}}\nolimits } {(\mathbf{{x}})^\alpha } = {\left[ {{\mathop {\textrm{sgn}}} \left( {{x_1}} \right) {{\left| {{x_1}} \right| }^\alpha },{\mathop {\textrm{sgn}}} \left( {{x_2}} \right) {{\left| {{x_2}} \right| }^\alpha }, \ldots ,{\mathop {\textrm{sgn}}} \left( {{x_n}} \right) {{\left| {{x_n}} \right| }^\alpha }} \right] ^T}\), where \({\mathop {\textrm{sgn}}} ( \cdot )\) is the signum function. Let \(\left\| \cdot \right\| \) and \(\textrm{diag}\left\{ \left. \ldots \right\} \right. \) represent the 2-norm, the block-diagonal matrix. \(\otimes \) is the Kronecker product. \({\mathbb {R}} ^n,{\textbf{I}}_n,{\textbf{0}}_n\) denote \(n\times 1\) real vectors, \(n\times n\) identity matrices and \(n\times 1\) zero vectors, respectively. \(\lambda _{\min }\left( \cdot \right) \), \(\lambda _{\max }\left( \cdot \right) \) represent the maximum and minimum eigenvalues of the square matrix, respectively.
Preliminaries and problem formulation
Graph theory and lemmas
A directed graph \(G=\left( V,E,A \right) \) is used to represent the information interaction relationship of multi-UAV system. \(V=\left\{ \left. 1,2,\ldots ,n \right\} \right. \) is the set of nodes in graph G. E is the set of edges in the graph. In a directed graph, each edge can only represent one-way information transmission. \((i,j)\in E\) only indicates that nodes i can transfer information to nodes j, and \(\left( i,j \right) \in E\nLeftrightarrow \left( j,i \right) \in E\). \(A=\left[ a_{ij} \right] _{n\times n}\) is the weighted adjacency matrix of the graph, if there exists an edge between the node i and node j, namely, \(\left( i,j \right) \in E\), then, \(a_{ij}=1\), otherwise \(a_{ij}=0\). Define the degree matrix as \(D=\textrm{diag}\left[ d_{11},\ldots ,d_{nn} \right] \) with \(\sum \nolimits _{j=1}^n{a_{ij}}\) and the Laplacian matrix of G is defined as \(L=D-W\). A directed graph is said to have a spanning tree if there exists at least one node having a directed path to all the other nodes, and that node is called the root node.
The multi-UAV system is represented by three layers, as shown in Fig. 1. The inner layer consists of followers, the real leaders constitute the outer layer, and the guidance layer consists of virtual leader. The inner layer and the outer layer jointly complete the containment task, and the formation tracking target is accomplished by the cooperation of the guidance layer and the outer layer. Assume that the information exchange between two adjacent layers is unidirectional and the information interaction between each agent in the layer is bidirectional. The system consists of \(1+N+M\) agents, where \(i=0\) represents agent of the guidance layer, namely the virtual leader, \(E=\left\{ \left. 1,2,\ldots ,N \right\} \right. \) are the index of the real leaders, which constitute outer layer, and the index set of followers in the inner layer are \(F=\left\{ N+1, \right. N+2,\ldots ,\left. N+M \right\} \), then the Laplace matrix \(L_A\in {\mathbb {R}} ^{(N+M+1)\times (N+M+1)}\) of the communication topology \(G_A\) is expressed in the following form:
where \(L_{12}\in {\mathbb {R}} ^{N\times 1},L_1\in {\mathbb {R}} ^{N\times N},L_2\in {\mathbb {R}} ^{M\times N},L_3\in {\mathbb {R}} ^{M\times M}\).
Define \(B=\textrm{diag}\left\{ \left. L_{12}^{T} \right\} \right. \), and \(L=L_1-B\) describes communication topology between real leaders without receiving information from the virtual leader. \(L_2\) expresses the communication from real leaders to followers. \(L_3\) denotes the communication between followers.
Lemma 1
32If exists, \(\delta 1,\delta 2,c>0,p,q>1\) and \(\frac{1}{p}+\frac{1}{q}=1\), then \(\delta _1\delta _2\le c^p\frac{\delta _{1}^{p}}{p}+c^{-q}\frac{\delta _{2}^{q}}{q}\).
Lemma 2
33For \(x_i\in R\), if \(\alpha \in [1,+\infty )\), then \(\left( \sum _{i=1}^n{\left| x_i \right| } \right) ^{\alpha }\ge \sum _{i=1}^n{\left| x_i \right| ^{\alpha }}\ge n^{1-\alpha }\left( \sum _{i=1}^n{\left| x_i \right| } \right) ^{\alpha }\); and if exists \(\alpha \in \left( 0,1 \right] \), then \(\left( \sum _{i=1}^n{\left| x_i \right| } \right) ^{\alpha }\le \sum _{i=1}^n{\left| x_i \right| ^{\alpha }}\le n^{1-\alpha }\left( \sum _{i=1}^n{\left| x_i \right| } \right) ^{\alpha }\).
Lemma 3
34Consider the system \({\dot{x}}=f\left( x \right) ,x\in {\mathbb {R}} ^n\), if there exists a continuous differentiable function V: \([0,\infty )\rightarrow [0,\infty )\), and it satisfies \({\dot{V}}(x)\leqslant -c(V(x))^{\eta }\), where \(c>0\) and \(0<\eta <1\). The system can be stabilized in a finite time, and the finite settling time satisfies \(T\le \left( V\left( x_0 \right) \right) ^{1-\eta }/c(1-\eta )\).
Assumption 1
The topology between the real leaders and the virtual leader contains a spanning tree, and the root node of the spanning tree is the virtual leader.
Assumption 2
The communication topology between followers is a directed graph, and for each follower, there exists at least one directed path from the real leader to the follower.
Multi-UAV formation-containment tracking problem formulation
For each UAV in the multi-UAV system, the controller design can be divided into inner-loop control and outer-loop control. The inner loop mainly completes the stabilization of the attitude, while the outer loop realizes the tracking of the given trajectory. This paper is mainly concerned with the formation-containment tracking problem of the outer-loop. Define \(p_i(t)=\left[ x_i,y_i,z_i \right] ^T\), then the outer-loop dynamic model of each UAV can be described as follows35:
where \(p_i\in {\mathbb {R}} ^3,v_i\in {\mathbb {R}} ^3\) and \(R_i\in {\mathbb {R}} ^{3\times 3}\) represents the position, velocity and rotation matrix of each UAV, \(e_3=[0,0,1]^{\textrm{T}},T_{\tau _i}\) represents the total lift, \(m_i,g\) are the mass of the UAV and gravitational acceleration, respectively. Define the control input vector of each UAV \(u_i=-\frac{T_{\tau i}}{m_i}R_ie_3+ge_3\), then the dynamic model of the UAV (1) can be rewritten by the following double integrator in36,
Denote \(\chi _{i}=\left[ p_{i}^{T},v_{i}^{T} \right] ^T\), \(o_i\) represents the position offset vector between the real leaders and the virtual leader.
Definition 1
If for all real leaders and any given initial states,
then in a finite time \(T_1\), all the real leaders achieve the expected formation described by \(o_i\).
Definition 2
For each follower, if there exists \(T_2>0\) and non negative constants \(\varpi _{ij}\) satisfying \(\sum \nolimits _{i=1}^N{\varpi _{ij}}=1\) such that
then followers is said to achieve containment in a finite time \(T_2\).
Definition 3
If both the conditions (3) and (4) are established at the same time, namely, a desired formation is formed between real leaders in a finite time \(T_1\), the followers converge to the convex hull constructed by the real leaders in a finite time \(T_2\), and then Multi-UAV system realizes the finite-time formation-containment tracking, as shown in Fig. 2.
Therefore, the principal problem to be studied in this paper can be expressed as follows: for the UAV system described in (2), design control laws for leaders and followers to achieve the formation-containment tracking goal defined in Definition 3.
Formation-containment tracking protocol design
Finite-time event-triggered formation tracking control for leaders
It is worth noting that only real leaders directly connected to the virtual leader can receive virtual leader’s states, therefore, a distributed fixed time observer is designed for each real leader to estimate the state of virtual leader.
where \(\alpha>0,\beta >0\), a, b, c, d are positive odd integers satisfying \(a>b,c<d\), \(\dot{\hat{p}}_0=v_0\), \(\dot{\hat{p}}_i\) represents the estimated velocity of the \(i_{th}\) UAV. Under Assumption 1, the observer can estimate the state value in a fixed time37.
Remark 1
When \(t\geqslant T\), we can conclude that \(\dot{\hat{p}}_1=\dot{\hat{p}}_2=\cdots =\dot{\hat{p}}_N={\dot{p}}_0=v_0\). By further derivation, we get \(\ddot{\hat{p}}_1=\ddot{\hat{p}}_2=\cdots =\ddot{\hat{p}}_N=\ddot{p}_0=u_0\).
Describe \(\left\{ t_{0}^{i}=0,t_{1}^{i},\ldots ,t_{k}^{i},t_{k+1}^{i},\cdots \right\} \) as the trigger time sequence of \(i_{th}\) UAV. The finite-time event-triggered formation tracking controller is designed as follows:
where \(k_1,k_2>0,0<\alpha _1<1,\alpha _2=2\alpha _1/\left( 1+\alpha _1 \right) \).
Define the combinational tracking error as:
Define \(R=\left[ r_{1}^{T},\ldots ,r_{N}^{T} \right] ^T\),\(Q=\left[ q_{1}^{T},\ldots ,q_{N}^{T} \right] ^T\), where \(r_i=\left[ r_{i1},r_{i2},r_{i3} \right] ^T\) ,\(q_i=\left[ q_{i1},q_{i2},q_{i3} \right] ^T\).Define the tracking errors as: \({\tilde{p}}_i=p_i(t)-o_i-p_0(t)\),\({\tilde{v}}_i=v_i(t)-v_0(t)\). The measurement errors are defined as follows:
where \(\varphi _i^r = {\left[ {\varphi _{i1}^r,\varphi _{i2}^r,\varphi _{i3}^r} \right] ^T},\varphi _i^q = {\left[ {\varphi _{i1}^q,\varphi _{i2}^q,\varphi _{i3}^q} \right] ^T},\varphi _i^c = {\left[ {\varphi _{i1}^c,\varphi _{i2}^c,\varphi _{i3}^c} \right] ^T}\)
Define \({\tilde{P}}=\left[ {\tilde{p}}_{1}^{T},\ldots ,{\tilde{p}}_{N}^{T} \right] ^T\),\({\tilde{V}}=\left[ {\tilde{v}}_{1}^{T},\ldots ,{\tilde{v}}_{N}^{T} \right] ^T\) where \({\tilde{p}}_i=\left[ {\tilde{p}}_{i1},{\tilde{p}}_{i2},{\tilde{p}}_{i3} \right] ^T\), \({\tilde{v}}_i=\left[ {\tilde{v}}_{i1},{\tilde{v}}_{i2},{\tilde{v}}_{i3} \right] ^T\),then we can get \(R=L_1\otimes {\textbf{I}}_3{\tilde{P}}\,\,\)and \(Q=L_1\otimes {\textbf{I}}_3{\tilde{V}}\), According Remark 1, combine (7), (8) and (9), the system error equation can be described as follows:
where \(\varphi ^r=\left[ \left( \varphi _{1}^{r} \right) ^T,\left( \varphi _{2}^{r} \right) ^T,\ldots ,\left( \varphi _{N}^{r} \right) ^T \right] ^T,\varphi ^q=\left[ \left( \varphi _{1}^{q} \right) ^T \right. ,\left. \left( \varphi _{2}^{q} \right) ^T,\ldots ,\left( \varphi _{N}^{q} \right) ^T \right] ^T.\)
Theorem 1
Let Assumption 1hold, then the multi-UAV system (2) can achieve the desired formation in finite time under the protocol (7) and trigger function (11). If exists \(0<\mathrm {\alpha }_1<1,\alpha _2=\) \(2\alpha _1/\left( 1+\alpha _1 \right) ,1-3^{\frac{1-\alpha _2}{2}}\xi>0,k_1>k_2(3N)^{\frac{1-\alpha _1}{2\left( 1+\alpha _1 \right) }}(\xi +N)\frac{c^{1+\alpha _1}}{1+\alpha _1},k_1>2^{\frac{2\left( 1+\alpha _1 \right) }{3+\alpha _1}}\left( \sqrt{\frac{2}{\lambda _{\min }\left( L_1 \right) }}\cdot \right. \) \(\left. \frac{\theta \lambda _{\max }\left( L_1 \right) \left( 1+\alpha _1 \right) }{3+\alpha _1} \right) ^{1+\alpha _1}\left( 1+ \right. \) \(\left. \alpha _1 \right) ^{\frac{1-\alpha _1}{3+\alpha _1}},\frac{k_2\left( 3+\alpha _1 \right) }{2\left( 1+\alpha _1 \right) }\left( 1- \right. \left. 3^{\frac{1-\alpha _2}{2}}\xi \right) \left( \frac{\lambda _{\min }\left( L_1 \right) }{2} \right) ^{\frac{1-\alpha _1}{2\left( 1+\alpha _1 \right) }}>\theta k_2\left( 3N \right) ^{\frac{1-\alpha _1}{2\left( 1+\alpha _1 \right) }}(\xi +N)\frac{\alpha _1c^{-\frac{1+\alpha _1}{\alpha _1}}}{1+\alpha _1}+\theta \lambda _{\max }\left( L_1 \right) \), where \(c,\theta >0\), the distributed event-triggered function is designed as follows:
where \(\xi \in \left( 0,1 \right) \).
Proof
The Lyapunov candidate is constructed as follows :
The derivative of (12) can be obtained:
According to \(k_2>0,1-3^{\frac{1-\alpha _2}{2}}\xi >0\), it can be concluded that \({\dot{V}}_1(t)<0\) and the error system (10) is asymptotically stable.
To further prove that the system converges in finite time, the following Lyapunov function is constructed:
where \(\theta \) is a positive constant, according to Lemmas 1 and 2 , the following formula can be obtained
where h is a positive constant, combining (15) and (16),
In order to ensure that \(V\left( t \right) \) is positive definite, satisfying
Further, taking the derivative of \(V\left( t \right) \)
where \(c>0\), \(\omega =\min \left( \omega _1,\omega _{2} \right) \). From \(\omega _1,\omega _2>0\), there exists \(\,\,{\dot{V}}\left( t \right) <0\).
Similarly, according to Lemmas 1 and 2, it can be obtained that:
and
Combining (19) and (20), we get
where \(\beta =\max \left( \beta _1,\beta _2 \right) \). Combining (18), and further obtain
According to Lemma 3, the error system (10) satisfies the condition of finite time stability, namely, R and Q converge to origin in finite time, with the settling time \({T_1} \le \frac{{{\beta ^{\frac{{2\left( {1 + {\alpha _1}} \right) }}{{3 + {\alpha _1}}}}}\left( {3 + {\alpha _1}} \right) }}{{\omega \left( {1 - {\alpha _1}} \right) }}{V^{\frac{{1 - {\alpha _1}}}{{3 + {\alpha _1}}}}}(0)\).Considering \(R=\left( L_1\otimes {\textbf{I}}_3 \right) {\tilde{P}}\),\(Q=\left( L_1\otimes {\textbf{I}}_3 \right) {\tilde{V}}\) and \(L_1\) is positive definite,we soon have \({\tilde{p}}_i={\tilde{v}}_i=0\) when \(t\geqslant T_1\),which means that the desired formation is formed in a finite time \(T_1\). This completes the proof. \(\square \)
Theorem 2
Considering Assumption 1holds and the conditions of Theorem 1are satisfied, Zeno behavior can be excluded in the control protocol (7) and distributed triggering function (11) for multi-UAV systems.
Proof
For \(t\in \left[ t_{k}^{i},t_{k+1}^{i} \right) \), we derive
when \(t=t_{k}^{i}\), \(\left\| \varphi _{i}^{r}\left( t_{k_i}^{i} \right) \right\| =0,\left\| \varphi _{i}^{q}\left( t_{k_i}^{i} \right) \right\| =0\), and then
where \(\delta _1=\max \left( 3^{\frac{1-\alpha _1}{2}}k_1,3^{\frac{1-\alpha _2}{2}}k_2 \right) ,\delta _2=\max \left( \left\| q_i(t) \right\| ^{\alpha _1} \right. ,\left. \left\| {\dot{q}}_i(t) \right\| ^{\alpha _2} \right) \). When \(\Vert q_i\Vert =0\), the formation has been formed, and the controller does not need to be updated. Zeno behavior is naturally excluded. when formation is not achieved, we get \(\left\| q_i(t) \right\| ^{\alpha }>0\), According to the event-triggered function (11), we further obtain
From (25), we get
From (26), The inter-event interval has a strict positive lower bound and zeno behavior does not occur in the system. The proof is completed. \(\square \)
Finite-time event-triggered containment control for followers
Describe \(t_0,t_1,\ldots ,t_k,\ldots \) as the event trigger time series, where \(t_k\) denotes the \(k_{th}\) triggered time of followers. The finite-time event-triggered containment controller is designed as follows:
where \(k_3,k_4>0\), \(\alpha _3\in \left( 0,1 \right) \), \(\alpha _4=\frac{2\alpha _3}{1+2\alpha _3}\).
The combinational tracking errors are defined as
Define \({\mathcal {E}} _p=\left[ {\mathcal {E}} _{p1}^{T},\ldots ,{\mathcal {E}} _{pM}^{T} \right] ^T,{\mathcal {E}} _v=\left[ \left. {\mathcal {E}} _{v1}^{T},\ldots ,{\mathcal {E}} _{vM}^{T} \right] ^T \right. \), where \({\mathcal {E}} _{pi}=\left[ {\mathcal {E}} _{pi1},\ldots , \right. \) \(\left. {\mathcal {E}} _{pi3} \right] ^T,{\mathcal {E}} _{vi}=\left[ {\mathcal {E}} _{v1},\ldots ,{\mathcal {E}} _{v3} \right] ^T\). Define the tracking errors as
where \(\tau \in E\) being the real leader directly connected to the followers. Define \(\tilde{{\mathcal {E}}}_p=\left[ {\tilde{\varepsilon }}_{p1}^{T},\ldots ,{\tilde{\varepsilon }}_{pM}^{T} \right] ^T\), \(\tilde{{\mathcal {E}}}_v=\left[ {\tilde{\varepsilon }}_{v1}^{T}, \right. \ldots ,\left. {\tilde{\varepsilon }}_{vM}^{T} \right] ^T\),where \({\tilde{\varepsilon }}_{pi}=\left[ {\tilde{\varepsilon }}_{pi1},{\tilde{\varepsilon }}_{pi2},{\tilde{\varepsilon }}_{pi3} \right] ^T,{\tilde{\varepsilon }}_{vi}=\left[ {\tilde{\varepsilon }}_{vi1},{\tilde{\varepsilon }}_{vi2},{\tilde{\varepsilon }}_{vi3} \right] ^T\) then we get \({\mathcal {E}} _p=L_3\otimes {\textbf{I}}_3\tilde{{\mathcal {E}}}_p,{\mathcal {E}} _v=L_3\otimes {\textbf{I}}_3\tilde{{\mathcal {E}}}_v\). Define the measurement errors as
where \(\zeta _{i}^{p}=\left[ \zeta _{i1}^{p},\zeta _{i2}^{p},\zeta _{i3}^{p} \right] ^T,\zeta _{i}^{v}=\left[ \zeta _{i1}^{v},\zeta _{i2}^{v},\zeta _{i3}^{v} \right] ^T\). Combining (27), (28) and (30), the dynamic model of the Multi-UAV system can be rewritten as
where \(\zeta ^p=\left[ \left( \zeta _{1}^{p} \right) ^T,\left( \zeta _{2}^{p} \right) ^T,\ldots ,\left( \zeta _{M}^{p} \right) ^T \right] ^T,\zeta ^v=\left[ \left( \zeta _{1}^{v} \right) ^T, \right. \left. \left( \zeta _{2}^{v} \right) ^T,\ldots ,\left( \zeta _{M}^{v} \right) ^T \right] ^T\).
Moreover, The triggering function for the \(i_{th}\) follower is designed as
where \(\eta \in \left( 0,1 \right) \) is the parameter that can be adjusted. The triggering condition is defined as \(t_{k+1}^{i}=\textrm{inf}\left\{ t>t_{k}^{i}, \right. t_i\left. (t)>0 \right\} \).
Theorem 3
When the Assumption 2holds, followers use control protocol (27) and distributed triggering function (32), if exists \(\vartheta ,\kappa >0\), conditions in Theorem1hold and \(k_3\), \(k_4\) satisfy the inequalities (33), (34), all followers can converge to the convex hull spanned by the real leaders in a finite time. Moreover the Zeno behavior of the containment system is excluded.
Proof
From Theorem 1 and the previous proof, we take the same procedure of the proof for followers, one can prove that under the control protocol (27), \({\mathcal {E}} _p\) and \({\mathcal {E}} _v\) can converge to the origin in finite time \(T_2\). Further to exclude the Zeno behavior, by employing the same procedure of the proof for real leaders in Theorem 2, we can conclude that the inter-event interval has a positive lower bound.
where \(\varDelta \) denotes the inter-event interval, \(\mu _1=\max \left( 3^{\frac{1-\alpha _3}{2}}k_3,3^{\frac{1-\alpha _4}{2}}k_4 \right) ,\mu _2=\) \(\max \left( \left\| {\mathcal {E}} _{vi}(t) \right\| ^{\alpha _3},\left\| \dot{{\mathcal {E}}}_{vi}(t) \right\| ^{\alpha _4} \right) \). This completes the proof. \(\square \)
Remark 2
The conclusion of Theorem 3 is established on the basis of Theorem 1. when the real leaders achieve the desired formation, the followers can enter the convex hull generated by the the real leaders and the multi-UAV system (2) eventually accomplish the formation-containment tracking task.
Simulation results
In order to verify the validity and superiority of the proposed method in achieving formation containant tracking, this section uses a scenario containing 7 UAVs to conduct a simulation experiment. The People Computer(PC) is equipped with Intel(R) Core(TM) i5-8300H 2.3GHZ CPU, 8GB memory. Simulations are executed in MATLAB environment.The UAVs in the Multi-UAV system are depicted by the dynamic model (2) with \(p_i=\left[ p_{i1},p_{i2},p_{i3} \right] ^T,v_i=\left[ v_{i1},v_{i2},v_{i3} \right] ^T,i=0,1,\ldots ,7,\) where \(p_{i1,}p_{i2}\) and \(p_{i3}\) describe the positions in the directions X, Y and Z, \(v_{i1,}v_{i2}\) and \(v_{i3}\) are the velocities in X, Y and Z. The Multi-UAV system consists of the guidance UAV denoted by \(i=0\), the outer UAVs represented by index set \(E=\left\{ 1,2,3,4 \right\} \) and the inner UAVs represented by index set \(F=\left\{ 5,6,7 \right\} \). The information interaction topology between UAVs is shown in Fig. 3. The initial state of each agent in the Multi-UAV system is selected as follows: \(p_{ij}(0)=10\varTheta \left( i=1, \right. 2,3,4,5,6,7;j=1,2,\) \(\left. 3 \right) ,v_{ij}\left( 0 \right) =\varTheta \left( i=1,2,3,4, \right. 5,6,7;\left. j=1,2,3 \right) \) , where \(\varTheta \) is a random number in the range \(\left( 0,1 \right) \). The guidance and outer UAVs require to accomplish a formation tracking with a square configuration, where the offset vectors are shown as \(o_1=[0,-10,0]^T\), \(o_2=[-10,0,0]^T\), \(o_3=[0,10,0]^T\), \(o_4=[10,0,0]^T\).
The guidance UAV leads the multi-UAV system with the following desired time-varying reference trajectory:
The coefficients of observer (5) are chosen as \(\alpha =\beta =5,a=d=7,b=c=5\) and the control parameters of protocols (7) and (27) are selected as \(k_1=4,k_2=2,\alpha _1=0.7,\alpha _2=\) \(\frac{2\alpha _1}{1+\alpha _1},k_3=6,k_4=3,\alpha _3=0.8,\alpha _4=\frac{2\alpha _3}{1+\alpha _3},\) Choose \(\xi =0.5,\eta =0.8\) as the parameters of the triggering functions (11) and (32). All parameters are the same on all three channels.
The simulation results are demonstrated from Figs. 4, 5, 6, 7, 8 and 9. Figure 4 shows the three-dimensional trajectory of the UAVs. Figure 5 shows the position snapshots of the multi-UAV system at different times t=1 s, 2 s, 5 s and 10 s. Figure 6 gives the events triggering times of 7 UAVs within 10 s. The evolutions of the position and velocity of each UAV in the X, Y and Z directions are given in Figs. 7 and 8. The formation tracking error displayed in Fig. 9a is defined as \(\parallel \varGamma _E\parallel =\parallel \varGamma _E\parallel _1\), with \(\varGamma _E=\left[ \varGamma _{E1},\varGamma _{E2},\varGamma _{E3},\varGamma _{E4} \right] ^T\), where \(\forall i=1,2,3,4,h_i=\left[ o_i,0_3 \right] ^T,\left\| \varGamma _i \right\| =\left\| \chi _i-h_i- \right. \left. -\chi _0 \right\| _1\). Similarly, the containment error \(\varGamma _C\) is obtained and shown in Fig. 9b.
From Figs. 4, 5, 6, 7, 8 and 9, it can be clearly seen that the outer UAVs achieve the desired formation in a finite time, the inter UAVs enter the convex hull, and the task of formation-containment tracking is accomplished. In addition, with the time-varying of the state of guidance UAV, the multi-UAV system can still realize formation-containment tracking, which shows the robustness of the method proposed in this paper. At the initial time t= 0, the UAVs are randomly distributed in the space. After 1 s, in order to realize the formation, the outer UAVs start to move. At t= 2 s, the inner UAVs converge to the convex hull, and at t= 5 s and at 10 s of the snapshots show that the outer UAVs slowly achieve the square formation around the guidance UAV, and the inner UAVs enter the convex hull formed by the outer UAVs. Figure 6 shows that Zeno behavior does not occur, and the minimum interval of two adjacent events in the leaders’ system and followers’ system are 0.2 s and 0.4 s respectively, which indicates that the internal communication of the system is intermittent, not continuously. We can also see from Fig. 9 that the systematic error of the UAVs converges to the origin within 10 s. Therefore, under protocols (7) and (27), and with the triggering function satisfying (11) and (32), the multi-UAV system can realize the finite-time event-triggered formation-containment tracking.
Conclusions
In this paper, the problem of time-varying out formation-containment tracking of multi-UAV systems is studied, with a three-layer hierarchical structure being introduced. A finite-time event-triggered control protocol is proposed for real leaders and followers, respectively. The problems of limited communication resources and slow convergence speed in multi-UAV systems are solved at the same time. The simulation results show that the time-varying tracking task can be completed in finite time, and the system does not exist zeno behavior. In future work, we will consider the obstacle avoidance problem in the tracking process, and consider the output saturation of the system to make the system more robust.
Data availability
All data included in this study are available upon request by contact with the corresponding author.
References
Zhang, X. et al. Self-triggered based coordinate control with low communication for tethered multi-UAV collaborative transportation. IEEE Robot. Autom. Lett. 6(2), 1559–1566 (2021).
Guo, K., Li, X. & Xie, L. Ultra-wideband and odometry-based cooperative relative localization with application to multi-UAV formation control. IEEE Trans. Cybern. 50(6), 2590–2603 (2019).
Liang, H., Du, Z., Huang, T. & Pan, Y. Neuroadaptive performance guaranteed control for multiagent systems with power integrators and unknown measurement sensitivity. IEEE Trans. Neural Netw. Learn. Syst. 20, 20 (2022).
Pan, Y., Li, Q., Liang, H. & Lam, H.-K. A novel mixed control approach for fuzzy systems via membership functions online learning policy. IEEE Trans. Fuzzy Syst. 20, 20 (2021).
Li, D., Chen, C. P., Liu, Y.-J. & Tong, S. Neural network controller design for a class of nonlinear delayed systems with time-varying full-state constraints. IEEE Trans. Neural Netw. Learn. Syst. 30(9), 2625–2636 (2019).
Kolaric, P., Chen, C., Dalal, A. & Lewis, F. L. Consensus controller for multi-UAV navigation. Control Theory Technol. 16(2), 110–121 (2018).
Wang, J., Han, L., Dong, X., Li, Q. & Ren, Z. Distributed sliding mode control for time-varying formation tracking of multi-UAV system with a dynamic leader. Aerosp. Sci. Technol. 111, 106549 (2021).
Lei, Y., Wang, Y.-W., Yang, W. & Liu, Z.-W. Distributed control of heterogeneous multi-agent systems with unknown control directions via event/self-triggered communication. J. Franklin Inst. 357(17), 12163–12179 (2020).
Liao, R., Han, L., Dong, X., Liu, F., Li, Q., & Ren, Z. Finite-time time-varying formation tracking for second-order multi-agent systems with a leader of fully unknown input. In 2020 39th Chinese Control Conference (CCC), pp. 4878–4883. IEEE (2020).
Zhang, B., Sun, X., Liu, S. & Deng, X. Adaptive model predictive control with extended state observer for multi-UAV formation flight. Int. J. Adapt. Control Signal Process. 34(10), 1341–1358 (2020).
Yu, Z., Liu, Z., Zhang, Y., Qu, Y. & Su, C.-Y. Distributed finite-time fault-tolerant containment control for multiple unmanned aerial vehicles. IEEE Trans. Neural Netw. Learn. Syst. 31(6), 2077–2091 (2019).
Chen, L., Li, C., Sun, Y. & Ma, G. Distributed finite-time containment control for multiple Euler–Lagrange systems with communication delays. Int. J. Robust Nonlinear Control 29(1), 332–352 (2019).
Das, A. K. et al. A vision-based formation control framework. IEEE Trans. Robot. Autom. 18(5), 813–825 (2002).
Fax, J. A. & Murray, R. M. Information flow and cooperative control of vehicle formations. IEEE Trans. Autom. Control 49(9), 1465–1476 (2004).
Ge, S. S., Liu, X., Goh, C.-H. & Xu, L. Formation tracking control of multiagents in constrained space. IEEE Trans. Control Syst. Technol. 24(3), 992–1003 (2015).
Ma, Q. & Miao, G. Distributed containment control of linear multi-agent systems. Neurocomputing 133, 399–403 (2014).
Biao, T., Xingling, S., Wei, Y. & Wendong, Z. Fixed time output feedback containment for uncertain nonlinear multiagent systems with switching communication topologies. ISA Trans. 111, 82–95 (2021).
Haghshenas, H., Badamchizadeh, M. A. & Baradarannia, M. Containment control of heterogeneous linear multi-agent systems. Automatica 54, 210–216 (2015).
Liu, S., Xie, L. & Zhang, H. Containment control of multi-agent systems by exploiting the control inputs of neighbors. Int. J. Robust Nonlinear Control 24(17), 2803–2818 (2014).
Han, L., Dong, X., Li, Q. & Ren, Z. Formation-containment control for second-order multi-agent systems with time-varying delays. Neurocomputing 218, 439–447 (2016).
Dong, X., Li, Q., Ren, Z. & Zhong, Y. Formation-containment control for high-order linear time-invariant multi-agent systems with time delays. J. Franklin Inst. 352(9), 3564–3584 (2015).
Wang, Y., Song, Y. & Ren, W. Distributed adaptive finite-time approach for formation-containment control of networked nonlinear systems under directed topology. IEEE Trans. Neural Netw. Learn. Syst. 29(7), 3164–3175 (2017).
Hua, Y., Dong, X., Li, Q., & Ren, Z. Formation-containment tracking for high-order linear multi-agent systems on directed graphs. In IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society, pp. 5809–5814. IEEE (2017).
Hua, Y., Dong, X., Han, L., Li, Q. & Ren, Z. Formation-containment tracking for general linear multi-agent systems with a tracking-leader of unknown control input. Syst. Control Lett. 122, 67–76 (2018).
Zhang, Y., Wen, Y., Chen, G. & Chen, Y.-Y. Distributed adaptive observer-based output formation-containment control for heterogeneous multi-agent systems with unknown inputs. IET Control Theory Appl. 14(15), 2205–2212 (2020).
Hua, Y., Dong, X., Han, L., Li, Q. & Ren, Z. Finite-time time-varying formation tracking for high-order multiagent systems with mismatched disturbances. IEEE Trans. Syst. Man Cybern. Syst. 50(10), 3795–3803 (2018).
Pan, Y., Wu, Y. & Lam, H.-K. Security-based fuzzy control for nonlinear networked control systems with dos attacks via a resilient event-triggered scheme. IEEE Trans. Fuzzy Syst. 20, 1 (2022).
Lei, Y., Wang, Y.-W., Morarescu, I.-C. & Postoyan, R. Event-triggered fixed-time stabilization of two-time-scale linear systems. IEEE Trans. Autom. Control 20, 20 (2022).
Lei, Y., Wang, Y.-W., Liu, X.-K. & Liu, Z.-W. Distributed event-triggered synchronization of interconnected linear two-time-scale systems with switching topology. IEEE Trans. Cybern. 20, 20 (2021).
Chen, L., Li, C., Xiao, B. & Guo, Y. Formation-containment control of networked Euler–Lagrange systems: An event-triggered framework. ISA Trans. 86, 87–97 (2019).
Wei, L., Chen, M. & Li, T. Dynamic event-triggered cooperative formation control for UAVs subject to time-varying disturbances. IET Control Theory Appl. 14(17), 2514–2525 (2020).
Sun, C., Hu, G., Xie, L. & Egerstedt, M. Robust finite-time connectivity preserving coordination of second-order multi-agent systems. Automatica 89, 21–27 (2018).
Zhang, A., Zhou, D., Yang, P. & Yang, M. Event-triggered finite-time consensus with fully continuous communication free for second-order multi-agent systems. Int. J. Control Autom. Syst. 17(4), 836–846 (2019).
Bhat, S. P. & Bernstein, D. S. Finite-time stability of continuous autonomous systems. SIAM J. Control. Optim. 38(3), 751–766 (2000).
Zhou, S., Guo, K., Yu, X., Guo, L. & Xie, L. Fixed-time observer based safety control for a quadrotor UAV. IEEE Trans. Aerosp. Electron. Syst. 57(5), 2815–2825 (2021).
Dong, X., Zhou, Y., Ren, Z. & Zhong, Y. Time-varying formation control for unmanned aerial vehicles with switching interaction topologies. Control. Eng. Pract. 46, 26–36 (2016).
Hassan, M. F. & Hammuda, M. Leader-follower formation control of mobile nonholonomic robots via a new observer-based controller. Int. J. Syst. Sci. 51(7), 1243–1265 (2020).
Funding
This research was funded by National Natural Science Foundation of China, grant number 11725211.
Author information
Authors and Affiliations
Contributions
X.C.:wrote the main manuscript text. X.Z.:simulations in Matlab. W.Y.: validation simulations in Matlab. All authors contributed to the article and approved the submitted version.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cai, X., Zhu, X. & Yao, W. Distributed time-varying out formation-containment tracking of multi-UAV systems based on finite-time event-triggered control. Sci Rep 12, 20296 (2022). https://doi.org/10.1038/s41598-022-24083-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-022-24083-y
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.