Iterative Learning Formation Control via Input Sharing for Fractional-Order Singular Multi-Agent Systems with Local Lipschitz Nonlinearity

: For a class of fractional-order singular multi-agent systems (FOSMASs) with local Lipschitz nonlinearity, this paper proposes a closed-loop D α -type iterative learning formation control law via input sharing to achieve the stable formation of FOSMASs in a finite time. Firstly, the formation control issue of FOSMASs with local Lipschitz nonlinearity under the fixed communication topology (FCT) is transformed into the consensus tracking control scenario. Secondly, by virtue of utilizing the characteristics of fractional calculus and the generalized Gronwall inequality, sufficient conditions for the convergence of formation error are given. Then, drawing upon the FCT, the iteration-varying switching communication topology is considered and examined. Ultimately, the validity of the D α -type learning method is showcased through two numerical cases.


Introduction
In recent years, communication and coordination between multi-agent systems (MASs) have become more significant means to improve the efficiency and performance of solving large-scale complex problems, such as the cooperative control problem of MASs (including formation control [1], containment control [2,3], etc.).In [1], for the considered secondorder nonlinear FMASs, an adaptive event-triggered formation protocol is presented to achieve the global Mittag-Leffler bounded formation.The issue of fixed-time output event-triggered containment control for a class of second-order nonlinear MASs with Markov switching topology is investigated in [2].In addition, an improved event-triggered mechanism based on internal dynamic variables for multi-agent fixed-time containment control is proposed in [3], which can effectively reduce the number of event-triggered instants.These studies have discussed the control problems of MASs, and the methods used are also very good.However, the systems and control problems considered are different from ours.To execute the repeatable tasks of large-scale engineering, we consider the precise control of MASs that can operate repeatedly under finite time conditions.
Iterative learning control (ILC) technology is particularly suitable for addressing consensus problems in multi-agent systems [4,5].ILC excels in formation control for MASs, especially in repetitive tasks over finite time intervals.By progressively optimizing control inputs based on past iterations, ILC effectively handles complex dynamics and nonlinearities [6].This ensures that formation members achieve their targets within predefined time frames.Additionally, ILC adapts to changing communication topologies and responds to external stimuli, enhancing both the stability and efficiency of information control [7,8].Compared to other control methods, ILC offers superior precision and reliability, making it a preferred solution for multi-agent system formation control.In addition, graph theory serves as the customary framework for communication topology in the realm of iterative learning control for multi-agent systems.However, the prevailing research predominantly centers on fixed communication topologies (FCTs), neglecting the ramifications of switching communication topologies (SCTs) along the iteration axis.In practical applications, a system's communication topology changes in response to external stimuli, aiming to attain enhanced stability and efficiency in formation control [9,10].
Unlike general MASs, singular MASs can retain the physical system structure and pulse characteristics and are often referred to as implicit systems, descriptor systems, or differential-algebraic systems [11,12].Current research on singular multi-agents usually includes consensus tracking [13], the non-fragile consensus control strategy [14], and fuzzy control [15].It provides a deeper and more comprehensive understanding of the complex behavior of the system, making predictions more accurate and enabling the development of control strategies that target the system's specific characteristics.Currently, the research landscape in this area is dynamic and evolving [16].With the singular value coordinate transformation, the solving of singular complex MASs becomes feasible, and nonlinear fractional-order MASs are effective models [17].Incorporating nonlinear fractional-order properties into singular systems, which enjoy widespread popularity in contemporary research, can further elucidate more complicated MASs.Their capacity to broaden perspectives beyond the conventional integer-order differentials facilitates more comprehensive system analysis, and they have now been used in many fields of research, such as [18][19][20][21].In comparison to the traditional global Lipschitz, our work incorporates local Lipschitz continuous nonlinearity.Owing to the local Lipschitz condition, the common contraction mapping is unable to succeed.A convergence study of local Lipschitz nonlinearity (LLN) for FOSMASs in the continuous time domain has been effectively investigated in [22].A convergence analysis for generalized MASs with LLN was analyzed in [23,24].Distributed ILC consensus tracking control with input sharing incorporated updated the existing learning methods between MASs' followers in [25].The core of input sharing allows each agent to communicate with each other on the control inputs obtained during learning iterations, enabling agents to assist each other by sharing their learning information.To achieve the overall goal of reaching a consensus, all entities in the MASs will achieve better learning outcomes via the input sharing method [26].Further, to our knowledge, no studies have reported applying formation ILC with an input sharing strategy to FOSMASs, particularly in the case where the controlled system is subject to LLN.
Motivated by the above discussions, this work introduces the closed-loop D α -type iterative learning formation control scheme with input sharing for FOSMASs with LLN (FOSMASs-LLN).Highlighted below are three innovative aspects of this work:

1.
Compared with other ILC controls for general MASs, the novel MASs we consider are a class of fractional-order singular MASs with local Lipschitz nonlinearity in the presence of iteration-varying commutation topologies.

2.
In contrast to the traditional distributed ILC consensus control, a novel distributed ILC formation protocol with input sharing scheme is developed, followed by a rigorous convergence analysis.

3.
In addition to the primary focus on the fixed communication topology, a closed-loop D α -type iterative input sharing learning protocol among the neighbor information is developed for FOSMASs under switching commutation topologies to eliminate the impacts of local Lipschitz nonlinearity.
The remainder of this work is structured as follows: The second section presents the system description and formulates the research objectives, providing a detailed exposition and explanation.The third section conducts a theoretical analysis of the proposed input sharing formation control scheme and demonstrates its feasible learning convergence.The fourth section employs Matlab to conduct numerical simulations of the research content, thereby validating the obtained formation results.Remark 1.I n ∈ R n×n is the identity matrix, '⊗' is the Kronecker product, the λ-norm for a vector function h(t) ∈ R N is defined as

Problem Formulation
In MASs, graphs represent entity relationships.The iterative learning formation control via input sharing for FOSMASs-LLN introduces alternative notation and fundamental graph theory concepts for clarity.

Graph Theory
The graph G = (V , E , A ) illustrates agent communication structures.The sets of vertices, edges, and the adjacency matrix are denoted as follows where element a ij represents the weight value of information that agent i can obtain from agent j.Similarly, the Laplacian matrix for the directed graph G is given by L = D − A , where the element belongs to the in-degree matrix D = diag{ι 1 , ι 2 , ..., ι N } , defined as

Definition 2 ([27]
).For an arbitrary real number α, the Caputo fractional-order derivative is represented as follows: For simplicity, the Caputo derivative C t 0 D α is denoted by D α t in the following section.

Lemma 1 ([28]
).If the function f (x(t), t) is continuous, then the initial state problem is The nonlinear integral equation of Volterra type whose solutions are equivalent is The solution is also continuous.

