Abstract
This paper investigates a distributed coordination control for a class of high-order uncertain multiagent systems. Under the framework of iterative learning control, a novel fully distributed learning protocol is devised for the coordination problem of MASs including time-varying parameter uncertainties as well as actuator saturations. Meanwhile, the learning updating laws of various parameters are proposed. Utilizing Lyapunov theory and combining with Graph theory, the proposed algorithm can make each follower track a leader completely over a limited time interval even though each follower is without knowing the dynamics of the leader. Moreover, the extension to formation control is made. The validity and feasibility of the algorithm are verified conclusively by two examples.
1. Introduction
Coordination of multiagent systems (MASs) draws a lot of attention because of its wide applications in UAV, biological systems, sensor networks, and so forth. An important problem in coordination is to develop the distributed protocols, which specifies information exchange among agents, such that the group as a whole can agree on a common quantity. This kind of problem is called consensus [1–5]. For this consensus realization, a leader-follower consensus [6, 7] has been extensively studied by many scholars. Another problem of coordination is formation control; the fault-tolerant leader-following formation control and cluster formation control were discussed in [8, 9], respectively. However, in the real world, the dynamics of systems are usually uncertain. Therefore, the consensus or/and formation control for uncertain MASs become a hot topic in the field of control.
Generally speaking, an effective scheme to dispose parameter uncertainties is adaptive control [10–19]. An adaptive neural network approximation scheme was utilized to design the control protocols of the first-, second-, and high-order uncertain MASs in [10–12]. References [13, 14] used the adaptive idea to design the fully distributed control protocols by adjusting the protocols gains, so that the global information dependent on topology matrix can be avoided, and the promising technique is more and more popular among researchers for different purposes [15–19], where adaptive iterative learning control is utilized to handle the consensus for MASs over a finite time interval [20–24].
It is noteworthy that the abovementioned studies did not consider actuator saturations in the MASs. Actually, due to the limited actuator capability, actuator saturations may exist in most physical systems and cause the system instability. Consequently, it is useful to take into account actuator saturations in system analysis. Recently, a large number of work about MASs with actuator saturations emerge [25–32]. References [25–29] studied consensus algorithms under one-dimensional system framework when time goes to infinity and [30–32] tackled the consensus problem by iterative learning control (ILC). In [30], authors addressed the neural network consensus for the second-order MASs subject to saturation input; authors in [31] proposed the fully distributed learning scheme and made use of the properties of saturation function to solve actuator saturations; the leader-follower consensus for the first-order MASs with input saturation was researched in [32]. Thereinto, the dynamic of the leader was known to each follower in [31, 32].
Based on the aforementioned observations, we have successfully combined the fully distributed algorithm applying ILC over the finite time interval to address the coordination for a class of high-order MASs. The major contributions are highlighted as follows:(i)Differing from the adaptive consensus of MASs with actuator saturations, the learning consensus researched in this paper can make each follower track the leader absolutely over, where the parameter uncertainties are time-varying(ii)In contrast with the adaptive ILC consensus algorithm available, the algorithm in the paper is more complicated as well as each follower is without knowing the dynamic of the leader(iii)The consensus problem is extended to the formation control for a class of high-order MASs
The rest is arranged as follows. Some useful preliminary results and problem formulation are presented in Section 2. Section 3 is the protocols design and consensus analysis. The extension to formation control is given in Section 4. Two examples for illustration are taken in Sections 5 and conclusion is drawn in Sections 6, respectively.
2. Problem Formulation
Here, the MASs with followers and one leader are considered under a repetitive environment. The models arewhere is the state vector of the th follower and is the input vector of the th follower; is an unknown continuous time-varying parameter, which shows the uncertainty in system models for each follower agent; is a known smooth nonlinear vector valued function; ; is the saturation function [31], , and is a saturation vector function; is the state vector of the leader, and is an unknown but bounded vector valued nonlinear function.
Assumption 1. It is assumed that with being an unknown positive constant. Denote .
Remark 1. From the above, it is known that each follower is without knowing the dynamic of the leader.
For the th follower, the consensus error isIn this paper, we aim to find suitable protocols and the updating laws of parametric uncertainties so that all the followers can uniformly track the leader over as approaches to infinity, that is to say,
Assumption 2. The state vector of each follower and the leader satisfy and .
Remark 2. From assumption 2, we have .
To design the distributed protocols, the distribute error isThe compact forms arewhere and ; is a symmetric positive definite matrix, and the communication topology of the paper is the same as that in [31].
3. Learning Control Protocols Design and Consensus Analysis
The error dynamic can be calculated as
Then, the learning protocol is devised aswhere is a time-varying gain; is to estimate ; ; is to deal with the saturation term in (1); and is to offset .
, the learning adaptive laws of and , is devised asandwhere is the estimation of and is symmetric positive definite; ; , , , and .
Furthermore, the learning-based updating law of is devised aswith .
Meanwhile,where , and ; , .
Remark 4. It is obvious that is nonnegative, which is guaranteed from the updating law (12).
The th error dynamic becomeswhere and .
Thus,where
Theorem 1. For the MASs (1), under assumptions 1 and 2, the protocols (7)-(8) as well as adaptive learning laws (9)-(12) guarantee that each follower can completely track the leader over along the iteration axis, i.e., , . At the same time, the boundednesses of signals involved are obtained.
Proof. The proof falls into three parts. At the th iteration, a Lyapunov candidate is established aswhere and .
At first, the difference between and isFrom the error dynamic (14), we havewhereandSimultaneously,where .
In addition,andSubstituting (18)–(23) into (17) yieldsDue to (8) and Property 1 in [20],Therefore,On account of the positiveness of , , and , set and is an orthogonal matrix:where shows the eigenvalue of and . For the sufficient large constant , the inequality with always holds.
When , it follows thatwhich results inIn the second place, let us prove boundednesses of signals involved. On the basis of the definition of results,That is,It can be obtained from (29) and (31) thatAs [20], is uniformly bounded, . Denote with . Hence,If the finiteness of is attained, the uniform boundedness of is followed. And then, we will show the finiteness of . It obtained thatandwhereThus,Since is continuous, the boundedness of it obtained . Then,where and . Meanwhile, is finite; it is followed that is bounded. Therefore, the uniformly boundedness of is obtained over , . Furthermore, it is inspired by the definition of ; it obtained the uniform boundednesses of , , , and . The updating law (11) indicates that is bounded. From (7), we can calculate the uniform boundedness of . So, the boundednesses of signals involved are gained.
At last, we prove the property of learning consensus. As we know,From (28), it can yieldSince is positive, is bounded, and the series is convergent, and the series is convergent. Consequently, . It is easy to achieve , . From (13), is bounded on . At last, from Barbalat-like Lemma, holds uniformly over , i.e., . In other words, each follower can completely track the leader over .
Remark 5. The condition with is only for the analysis purpose; as a matter of fact, it is not utilized in the design of protocols. Accordingly, the distributed learning control protocols are fully distributed and the consensus for the MASs is solved faultlessly even if each follower is without knowing the dynamic of the leader.
4. Formation Control of the MASs
The formation control of the MASs (1) is concerned here. If the followers and leader form a formation at a certain distance over , we can say that the formation control is achieved.
Let us definewhere is the expected formation vector for the th follower relative to the leader.
The formation error is
And, is the same as defined in (2), .
Like that, the problem of formation can be reformulated as the consensus problem, i.e., .
Simultaneously, the neighborhood formation errors are
Assumption 3. For each follower, and ; for the leader, . Then, it follows that .
Theorem 2. For the MASs with graph , under assumptions 1 and 3, followers represented by (1) under the protocols (7)-(8) with learning-based updating laws (9)-(12) with the local neighborhood formation errors (44) can make the followers form the desired formation in the iteration domain on . The variables involved are bounded.
5. Simulation
In this part, two examples are provided to validate the validity and practicability for the fully distributed learning protocol of this paper. As mentioned in [33], the LC oscillator system can be considered as a MASs. Therefore, here, let us consider the MASs consisting of six followers as well as one leader. Figure 1 shows the communication graph.