The Description of FOSMASs-LLN
Considering the formation control of FOSMASs-LLN with N agents, an improved graph G theory method is introduced.The matrices linked to the graph G are represented by the adjacency matrix A = a ij N×N and the Laplacian matrix L ∈ R N×N .Introduce a variable H = L + K , such that K = diag{κ 1 , κ 2 , ..., κ N } , κ i denotes the weight of the signal transmitted by the virtual leader to the ith agent.If the virtual leader does not communicate with the ith agent, then κ i = 0 ; if yes, then κ i = 1 .
The dynamics equations of FOSMASs are as follows: where time variable is denoted by t ∈ [0, T] , and k = 1, 2, 3, ... denotes the iteration index.The expression of Equation ( 1) is the ith follower's dynamic at the kth iteration, where i ∈ V , x k,i (t) ∈ R m , u k,i (t) ∈ R n , and y k,i (t) ∈ R p represent the state, input, and output variables, respectively, and E ∈ R m , A ∈ R m×m , B ∈ R m×n , and C ∈ R p×m are real matrices.E is a singular matrix with rank(E) = r < m , and it should meet the regularity condition.f (x k,i (t), t) is a local Lipschitz nonlinear function satisfying the following Assumption 1.
As shown in Figure 1, the output trajectory between the follower and the virtual leader 0 differs by a formation function; that is, the subsequent i + 1 follower can be regarded as a formation function that tracks the output and expectation of the follower i, i ∈ {V 0}.During the formation process, the virtual leader always moves along a given curve, and follower i always follows an agent in a certain positional relationship and acts as the leader.Then, the formation problem of FOSMASs can be transformed into the consensus tracking issue in a broad sense.Under this transformed framework, the process of follower and leader maintaining formation movement can be understood as follows: the follower and leader maintain a certain position relationship, and the follower tracks the leader's movement trajectory.The equation of the virtual leader can be described by Fractal Fract.2024, 1, 0 4 of 21 The dynamics equations of FOSMASs are as follows: where time variable is denoted by t ∈ [0, T], and k = 1, 2, 3, ... denotes the iteration index.The expression of Equation ( 1) is the ith follower's dynamic at the kth iteration, where Assumption 1 (see [22]).The time-varying nonlinear function f j (x(t As a function of z j (t) ∈ R n×1 , ℓ j z j (t), t is bounded such that ℓ j z j (t), t ≤ µ ℓ j γ ℓ j ( z j (t) ) + υ ℓ j , ∀z j ∈ R n×1 holds for some non-decreasing function γ ℓ j : [0, ∞) → [0, ∞) and some finite (unknown) constants µ ℓ j > 0 and υ ℓ j > 0.
As shown in Figure 1, the output trajectory between the follower and the virtual leader 0 differs by a formation function; that is, the subsequent i + 1 follower can be regarded as a formation function that tracks the output and expectation of the follower i, i ∈ {V 0}.During the formation process, the virtual leader always moves along a given curve, and follower i always follows an agent in a certain positional relationship and acts as the leader.Then, the formation problem of FOSMASs can be transformed into the consensus tracking issue in a broad sense.Under this transformed framework, the process of follower and leader maintaining formation movement can be understood as follows: the follower and leader maintain a certain position relationship, and the follower tracks the leader's movement trajectory.The equation of the virtual leader can be described by The objective of formation learning control is to determine a suitable input sharing law.Before that, it is necessary to define ζ k,i (t) as the state formation error of the ith agent in the kth iteration.Ensuring that the system's output y k,i (t), fulfills the following requirement: where ζ k,i (t) is the formation error of the ith agent.For the ith follower, h i (t) can be interpreted as its formation information relative to the virtual leader, such that the iterative learning sequence u k (t) converges uniformly over the fixed interval (∀t ∈ [0, T]) to the control input corresponding to the ideal related trajectory y d (t) − h i (t).The objective of formation learning control is to determine a suitable input sharing law.Before that, it is necessary to define ζ k,i (t) as the state formation error of the ith agent in the kth iteration.Ensuring that the system's output y k,i (t) , fulfills the following requirement: where ζ k,i (t) is the formation error of the ith agent.For the ith follower, h i (t) can be interpreted as its formation information relative to the virtual leader, such that the iterative learning sequence u k (t) converges uniformly over the fixed interval (∀t ∈ [0, T]) to the control input corresponding to the ideal related trajectory y d (t) − h i (t) .
Assumption 2 (see [17]).Each follower is connected to at least one leader through a directed path.
Assumption 3 (see [17]).If there exists a directed path from a chosen node, defined as the root of graph G , to every other node, then the graph G encompasses a spanning tree.

Main Results
This section primarily investigates the impact of input sharing on the ILC formation protocol for FOSMASs-LLN.On the one hand, the closed-loop D α -type ILC protocol is developed to analyze the learning behavior of formation control.On the other hand, the FCT and the iteration-varying switching communication topology (IVSCT) are employed within the framework of graph theory communication protocols to compare and analyze the effects of topology protocol variations.
Utilizing the following listed technical lemmas will be necessary for further analysis.

Formation Consistency Analysis under FCT
In the context of iterative learning with an FCT, denote matrices A , D , K , and H as fixed.At the kth iteration, the communication structure is fixed for the ith agent in each time t(∀t ∈ [0, T]) , with i ∈ V and k ∈ Z * .Based on the control objective, in order to facilitate the analysis, define ŷd,i (t) = y d (t) − h i (t) as the expected formation trajectory of the ith follower relative to the virtual leader.The formation control target can be written as Remark 2. By substituting ŷd,i (t) into systems (1) and ( 2), the corresponding xd,i (t) and ûd,i (t) can be deduced, which will not be further elaborated upon hereafter.
The error information accessible to the ith agent at the kth iteration is defined as the corresponding tracking error η k,i (t) , as follows: When certain agents within the network gain access to the leader's input, an input sharing strategy is designed as follows: To address the formation tracking problem of the FOSMASs (1), the following closedloop D α -type ILC input sharing law is proposed: where i ∈ V , ϵ ∈ R , and Γ ∈ R p×p are D α -type learning control gains to be designed.
For the convenience of further analysis, FOSMASs-LLN are converted into the lifting vector form with and Therefore, Equations ( 4) and ( 5) can be written in the compact forms where δ ûk,i (t) = ûd,i (t) − u k,i (t) is the input sharing error, and it can be converted into the lifting vector form as , and the subsequent δ xk (t) , is derived using the above definition.Substitute Equations ( 10) and ( 11) into Equation ( 6): Further, Equation ( 12) can be converted as follows: The subtraction of Equation (2) from Equation (1), both transformed into the lifting vector form, yields with δ fk (t) = f ( xd (t), t) − f (x k (t), t).Substituting Equation (13) into Equation (14) gives which implies that By selecting an appropriate learning gain Γ , the matrix (I N ⊗ E + H ⊗ BΓC) is nonsingular.Therefore, it can be introduced that The above equation can be reformulated in a more succinct manner with Note that the local Lipschitz nonlinear characteristics are meaningful because specific nonlinear attributes are not globally nonlinear.Due to the local Lipschitz condition, the traditional contraction mapping is ineffective.So it is necessary to introduce local Lipschitz nonlinear characteristics.
Claim 1. Suppose that nonlinear function Then there exist some finite bounds µ∼ f > 0 and ν∼ f > 0, and some non-decreasing function The proof of Lemma 3 is shown in Appendix A. To streamline the convergence proof, it is proposed to preemptively introduce Lemma 4.
Assumption 4. The initial condition of the system is that The proof of Lemma 4 is provided in Appendix B. Based on the above learning control protocol, Equation ( 6), and Lemma 4, the corresponding convergent condition of formation input sharing controllers can be given as follows.
Theorem 1.For the repetitive FOSMASs with local Lipschitz nonlinearity, Assumptions 2-4 are satisfied.If the control gain ϵ and Γ satisfy that , then the formation learning goal can be achieved.
Proof.Firstly, by substituting Equation ( 16) into Equation (13), one can derive the following result: Taking the norm on both sides of Equation ( 18), one can obtain Then, combining Equation (19) and Lemma 4, one can deduce From the convergence conditions given by Theorem 1, it can be seen that Further, a sufficiently large λ can be selected to make Therefore, Equation ( 20) can be seen as According to the conclusion of Lemma 2, it can be deduced that then one can achieve the requirements of formation control, i.e., lim The proof of Corollary 1 is given in Appendix C.

Formation Consistency Analysis with Time Delay under FCT
The dynamics of FOSMASs with state time delay are considered as follows: where the state time delay is represented by h > 0 , φ k,i (t) , then the formation learning errors tend to zero, i.e., lim Proof.For simplicity, the following notation is introduced: By lifting the matrix and transforming it, it can be given that Then, we have Taking norm operations on both sides of the above equation, one obtains In light of Lemma 1, integrating both sides of the equation of D α t δ xk (t), yields the following relationship Taking the norm of above equation, if ∥ δ xk (0) ∥ = 0, we have Noticing that As for the time-delay term I, two scenarios are considered as follows: If 0 ≤ t ≤ h, then using Assumption, it has where the definition of φd (t) is similar to that of ŷd (t).
If h < t ≤ T, then the integral range can be divided into Hence, according to the above two discussions, it can be concluded that Accordingly, it gives dτ > 0 and by using the Gronwall inequality, we have Combined with the above equation, one can derive with The subsequent derivation is the same as the proof of Theorem 1; we omit it here.□

Formation Consistency Analysis under IVSCT
The FCT is extremely tough and difficult to obtain for MASs.As a result, the conclusion based on the FCT condition is extended to the IVSCT, which can improve system robustness.The switching topology that varies along the iteration axis is as follows: , and L k is the Laplacian matrix of the kth iterated directed graph G k .K k,i represents the weight between the ith agent and the virtual leader.If the ith agent can achieve the desired trajectory, then K k,i = 1 ; otherwise, K k,i = 0 , i ∈ V .
With Equation ( 6), the formation input sharing control law under IVSCT can be designed as Further, Equation ( 24) can be reformulated as follows: Substituting Equation (25) into Equation ( 14), one obtains By selecting the learning gains ϵ and Γ , the matrix (I N ⊗ E + H k ⊗ BΓC) becomes non-singular.Consequently, it is feasible to introduce it into the subsequent analysis. Thus, with To facilitate the convergence proof, the following Lemma 5 on the state estimation is given.Lemma 5.For nonlinear singular fractional-order multi-agent systems, given that Assumptions 2-4 are satisfied, and transforming the FCT to the IVSCF, it can be derived that Proof.The proof follows a similar approach to Lemma 4 and is omitted here for brevity.□ Theorem 3.For nonlinear singular fractional-order multi-agent systems, Assumptions 2-4 are satisfied.If the control gain ϵ and Γ satisfies that , then the formation learning goal can be achieved.

Proof. Initially, upon substituting Equation (26) into Equation (25), one can derive
Taking the norm on both sides of Equation ( 27), one can obtain Combining Equation (28) with Lemma 4, one can deduce With the convergence conditions given by Theorem 1, it can be seen that Further, a sufficiently large λ can be selected to make Therefore, Equation ( 29) can be obtained by The proof process that follows closely resembles Theorem 1, therefore, a detailed analysis is omitted in this instance.The conclusive outcome is provided below then one can achieve the requirements of formation control, i.e., lim The proof of Corollary 2 can be found in Appendix D.

Illustrative Example
In order to illustrate the effectiveness of the proposed formation scheme with input sharing, a network composed of four heterogeneous follower agents is considered.The equation of FOSMASs is that At each iteration, the initial state and initial control of the system are The given motion equation of the virtual leader and the formation information are as follows: .
Case 1. Formation consistency analysis under FCT.
The fixed communication topology between multi-agents G of FOSMASs-LLN is shown in Figure 2. The number 0 represents the virtual leader; only the first agent ability obtains the desired trajectory.
At each iteration, the initial state and initial control of the system are The given motion equation of the virtual leader and the formation information are as follows: .

Case 1. Formation consistency analysis under FCT.
The fixed communication topology between multi-agents G of FOSMASs-LLN is shown in Figure 2. The number 0 represents the virtual leader; only the first agent ability obtains the desired trajectory.It can be seen from Figure 2 that the directed graph has a spanning tree with a virtual leader as the root node, so it satisfies Assumption 2. The Laplacian matrix of the directed graph between multi-agents is as follows: By the closed-loop D α -type iterative learning formation control with input sharing law (6), the input sharing gain ϵ and learning gain Γ are selected as It should be noted that the value of ϵ = 0 indicates the absence of input sharing, while ϵ ̸ = 0 signifies the presence of input sharing.The corresponding simulation results under fixed topology conditions are as follows: From Figures 3 and 4, it is evident that with the increasing number of iterations, the follower output trajectory gradually assumes the same shape as the leader's expected output trajectory, and the distance difference between each agent corresponds to the given formation error.
into the formation controller, not only does the trajectory linearity of each agent follow the virtual leader as a whole, but their specific trajectories are also much smoother compared to those in Figure 4.
From the maximum error norm change curve depicted in Figure 5, it becomes more concretely and intuitively evident that with the addition of input sharing, the control speed increases compared to the scenario without input sharing, leading to higher efficiency.linearity of each agent generally follows the virtual leader, and there are still small fluctuations in their specific trajectories.However, in Figure 4, with input sharing introduced into the formation controller, not only does the trajectory linearity of each agent follow the virtual leader as a whole, but their specific trajectories are also much smoother compared to those in Figure 4.
From the maximum error norm change curve depicted in Figure 5, it becomes more concretely and intuitively evident that with the addition of input sharing, the control speed increases compared to the scenario without input sharing, leading to higher efficiency.In Figure 3, one observes that in the absence of input sharing, however, the trajectory linearity of each agent generally follows the virtual leader, and there are still small fluctuations in their specific trajectories.However, in Figure 4, with input sharing introduced into the formation controller, not only does the trajectory linearity of each agent follow the virtual leader as a whole, but their specific trajectories are also much smoother compared to those in Figure 4.
From the maximum error norm change curve depicted in Figure 5, it becomes more concretely and intuitively evident that with the addition of input sharing, the control speed increases compared to the scenario without input sharing, leading to higher efficiency.

Case 2. Formation consistency analysis with time delay under FCT.
Consider the time-delay FOSMASs with local Lipschitz nonlinearity under the fixed topology.The dynamics of the ith agent can be described by . The time delay is set to h = 0.2 and the specific parameters of

Case 2. Formation consistency analysis with time delay under FCT.
Consider the time-delay FOSMASs with local Lipschitz nonlinearity under the fixed topology.The dynamics of the ith agent can be described by where i = 1, 2, 3, 4 , t ∈ [0, 4] .The time delay is set to h = 0.2 and the specific parameters of the ith agent are given by Nevertheless, the nonlinear term is chosen as From Figures 6 and 7, it can be observed that the number of iterative learning steps impacts the control effect, with input sharing significantly influencing the outcome.From both graphs, and the insets within each graph, it is evident that as the number of iterations increases, the multi-agent formation becomes closer to the desired target.Additionally, it can be seen that formation control with input sharing achieves better results.Case 2. Formation consistency analysis with time delay under FCT.
Consider the time-delay FOSMASs with local Lipschitz nonlinearity under the fixed topology.The dynamics of the ith agent can be described by where i = 1, 2, 3, 4, t ∈ [0, 4].The time delay is set to h = 0.2 and the specific parameters of the ith agent are given by Nevertheless, the nonlinear term is chosen as From Figures 6 and 7, it can be observed that the number of iterative learning steps impacts the control effect, with input sharing significantly influencing the outcome.From both graphs, and the insets within each graph, it is evident that as the number of iterations increases, the multi-agent formation becomes closer to the desired target.Additionally, it can be seen that formation control with input sharing achieves better results.
In this case, the switching law for the communication topology with a period of four is selected, as illustrated in Figure 8.To reflect the robustness of the closed-loop learning controller, the parameters of both the controller and the multi-agent system remain precisely the same as those in case 1 of the fixed topology.
The figure depicts changes in the topology occurring along the iterative axis.The appropriate topology is selected during each iteration with k = 4i + j, i = 1, 2, 3, 4.  The topology that varies along the iterative axis is defined as follows: The formation information is defined as h i (t) = [0.2× i 0] T .Figures 9 and 10 represent the different trajectories of multi-agents with different iterations in the case of formation control.As the number of stages of iterative learning increases, the tracking trend gradually improves.The figure depicts changes in the topology occurring along the iterative axis.The appropriate topology is selected during each iteration with k = 4i + j, i = 1, 2, 3, 4 .
The topology that varies along the iterative axis is defined as follows: The formation information is defined as h i (t) = [0.2× i0] T .Figures 9 and 10 represent the different trajectories of multi-agents with different iterations in the case of formation control.As the number of stages of iterative learning increases, the tracking trend gradually improves.Figure 11 depicts the maximum norm curve of formation error for all followers under different iterative learning times.It is observed that when input sharing is not added, the tracking error converges to a bounded range and exhibits cyclic fluctuations due to the interference of switching topology.Upon adding input sharing, it is evident that the maximum norm curve of formation error for four follower multi-agents decreases faster and exponentially compared to the curve without input sharing.Due to the influence of iterative switching topology, the formation error convergence of FOSMASs fluctuates slightly compared to the fixed topology.In addition, the formation error converges to the same boundary with increasing learning time, reflecting the strong robustness of input sharing learning laws.Figure 11 depicts the maximum norm curve of formation error for all followers under different iterative learning times.It is observed that when input sharing is not added, the tracking error converges to a bounded range and exhibits cyclic fluctuations due to the interference of switching topology.Upon adding input sharing, it is evident that the maximum norm curve of formation error for four follower multi-agents decreases faster and exponentially compared to the curve without input sharing.Due to the influence of iterative switching topology, the formation error convergence of FOSMASs fluctuates slightly compared to the fixed topology.In addition, the formation error converges to the same boundary with increasing learning time, reflecting the strong robustness of input sharing learning laws.Figure 11 depicts the maximum norm curve of formation error for all followers under different iterative learning times.It is observed that when input sharing is not added, the tracking error converges to a bounded range and exhibits cyclic fluctuations due to the interference of switching topology.Upon adding input sharing, it is evident that the maximum norm curve of formation error for four follower multi-agents decreases faster and exponentially compared to the curve without input sharing.Due to the influence of iterative switching topology, the formation error convergence of FOSMASs fluctuates slightly compared to the fixed topology.In addition, the formation error converges to the same boundary with increasing learning time, reflecting the strong robustness of input sharing learning laws.

Conclusions
In this paper, a novel closed-loop D α -type ILC formation framework with input sharing for FOSMASs-LLN has been designed.All follower agents can form a formation accurately on a fixed time interval under both the FCT protocol and IVSCT protocol, with a focus on addressing the formation control challenges posed by FOSMASs-LLN.Through rigorous analysis and numerical simulations, it has been concluded that the distributed D α -type controller via input sharing has led to faster convergent speed and higher efficiency compared with the case without input sharing.Nonetheless, even if the closed-loop D αtype ILC via the input sharing scheme can converge faster and enforces the formation errors in a fixed time along the iteration axis, this developed controller still requires the whole complete information transmission.Thus, future efforts will now turn to adding

Figure 1 .
Figure 1.Relationship between followers and the virtual leader 0 under formation control.

Figure 1 .
Figure 1.Relationship between followers and the virtual leader 0 under formation control.

Lemma 4 .
For FOSMASs-LLN, Assumptions 2 and 3 and ∥ δ xk (0) ∥ = 0 are satisfied and the communication topology is fixed.It can be obtained that

Corollary 2 .
Considering the repetitive FOSMASs-LLN with the formation learning law without input sharing under Assumptions 2-4 and iteration-varying switching communication topology, if the learning gain meets sup k

Figure 2 .
Figure 2. Fixed communication topology between multi-agents G .Figure 2. Fixed communication topology between multi-agents G .

Figure 2 .
Figure 2. Fixed communication topology between multi-agents G .Figure 2. Fixed communication topology between multi-agents G .

Figure 4 .
Figure 4.The output trajectory with input sharing under FCT.

Figure 3 .
Figure 3.The output trajectory without input sharing under FCT.In the figure, at time t, the line segments connected by the red triangle represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

Figure 4 .
Figure 4.The output trajectory with input sharing under FCT.Figure 4. The output trajectory with input sharing under FCT.In figure, at time t, the line segments connected by the red triangle represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

Figure 4 .
Figure 4.The output trajectory with input sharing under FCT.Figure 4. The output trajectory with input sharing under FCT.In figure, at time t, the line segments connected by the red triangle represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

FractalFigure 5 .
Figure 5.The maximum norm of formation error ∥ζ k (t)∥ with the number of iterations k.

Figure 5 .
Figure 5.The maximum norm of formation error ∥ ζ (t) ∥ with the number of iterations k.

Figure 5 .
Figure 5.The maximum norm of formation error ∥ζ k (t)∥ with the number of iterations k.

FractalFigure 9 .
Figure 9.The output trajectory with input sharing under IVSCT.Figure 9.The output with input sharing under IVSCT.In the figure, at time t, the line segments connected by the red triangle represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

Figure 9 .
Figure 9.The output trajectory with input sharing under IVSCT.Figure 9.The output with input sharing under IVSCT.In the figure, at time t, the line segments connected by the red triangle represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

Figure 11 .
Figure 11.The maximum norm of formation error ∥ζ k ∥ with the number of iterations k.

Figure 10 .
Figure 10.The trajectory without input sharing under IVSCT.In the figure, at time t, the line segments connected by the black circle line represent the state localization of the multi-agent, and the line segments between each two multi-agents represent the distance between them.

Figure 11 .
Figure 11.The maximum norm of formation error ∥ζ k ∥ with the number of iterations k.Figure 11.The norm of formation error ∥ k ∥ with the number of iterations k.

Figure 11 .
Figure 11.The maximum norm of formation error ∥ζ k ∥ with the number of iterations k.Figure 11.The norm of formation error ∥ k ∥ with the number of iterations k.
and y k,i (t) ∈ R p represent the state, input, and output variables, respectively, and E ∈ R m , A ∈ R m×m , B ∈ R m×n , and C ∈ R p×m are real matrices.E is a singular matrix with rank(E) = r < m, and it should meet the regularity condition.f (x k,i (t), t) is a local Lipschitz nonlinear function satisfying the following Assumption 1.
(1)a initial continuous function.The initial delay function should satisfy φ k,i (t) = φ d (t), i ∈ V , and φ d (t) is the initial delay function of the leader agent.f(xk,i (t), x k,i (t − h), t) is a continuous nonlinear time-delay term.The other parameter definitions are the same as Equation(1).For the nonlinear time-delay FOSMASs under the D α -type iterative learning protocol with input sharing scheme and if Assumptions 1-3 are met, if there exists a learning gain that satisfies