Then, we have
Example 1. Consider the MASs (1) with , , , . . In simulations, we choose , ; is the lower and upper bounds of the saturation function.
Case 1. Consensus of the MASs
The designed parameters are chosen as :After 30 cycles, Figures 2–4 show the simulation results. Even if the dynamic of the leader is unknown to each follower and there exit actuator saturations in the dynamic of system, it can be seen from Figures 2 and 3 that six followers can perfectly track the leader, and in Figure 4, it is evident the signals involved are bounded. The results fit into Theorem 1.



Case 2. Formation control of the MASs.
Select . Other values involved are the same as in Case 1.
Figures 5–7 depict the results of formation control for the MASs (1). From Figure 5, we know that the agents form the desired formation. Figure 6 shows that the errors converge to zero over , and Figure 7 illustrates that the signals involved in the closed-loop system are bounded. The results obtained align with Theorem 2.



Example 2. In the LC oscillator system [33] with six follower oscillators and one leader oscillator, each LC oscillator is governed bywhere , , , and denote the inductance, capacitor, current, and voltage; . Under the repetitive environment, we study the fully distributed adaptive ILC for the LC oscillator system (47); hence, the input is applied to each oscillator (47) and affected by actuator saturations. Furthermore, assume that that the disturbances are time-varying linearly parameterized uncertainties . Under these circumstances, system (47) is rewritten aswhere , , , , and is the iteration index. In addition, .
Select , , , and ; the bounds of saturation functions are . The designed parameters are chosen as : Figures 8–10 demonstrate the results of consensus control for 60 iterations, respectively. We can see that six follower oscillators can perfectly track the leader oscillator from Figures 8 and 9, even if each follower oscillator is without knowing the dynamic of the leader oscillator, and the signals involved are bounded. The results fit into Theorem 1.



6. Conclusions
We have solved the fully distributed learning coordination problem of a class of high-order nonlinear MASs by adaptive ILC in this study. With the help of algebraic graph theory, Barlat-like lemma, and Lyapunov theory, the perfect consensus tracking as well as the formation control problem has been resolved over . At last, two examples testify the effectiveness and efficiency of the algorithm devised in the paper.
Data Availability
No data were used to support this study.
Disclosure
This article has been submitted as a pre-print.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This work was supported by the Innovation Fund Project of Gansu Provincial Department of Education (Grant No. 2021A-025), National Natural Science Foundation of China (Grant No. 61663024), and Hongliu First Class Discipline Development Project of Lanzhou University of Technology.