Content area

Abstract

This paper introduces a novel observer-based, fully distributed fault-tolerant consensus control algorithm for model-free adaptive control, specifically designed to tackle the consensus problem in nonlinear multi-agent systems. The method addresses the issue of followers lacking direct access to the leader’s state by employing a distributed observer that estimates the leader’s state using only local information from the agents. This transforms the consensus control challenge into multiple independent tracking tasks, where each agent can independently follow the leader’s trajectory. Additionally, an extended state observer based on a data-driven model is utilized to estimate unknown actuator faults, with a particular focus on brake faults. Integrated into the model-free adaptive control framework, this observer enables real-time fault detection and compensation. The proposed algorithm is supported by rigorous theoretical analysis, which ensures the boundedness of both the observer and tracking errors. Simulation results further validate the algorithm’s effectiveness, demonstrating its robustness and practical viability in real-time fault-tolerant control applications.

Full text

Turn on search term navigation

1. Introduction

In recent years, multi-agent systems (MASs) have received significant attention due to their wide-ranging applications in autonomous driving [1,2], unmanned aerial vehicles [3,4], and sensor networks [5,6]. Among various coordination objectives, consensus control plays a central role by enabling agents to reach agreement on key variables through local communication, supporting higher-level tasks such as formation control [7], distributed estimation [8], and cooperative decision-making [9]. To achieve consensus, existing methods are broadly classified into model-based and model-free approaches. While model-based strategies rely on known system dynamics and offer rigorous theoretical guarantees, their applicability is often limited in practical scenarios involving heterogeneous agents, uncertain environments, or time-varying dynamics, where accurate modeling is difficult or infeasible. These limitations have led to growing interest in model-free or data-driven consensus control methods, which utilize real-time input–output data to achieve coordination without requiring explicit knowledge of system models.

Among model-free control frameworks, model-free adaptive control (MFAC) has shown particular effectiveness due to its reliance on online input–output data and pseudo-gradient estimation, which avoids explicit model identification while ensuring low complexity and interpretability [10,11,12,13,14,15]. Other data-driven approaches, such as reinforcement learning [16,17], neural networks [18], and fuzzy-based control [19], have also been explored, yet they often require extensive training or large datasets, limiting their real-time applicability. In contrast, MFAC achieves faster convergence with lower computational cost, making it particularly well-suited for real-time control of uncertain nonlinear systems. Recently, MFAC has been extended to the multi-agent domain [20,21,22,23,24], where distributed MFAC-based controllers have been proposed to solve consensus problems under model uncertainty using only local data. In [20], a MFAC framework was developed to address the consensus control problem of multi-agent systems (MASs) subject to deception attacks. The asymmetric bipartite consensus tracking problem was studied in [22], where event-triggered mechanisms were incorporated to improve communication efficiency. In addition, ref. [23] investigated distributed control under denial-of-service (DoS) attacks and external disturbances. While these schemes have shown promising performance, they also introduce several intrinsic challenges. Notably, many existing designs rely on consensus error signals, which often involve future outputs or states of neighboring agents—quantities that are not directly measurable in real time. This dependence increases implementation complexity and can introduce estimation errors. In addition, the use of consensus errors typically leads to parameter coupling among agents, thereby complicating controller tuning and reducing scalability in large or heterogeneous networks.

A further limitation of existing MFAC-based consensus methods is the assumption of nominal actuator functionality. In practice, actuator faults—such as bias, partial loss of effectiveness, or complete degradation—frequently occur due to hardware aging, mechanical wear, or harsh environmental conditions. These faults can significantly distort the applied control signal, degrade tracking performance, or even prevent consensus. As far as we known, only a relatively small number of mfac-based multi-intelligent body consistency studies have considered errors that occur on systems [25,26,27]. In [25,26], the output saturation problem was addressed in the tracking control of multi-agent systems (MASs). Actuator faults were further investigated in [27], where a distributed control strategy was developed to ensure system stability under fault conditions. Moreover, since many existing MFAC consensus schemes rely on consensus error terms, a fault in one agent not only affects its own behavior but also propagates through the network via local interactions. This inter-agent coupling can amplify fault effects and deteriorate global control performance, particularly in large-scale or tightly interconnected systems. These challenges underscore the importance of developing robust, fault-tolerant consensus strategies for multi-agent systems under model uncertainty.

Motivated by the above challenges, this paper develops a fully distributed fault-tolerant consensus control framework for nonlinear multi-agent systems is paper, without assuming prior knowledge of agent models. The proposed approach integrates MFAC with real-time observation and compensation mechanisms. The main contributions of the paper are as follows:

A fully distributed and purely data-driven consensus control framework is proposed for nonlinear multi-agent systems subject to actuator faults and unknown dynamics. The framework is implemented using only local real-time input–output data and neighbor communication, without relying on global information, system models, or offline training. This design ensures high scalability, adaptability, and applicability in large-scale, uncertain, and fault-prone environments, while significantly reducing implementation complexity.

A distributed data-driven observer is designed to eliminate structural coupling and support independent reference tracking for each agent. Unlike traditional MFAC-based algorithms [20,21,22,23,24], where controller design relies on system-wide consensus errors, the introduction of a distributed data-driven observer removes this dependency. Each agent estimates the leader’s state using only local and neighboring input–output data, allowing independent reference tracking and controller tuning. This structure mitigates the propagation of local faults and enhances the overall robustness of the distributed control system.

An extended state observer (ESO) is integrated into the control framework to enable real-time fault estimation and compensation. The ESO reconstructs unknown actuator faults and external disturbances from local input–output measurements and feeds the estimates into the control loop for adaptive correction. This mechanism significantly improves consensus reliability under input degradation, without relying on centralized diagnosis, prior model knowledge, or additional sensing infrastructure.

2. Preliminaries and Problem Formulation

2.1. Graph Theory

A weighted graph G(V,E,A) is utilized to characterize the interaction topology among the agents, where V=v1,v2,,vM denotes the set of nodes, EV×V represents the edge set, and A=[aij]RM×M is the associated adjacency matrix. An edge (vi,vj)E implies aij>0, indicating that agent j can receive information from agent i; otherwise, aij=0. The neighbor set of agent i is defined as Ni=vjV:(vi,vj)E. A directed path from node i to node k exists if a sequence of edges connects them, such as (vi,vc),(vc,vd),,(ve,vk). A directed graph possesses a spanning tree if there exists at least one node (root) that has a directed path to every other node in the graph. The diagonal matrix W=diag(ωi0) captures the influence of the leader on each follower, where ωi0>0 if follower i can access the leader’s information; otherwise, ωi0=0.

Assumption 1

([28]). A spanning tree is assumed to exist in the graph G, and the leader is accessible from at least one root node via a directed connection.

2.2. Problem Formulation

Consider a fully heterogeneous nonlinear MAS composed of N followers and a single leader. The dynamics of the ith follower subject to actuator faults are described by:

(1)yi(ι+1)=fi(yi(ι),ui(ι),ufi(ι)),

where yi(ι)Rni denotes the output of the ith follower. ui(ι)Rli and ufi(ι)Rli are the input, and actuator fault of the ith follower, and fi(·)Rni represents the unknown dynamics.

The leader’s dynamics is described by:

(2)x0(ι+1)=A0x0(ι),y0(ι)=C0x0(ι),

where x0(ι)Rn0 and y0(ι)Rm0 denote the leader’s state and the output, respectively. A0Rn0×n0 and C0Rm0×n0 denote the internal dynamics and output dynamics of the leader, respectively.

Assumption 2

([29]). The modulus of every eigenvalue of A0 is less than or equal to one.

3. Observer-Based Data-Driven Fault-Tolerant Control Algorithm Design

3.1. Data-Driven Distributed State Observer

To effectively mitigate the adverse effects of actuator faults in MASs, it would be ideal for each follower agent to directly access the state information of the leader. However, in practical scenarios, such direct communication is often constrained by limitations in network topology, communication bandwidth, or system security requirements. These constraints make it infeasible for all agents to receive global information or maintain continuous access to the leader’s state. Therefore, it becomes essential to design distributed observer mechanisms that rely solely on local real-time information exchanged with neighboring agents. In this work, we propose three distributed observers that enable each agent to estimate the leader’s dynamics and state independently.

(3a)A^i(ι+1)=A^i(ι)+αijNiaij(A^j(ι)A^i(ι))+αiωi0(A0(ι)A^i(ι)),

(3b)C^i(ι+1)=C^i(ι)+βijNiaij(C^j(ι)C^i(ι))+βiωi0(C0(ι)C^i(ι)),

(3c)χi(ι+1)=A^i[χi(ι)+σijNiaij(χi(ι)χj(ι))+σiωi0(χi(ι)x0(ι))],

where A^i(ι), C^i(ι) and χi(ι) denote the estimation of the internal dynamics, output dynamics and leader’s state, respectively. αi, βi, and σi are the parameters to be designed.

Lemma 1

([29]). Consider a fully heterogeneous nonlinear multi-agent system (MAS) with the leader’s dynamics given by (2). Assuming that Assumptions 1 and 2 hold, and each follower implements the distributed observer as defined in (3), the estimates of the system matrices, A^i, C^i, and state χi for each agent i, will converge asymptotically to the leader’s system matrices A0, C0, and state x0, respectively, as ι. This convergence holds provided that the observer gains satisfy the following conditions:

0<α<2ρ(H),0<β<2ρ(H),0<σ<2ρ(H),

where ρ(H) represents the spectral radius of the matrix H associated with the graph topology.

Remark 1.

The introduction of the distributed observer decouples the overall multi-agent system, eliminating the reliance on consensus-error-based design inherent in traditional MFAC methods. This decoupling not only improves the scalability and flexibility of the control architecture but also prevents fault propagation among agents, thereby enhancing the overall robustness of the distributed control system.

3.2. Data-Driven Fault-Tolerant Control Algorithm

3.2.1. Data Model Construction

Assumption 3

([30,31]). The dynamics of the ith follower in the MAS is assumed to satisfy the following generalized Lipschitz condition.

Δyi(ι+1)ςi|uri(ι+1)uri(ι)|,|uri(ι+1)uri(ι)|0

where Δyi(ι+1)=yi(ι+1)yi(ι), uri(ι)=ui(ι)+ufi(ι), and ςi>0 is a constant.

Lemma 2

([32]). Given Assumption 3 and the condition |uri(ι+1)uri(ι)|0, the dynamics of the ith follower subject to actuator faults can be equivalently expressed by the following data-based model.

(4)Δyi(ι+1)=ϱi(ι)Δui(ι)+ϱi(ι)Δufi(ι)

where ϱi(ι) is the pseudo-partial-derivative (PPD), Δui(ι)=ui(ι)ui(ι1), Δufi(ι)=ufi(ι)ufi(ι1), |Δufi(ι)|<ufm, |ϱi(ι)|ςi.

3.2.2. Extended State Observer

Define Zi(ι)=[zi1(ι),zi2(ι)]T=[yi(ι),Δufi(ι)]T. Combined with (4), we have

(5)z^i1(ι)=z^i1(ι1)+ϱi(ι1)Δui(ι1)+ϱi(ι1)z^i2(ι1)+κi1(zi1(ι1)z^i1(ι1))z^i2(ι)=z^i2(ι1)+κi2(zi1(ι1)z^i1(ι1))

where z^i1(ι) and z^i2(ι) are the estimation of zi1(ι) and zi2(ι), respectively. κ1 and κ2 are observer gains.

Remark 2.

The ESO is employed to estimate controller errors in real time, providing essential information for the subsequent controller design. Since the estimation is continuously updated, once the controller error vanishes, the ESO output converges to the true value. This property ensures the correctness of the controller design and contributes to maintaining system stability.

3.2.3. Data-Driven Fault-Tolerant Controller Design

Select the cost function Ji(ui(ι)) of the ith follower as

(6)Ji(ui(ι))=χ^i(ι+1)yi(ι+1)2+ηi|Δui(ι)|2

where ηi is the weighting parameter to limit the change in the input of the ith follower, χ^i(ι+1)=C^i(ι+1)χi(ι+1).

Substituting (4) and (5) into (6), and then minimizing (6) with respect to Δui(ι), we can obtain

(7)Δui(ι)=ϱi(ι)ρi(χ^i(ι+1)y^i(ι))θiϱi(ι)Δz^i2(ι)ηi+ϱi2(ι)

where Δu^fi(ι) is the estimation of Δufi(ι); ςi(0,1] and ηi(0,1] are step factors for flexibility.

Consider the cost function Ji(ϱi) with respect to ϱi as

(8)Ji(ϱi)=|Δyi(ι)ϱi(ι)Δuri(ι1)|2+ϑi|ϱi(ι)ϱ^i(ι1)|2

where ϑi is a positive weighting parameter.

Then, the estimation of PPD ϱ^i(ι) can be obtained by minimizing (8), so that

(9)ϱ^i(ι)=ϱ^i(ι1)+ϖi(Δui(ι1)+z^i2(ι1))ϑi+(Δui(ι1)+z^i2(ι1))2[Δyi(ι)ϱ^i(ι1)(Δui(ι1)+z^i2(ι1))]

where ϖi(0,1] is the step size.

Combining (7) and (9), the model-free adaptive security controller for the ith follower is shown as

(10a)ϱ^i(ι)=ϱ^i(ι1)+ϖi(Δui(ι1)+z^i2(ι1))ϑi+(Δui(ι1)+z^i2(ι1))2[Δyi(ι)ϱ^i(ι1)(Δui(ι1)+z^i2(ι1))]

(10b)ϱ^i(ι)=ϱ^i(1),ifsign(ϱ^i(ι))sign(ϱ^i(1))or|ϱ^i(ι)|<ε

(10c)Δui(ι)=ϱ^i(ι)ρi(χi(ι+1)yi(ι))θiϱ^i(ι)z^i2(ι)ηi+ϱ^i2(ι)

where ϱ^i(1) is the initial value of ϱ^i(ι); ε is a positive constant.

Remark 3.

In the proposed control algorithm, several parameters, ηi, ϑi, ϖi, κi1, and κi2, must be properly tuned to ensure satisfactory performance. The regularization factor ηi determines the trade-off between control responsiveness and input smoothness: smaller values enhance response speed but may compromise stability, whereas larger values improve robustness. The parameters ϑi and ϖi jointly influence the PPD estimation dynamics, balancing estimation accuracy, smoothness, and adaptability. A smaller ϑi or larger ϖi accelerates adaptation but increases sensitivity to disturbances. The step sizes ρi and θi regulate the tracking and fault-compensation processes, where higher ρi strengthens tracking performance and θi moderates the balance between fault rejection and stability. Finally, κi1 and κi2 govern the update rate of the fault estimator, and appropriate tuning of these parameters ensures reliable and stable fault detection.

4. Stability Analysis

Theorem 1.

Consider the MASs with actuator faults as (1), let Assumption 1 hold and design the controller as (10), the tracking error of the MASs will be bounded if the following inequalities are satisfied:

(11)3ν(IœΦ(ι)(ι))2>3μ(IœΦ(ι)(ι))2ν3νj2Φ(ι)2ϰ(ι)2>(13[ϰ(ι+1)œΦ1(ι+1)jΦ(ι)ϰ(ι)]2)μ

Proof of Theorem 1.

This proof is divided into two parts, proving the boundedness of the estimation of PPD and the containment error, respectively.

Part 1: This part consists of two cases. In case 1, the function (10b) is satisfied, and it is obvious that the estimation of PPD is bounded.

In case 2, substituting (10a) into the estimation error eϱi(ι)=ϱ^i(ι)ϱi(ι) yields:

(12)eϱi(ι)=eϱi(ι1)+ϱi(ι1)ϱi(ι)+ϖiΔuri(ι1)ηi+Δuri2(ι1)[Δyi(ι)ϱ^i(ι1)Δuri(ι1)]=ϱi(ι1)+(1ϖiΔuri(ι1)ηi+Δuri2(ιz1))eϱi(ι1)ϱi(ι)+ϱi(ι1)Δufi(ι1)ϖiΔuri(ι1)ηi+Δuri2(ι1)

Then, we can obtain

(13)|eϱi(ι)||ϱi(ι)ϱi(ι1)|+|ϱi(ι1)Δufi(ι1)ϖiΔuri(ι1)ηi+Δuri2(ι1)|+|1ϖiΔuri(ι1)ηi+Δuri2(ι1)||τi(ι1)|

Also, it is easy to gain |ϖiΔuri(ι1)ηi+Δuri2(ι1)|ϖi|Δuri(ι1)|2ηi|Δuri(ι1)|=ϖi2ηi, |ϱi(ι)ϱi(ι1)|2ςi and |ϱi(ι)|ςi. Thus, we can obtain

(14)|eϱi(ι)|Γi|eϱi(ι1)|+2ςi+ςiufmϖi2ηiΓi2|eϱi(ι1)|+Γi(2ςi+ςiufmϖi2ηi)+2ςi+ςiufmϖi2ηiΓiι1|eϱi(1)|+2ςi+ςiufmϖi2ηi1Γi

where Γi is a positive constant that can be obtained by selecting ϖi and ηi to satisfy 0<|1ϖiΔuri(ι1)ηi+Δuri2(ι1)|Γi<1.

Based on the above analysis, since both eϱi(ι) and ϱi(ι) are bounded, it follows that ϱ^i(ι) is also bounded.

Part 2: In this part, we will give the proof of the boundedness of the tracking error eSi(ι). By Theorem 1, if e^Si(ι)=χi(ι)yi(ι) remains bounded as ι, then eSi(ι) is also bounded.

From function (10c), we have

(15)U(ι)=U(ι1)+œ(ι)eS(ι)jϰ(ι)ΔU^f(ι)

where

œ=diag{σ1,σ2,,σN},j=diag{η1,η2,,ηN},U(ι)=[u1(ι),u2(ι),,uN(ι)]T(ι)=diag{ϱ^1(ι)α1+ϱ^12(ι),ϱ^2(ι)α2+ϱ^22(ι),,ϱ^N(ι)αN+ϱ^N2(ι)},ϰ(ι)=diag{ϱ^12(ι)α1+ϱ^12(ι),ϱ^22(ι)α2+ϱ^22(ι),,ϱ^N(ι)2αN+ϱ^N2(ι)}eS(ι)=[e^S1(ι),e^S2(ι),,e^SN(ι)]T,ΔU^f(ι)=[Δu^f1(ι),Δu^f2(ι),,Δu^fN(ι)]T.

Substituting (15) into (4), we can obtain

(16)y(ι+1)=y(ι)+Φ(ι)(œ(ι)eS(ι)+ΔUfi(ι)jϰ(ι)ΔU^f(ι))

where ΔUf(ι)=[Δuf1(ι),Δuf2(ι),,ΔufN(ι)]T and ϱ(ι)=diag{ϱ1^(ι),ϱ2^(ι),,ϱN^(ι)}.

Then, we can obtain

(17)eS(ι+1)=eS(ι)œΦ(ι)œ(ι)eS(ι)Φ(ι)ΔUf(ι)+jΦ(ι)ϰ(ι)ΔU^f(ι)+χ¯(ι+1)χ¯(ι)=(IœΦ(ι)œ(ι))eS(ι)+(jΦ(ι)ϰ(ι)Φ(ι))ΔUf(ι)+Δχ¯(ι+1)+jΦ(ι)ϰ(ι)ΔU˜f(ι)

where χ¯(ι)=[χ1(ι),χ2(ι),,χN(ι)]T.

According to function (5), we have

(18)ΔU^f(ι+1)=ϰ(ι+1)ΔU^f(ι)Φ1(ι+1)eS(ι+1)

Then, we can obtain

(19)ΔU˜f(ι+1)=ΔU^f(ι+1)ΔUf(ι+1)=ϰ(ι+1)ΔU^f(ι)Φ1(ι+1)eS(ι+1)ΔUf(ι+1)=ϰ(ι+1)ΔU˜f(ι)+ϰ(ι+1)ΔUf(ι)ΔUf(ι+1)Φ1(ι+1)eS(ι+1)

Substituting (17) into (19), we can obtain

(20)ΔU˜f(ι+1)=[ϰ(ι+1)Φ1(ι+1)jΦ(ι)ϰ(ι)]ΔU˜f(ι)+[ϰ(ι+1)Φ1(ι+1)(j×Φ(ι)ϰ(ι)Φ(ι))]ΔUf(ι)Φ1(ι+1)(IœΦ(ι)œ(ι))eS(ι)ΔUf(ι+1)×Φ1(ι+1)Δχ¯(ι+1)

Select the Lyapunov function as LS(ι)=ueST(ι)eS+μΔU˜fT(ι)ΔU˜f(ι), where u>0,μ>0.

Then, the difference of L can be obtained as

(21)ΔLS(ι+1)=ueST(ι+1)eS(ι+1)+μΔU˜fT(ι+1)ΔU˜f(ι+1)ueST(ι)eS(ι)μΔU˜fT(ι)ΔU˜f(ι)

Substituting (17) and (20) into (21), we have

(22)ΔLS(ι+1)=[(IœΦ(ι)œ(ι))eS(ι)+jΦ(ι)ϰ(ι)ΔU˜f(ι)+(jΦ(ι)ϰ(ι)Φ(ι))ΔUf(ι)+Δχ¯(ι+1)]T×[(IœΦ(ι)œ(ι))eS(ι)+jΦ(ι)ϰ(ι)ΔU˜f(ι)+jΦ(ι)ϰ(ι)ΔUf(ι)Φ(ι)ΔUf(ι)+Δχ¯(ι+1)]+μ{[ϰ(ι+1)Φ1(ι+1)jΦ(ι)ϰ(ι)]ΔU˜f(ι)+[ϰ(ι+1)Φ1(ι+1)×(jΦ(ι)ϰ(ι)Φ(ι))]ΔUf(ι)Φ1(ι+1)(IœΦ(ι)œ(ι))eS(ι)ΔUf(ι+1)×Φ1(ι+1)Δχ¯(ι+1)}T{[ϰ(ι+1)Φ1(ι+1)jΦ(ι)ϰ(ι)]ΔU˜f(ι)+[ϰ(ι+1)×Φ1(ι+1)(jΦ(ι)ϰ(ι)Φ(ι))]ΔUf(ι)Φ1(ι+1)(IœΦ(ι)œ(ι))eS(ι)ΔUf(ι+1)Φ1(ι+1)Δχ¯(ι+1)}νeST(ι)eS(ι)μΔU˜fT(ι)ΔU˜f(ι)

For the boundedness of χ¯(ι), ΔUf(ι), Φ(ι) and Φ^(ι), it is possible to be obtain that (jΦ(ι)ϰ(ι)Φ(ι))ΔUf(ι)+Δχ¯M1, [ϰ(ι+1)Φ1(ι+1)(jΦ(ι)ϰ(ι)Φ(ι))]ΔUf(ι)ΔUf(ι+1)Φ1(ι+1)Δχ¯(ι+1)M2, and Φl(ι)Φ^(ι)Φu(ι). Then we have

(23)ΔLS(ι+1)3ν((IœΦ(ι)œ(ι))2eS(ι)2+M12+j2Φ(ι)2ϰ(ι)2ΔU˜f(ι)2)+3μ([ϰ(ι+1)Φ1(ι+1)×jΦ(ι)ϰ(ι)]2ΔU˜f(ι)2+M22+2×Φ1(ι+1)2(IœΦ(ι)œ(ι))2eS(ι)2)νeS(ι)2μΔU˜f2(3ν(IœΦ(ι)œ(ι))2+3μ(IœΦ(ι)œ(ι))2ν)eS(ι)2+(3νj2Φ(ι)2ϰ(ι)2+3μ[ϰ(ι+1)Φ1(ι+1)jΦ(ι)ϰ(ι)]2μ)ΔU˜f(ι)2+3νM12+3μM22Π1eS(ι)2+Π2ΔU˜f(ι)2+Π3

where Π1=3ν(IœΦ(ι)œ(ι))2+3q(IœΦ(ι)œ(ι))2ν, Π2=3νj2Φ(ι)2|ϰ(ι)2μ+3q[ϰ(ι+1)Φ1(ι+1)jΦ(ι)ϰ(ι)]2 and Π3=3νM12+3qM22.

From the (11), Π1 and Π2 are all positive constant. Based on the Lyapunov stability theory, we can obtain ΔLS(ι+1)0 if at least one of the following inequalities holds eS(ι)>Π3Π1,ΔU˜f(ι)>Π3Π1. Therefore, eS(ι) and ΔU˜f(ι) are bounded. □

Theorem 2.

For the ESO designed as (5), if ki1 and ki2 are selected to ensure max{|(2ki1+ki124ki2)/2|,(2ki1+ki124ki2)/2}<1, then the observer error zi2˜ of ESO is bounded.

Proof of Theorem 2.

From (5), we have

z˜i1(ι+1)z˜i2(ι+1)=1ki11ki11z˜i1(ι)z˜i2(ι)+0Δzi2(ι+1)

where z˜i1(ι)=zi1(ι)z^i1(ι) and z˜i2(ι)=zi2(ι)z^i2(ι) denote the observer errors of ESO. Δzi2(ι+1)=zi2(ι+1)zi2(ι).

Due to max{|(2ki1+ki124ki2)/2|,(2ki1+ki124ki2)/2}<1 is satisfied, the spectral radius of 1ki11ki11 is less than 1.

Then, we have 1ki11ki11ψγ(1ki11ki11)+ϵc1<1.

Combined with the boundedness of ϱi, we can obtain

(24)z˜i1(ι+1)z˜i2(ι+1)ψc1z˜i1(ι)z˜i2(ι)ψ+c2c1ι+1z˜i1(0)z˜i2(0)ψ+c21c1

where c20Δzi2(ι+1)ψ, and the observer errors are bounded. □

5. Simulation

Consider a heterogeneous MAS with three followers and one leader, where the leader’s output is time-varying and non-convergent. The communication topology is shown in Figure 1.

Define the dynamics of the leader as:

(25)x0(ι+1)=cos(π/300)sin(π/300)sin(π/300)cos(π/300)x0(ι),y0(ι)=01x0(ι).

Define the dynamics of the followers as:

(26)y1(ι+1)=u1(ι)/5+y1(ι)u12(ι)1+y12(ι)

(27)y2(ι+1)=u2(ι)/2+y2(ι)u2(ι)1+y23(ι)

(28)y3(ι+1)=u3(ι)+sin(y3(ι))

Moreover, assume the actuator faults occur on follower 1 as

Δuf1=0.15sin(ιπ/300).

The parameters of the distributed observers are selected as α1=α2=α3=0.3, β1=β2=β3=0.4 and σ1=σ2=σ3=0.4. The parameters of the ESO are set as κ11=0.54 and κ12=0.08. The parameters of the adaptive controller are set as ϖ1=0.9, ϖ2=1, ϖ3=0.1, ϑ1=0.3, ϑ2=0.01, ϑ3=0.1, ρ1=0.7, ρ2=0.99, ρ3=0.9, η1=0.001, η2=0.1, η1=1. Moreover, the initial outputs of the followers are selected as y1=y2=y3=0 and the initial state of the leader is set as y0(0)=[0.2,0.2]T. The initial PPDs of the followers are selected as ϱ^1(0)=2, ϱ^1(0)=1.7 and ϱ^1(0)=5.

The performances of the proposed observer are shown in Figure 2, Figure 3 and Figure 4. As illustrated in Figure 2 and Figure 3, the followers can effectively observe the leader’s internal and output dynamics at the 50 time step. Moreover, the leader’s output can also be observed at the 200th time step. These results show that the MAS has been fully decoupled by the distributed observers, and the followers can obtain the leader’s output after the 200th step.

The tracking performances of the followers are shown in Figure 5, Figure 6 and Figure 7, respectively. From the results of the Figures, based on the distributed observer and ESO, the followers can track the trajectory of the leader after the 300th time step. Moreover, the performance of ESO is shown in Figure 8. From Figure 8, the ESO can estimate the increment of the actuator faults after 300th time step. These results show that the proposed algorithm can deal with the consensus control problem of MASs with unknown actuator faults.

To evaluate the decoupling capability of the proposed algorithm and its effectiveness in preventing error propagation across the system, the parameters of follower 1 were deliberately modified such that it fails to estimate the control error accurately and cannot track the leader’s trajectory. The tracking performance of all followers is illustrated in Figure 9, Figure 10 and Figure 11, while the performance of the ESO is shown in Figure 12. A comparison between Figure 10 and Figure 11 and Figure 6 and Figure 7 indicates that the tracking performances of followers 2 and 3 remains unaffected, despite the degraded performance of follower 1. These results show that the proposed algorithm enables system decoupling through the use of observers. When the ESO of one agent fails, the others remain unaffected, demonstrating the scalability and robustness of the proposed control strategy.

The tracking performances of the followers under the algorithm in [27] are shown in Figure 13. As we can see in Figure 13, the followers cannot track the leader’s trajectory under the algorithm in [27]. As shown in Figure 14, the fault estimator designed in [27] cannot estimate the actuator faults well. These results show that under the algorithm design in [27], due to the coupling between multiple intelligences, actuator errors propagate through the system, thus affecting the stability of the whole system.

6. Conclusions

In this paper, a novel observer-based, fully distributed fault-tolerant consensus control algorithm for MFAC is proposed to address the consensus control problem in nonlinear MASs. The proposed method overcomes the challenge of followers lacking direct access to the leader’s state by utilizing a distributed observer that estimates the leader’s state from local information. This approach decouples the consensus control problem into independent tracking tasks for each agent. An ESO based on a data-driven model is introduced to estimate unknown actuator faults, particularly brake faults, and an adaptive controller is designed for fault compensation. Theoretical analysis confirms the boundedness of observer and tracking errors. Finally, simulation results validate the robustness and effectiveness of the proposed algorithm in fault-tolerant control scenarios. Future work will focus on conducting physical experiments to further validate the proposed method and extending the framework to event-triggered mechanisms and partially connected network topologies.

Author Contributions

Methodology, Y.Z., Y.L. and M.Z.; Software, D.L. and J.C.; Validation, D.L., Y.L. and D.G.; Formal analysis, D.L., S.S. and M.Z.; Investigation, D.L. and Y.L.; Resources, Y.Z., D.L. and S.S.; Data curation, D.G., J.C. and S.S.; Writing—original draft, Y.Z.; Writing—review & editing, D.G.; Visualization, M.Z.; Supervision, S.S.; Funding acquisition, M.Z. All authors have read and agreed to the published version of the manuscript.

Data Availability Statement

Data available on request due to restrictions. The data presented in this study are available on request from the corresponding author, because the data are not publicly available due to specific confidentiality agreements.

Conflicts of Interest

The authors declare no conflict of interest.

Footnotes

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Figures

Figure 1 The communication topology of numerical simulation.

View Image -

Figure 2 The observational error eAi2=A^iA02 of the internal dynamics of the leader.

View Image -

Figure 3 The observational error eCi2=C^iC02 of the output dynamics of the leader.

View Image -

Figure 4 The observational error ξi=yiχi of the output of the leader.

View Image -

Figure 5 The tracking performance of follower 1.

View Image -

Figure 6 The tracking performance of follower 2.

View Image -

Figure 7 The tracking performance of follower 3.

View Image -

Figure 8 The performance of ESO.

View Image -

Figure 9 The tracking performance of follower 1 with unsuitable parameters.

View Image -

Figure 10 The tracking performance of follower 2.

View Image -

Figure 11 The tracking performance of follower 3.

View Image -

Figure 12 The performance of ESO.

View Image -

Figure 13 The tracking performances of followers under the algorithm in [27].

View Image -

Figure 14 The performance of the fault estimator in [27].

View Image -

References

1. Omeiza, D.; Webb, H.; Jirotka, M.; Kunze, L. Explanations in autonomous driving: A survey. IEEE Trans. Intell. Transp. Syst.; 2021; 23, pp. 10142-10162. [DOI: https://dx.doi.org/10.1109/TITS.2021.3122865]

2. Feng, T.; Wang, W.; Yang, Y. A survey of world models for autonomous driving. arXiv; 2025; [DOI: https://dx.doi.org/10.48550/arXiv.2501.11260] arXiv: 2501.11260

3. Laghari, A.A.; Jumani, A.K.; Laghari, R.A.; Nawaz, H. Unmanned aerial vehicles: A review. Cogn. Robot.; 2023; 3, pp. 8-22. [DOI: https://dx.doi.org/10.1016/j.cogr.2022.12.004]

4. Zuo, Z.; Liu, C.; Han, Q.L.; Song, J. Unmanned aerial vehicles: Control methods and future challenges. IEEE/CAA J. Autom. Sin.; 2022; 9, pp. 601-614. [DOI: https://dx.doi.org/10.1109/JAS.2022.105410]

5. Ahmad, R.; Wazirali, R.; Abu-Ain, T. Machine learning for wireless sensor networks security: An overview of challenges and issues. Sensors; 2022; 22, 4730. [DOI: https://dx.doi.org/10.3390/s22134730]

6. Nayak, P.; Swetha, G.; Gupta, S.; Madhavi, K. Routing in wireless sensor networks using machine learning techniques: Challenges and opportunities. Measurement; 2021; 178, 108974. [DOI: https://dx.doi.org/10.1016/j.measurement.2021.108974]

7. Zhao, W.; Liu, H.; Lewis, F.L.; Wang, X. Data-driven optimal formation control for quadrotor team with unknown dynamics. IEEE Trans. Cybern.; 2021; 52, pp. 7889-7898. [DOI: https://dx.doi.org/10.1109/TCYB.2021.3049486] [PubMed: https://www.ncbi.nlm.nih.gov/pubmed/33502991]

8. Hao, X.; Liang, Y.; Li, T. Distributed estimation for multi-subsystem with coupled constraints. IEEE Trans. Signal Process.; 2022; 70, pp. 1548-1559. [DOI: https://dx.doi.org/10.1109/TSP.2022.3163525]

9. Landgren, P.; Srivastava, V.; Leonard, N.E. Distributed cooperative decision making in multi-agent multi-armed bandits. Automatica; 2021; 125, 109445. [DOI: https://dx.doi.org/10.1016/j.automatica.2020.109445]

10. Li, Y.; Cui, P.; Li, H.; Yang, Z.; Liu, X. High-precision magnetic field control of active magnetic compensation system based on MFAC-RBFNN. IEEE Trans. Instrum. Meas.; 2024; 73, 6006510. [DOI: https://dx.doi.org/10.1109/TIM.2024.3394482]

11. Yue, B.F.; Su, M.Y.; Jin, X.Z.; Che, W.W. Event-triggered MFAC of nonlinear NCSs against sensor faults and DoS attacks. IEEE Trans. Circuits Syst. II Express Briefs; 2022; 69, pp. 4409-4413. [DOI: https://dx.doi.org/10.1109/TCSII.2022.3178881]

12. Zhou, Q.; Ren, Q.; Ma, H.; Chen, G.; Li, H. Model-free adaptive control for nonlinear systems under dynamic sparse attacks and measurement disturbances. IEEE Trans. Circuits Syst. I Regul. Pap.; 2024; 71, pp. 4731-4741. [DOI: https://dx.doi.org/10.1109/TCSI.2024.3434607]

13. Corradini, M.L. A robust sliding-mode based data-driven model-free adaptive controller. IEEE Control Syst. Lett.; 2021; 6, pp. 421-427. [DOI: https://dx.doi.org/10.1109/LCSYS.2021.3078256]

14. Zhu, P.; Jin, S.; Bu, X.; Hou, Z.; Yin, C. Model-free adaptive control for a class of MIMO nonlinear cyberphysical systems under false data injection attacks. IEEE Trans. Control Netw. Syst.; 2022; 10, pp. 467-478. [DOI: https://dx.doi.org/10.1109/TCNS.2022.3203354]

15. Weng, Y.; Zhang, Q.; Cao, J.; Yan, H.; Qi, W.; Cheng, J. Finite-time model-free adaptive control for discrete-time nonlinear systems. IEEE Trans. Circuits Syst. II Express Briefs; 2023; 70, pp. 4113-4117. [DOI: https://dx.doi.org/10.1109/TCSII.2023.3269986]

16. Wang, L.; Li, X.; Zhang, R.; Gao, F. Reinforcement learning-based optimal fault-tolerant tracking control of industrial processes. Ind. Eng. Chem. Res.; 2023; 62, pp. 16014-16024. [DOI: https://dx.doi.org/10.1021/acs.iecr.3c01789]

17. Shi, H.; Ma, J.; Liu, Q.; Li, J.; Jiang, X.; Li, P. Model-free output feedback optimal tracking control for two-dimensional batch processes. Eng. Appl. Artif. Intell.; 2025; 143, 109989. [DOI: https://dx.doi.org/10.1016/j.engappai.2024.109989]

18. Liu, A.; Zhao, H.; Song, T.; Liu, Z.; Wang, H.; Sun, D. Adaptive control of manipulator based on neural network. Neural Comput. Appl.; 2021; 33, pp. 4077-4085. [DOI: https://dx.doi.org/10.1007/s00521-020-05515-0]

19. Hu, L.; Yang, Y.; Tang, Z.; He, Y.; Luo, X. FCAN-MOPSO: An improved fuzzy-based graph clustering algorithm for complex networks with multiobjective particle swarm optimization. IEEE Trans. Fuzzy Syst.; 2023; 31, pp. 3470-3484. [DOI: https://dx.doi.org/10.1109/TFUZZ.2023.3259726]

20. Li, F.; Hou, Z. Distributed model-free adaptive control for MIMO nonlinear multiagent systems under deception attacks. IEEE Trans. Syst. Man Cybern. Syst.; 2022; 53, pp. 2281-2291. [DOI: https://dx.doi.org/10.1109/TSMC.2022.3211871]

21. Zhang, S.; Ma, L.; Yi, X. Model-free adaptive control for nonlinear multi-agent systems with encoding-decoding mechanism. IEEE Trans. Signal Inf. Process. Netw.; 2022; 8, pp. 489-498. [DOI: https://dx.doi.org/10.1109/TSIPN.2022.3174966]

22. Liang, J.; Bu, X.; Cui, L.; Hou, Z. Event-triggered asymmetric bipartite consensus tracking for nonlinear multi-agent systems based on model-free adaptive control. IEEE/CAA J. Autom. Sin.; 2022; 10, pp. 662-672. [DOI: https://dx.doi.org/10.1109/JAS.2022.106070]

23. Chen, R.Z.; Li, Y.X.; Hou, Z.S. Distributed model-free adaptive control for multi-agent systems with external disturbances and DoS attacks. Inf. Sci.; 2022; 613, pp. 309-323. [DOI: https://dx.doi.org/10.1016/j.ins.2022.09.035]

24. Ma, Y.S.; Che, W.W.; Deng, C.; Wu, Z.G. Distributed model-free adaptive control for learning nonlinear MASs under DoS attacks. IEEE Trans. Neural Netw. Learn. Syst.; 2021; 34, pp. 1146-1155. [DOI: https://dx.doi.org/10.1109/TNNLS.2021.3104978]

25. Zhao, H.; Peng, L.; Yu, H. Model-free adaptive consensus tracking control for unknown nonlinear multi-agent systems with sensor saturation. Int. J. Robust Nonlinear Control; 2021; 31, pp. 6473-6491. [DOI: https://dx.doi.org/10.1002/rnc.5630]

26. Liu, T.; Hou, Z. Model-free adaptive containment control for unknown multi-input multi-output nonlinear MASs with output saturation. IEEE Trans. Circuits Syst. I Regul. Pap.; 2023; 70, pp. 2156-2166. [DOI: https://dx.doi.org/10.1109/TCSI.2023.3242677]

27. Wang, Y.; Wang, Z. Distributed model free adaptive fault-tolerant consensus tracking control for multiagent systems with actuator faults. Inf. Sci.; 2024; 664, 120313. [DOI: https://dx.doi.org/10.1016/j.ins.2024.120313]

28. Chen, C.; Lewis, F.L.; Xie, K.; Lyu, Y.; Xie, S. Distributed output data-driven optimal robust synchronization of heterogeneous multi-agent systems. Automatica; 2023; 153, 111030. [DOI: https://dx.doi.org/10.1016/j.automatica.2023.111030]

29. Huang, J. The Cooperative Output Regulation Problem of Discrete-Time Linear Multi-Agent Systems by the Adaptive Distributed Observer. IEEE Trans. Autom. Control; 2017; 62, pp. 1979-1984. [DOI: https://dx.doi.org/10.1109/TAC.2016.2592802]

30. Li, H.; Wang, H.; Xu, Y.; Chen, J. Event-triggered model-free adaptive consensus tracking control for nonlinear multi-agent systems under switching topologies. Int. J. Robust Nonlinear Control; 2022; 32, pp. 8646-8669. [DOI: https://dx.doi.org/10.1002/rnc.6301]

31. Bu, X.; Guo, J.; Cui, L.; Hou, Z. Event-triggered model-free adaptive containment control for nonlinear multiagent systems under DoS attacks. IEEE Trans. Control Netw. Syst.; 2023; 11, pp. 1845-1857. [DOI: https://dx.doi.org/10.1109/TCNS.2023.3290071]

32. Li, F.; Hou, Z. Learning-based model-free adaptive control for nonlinear discrete-time networked control systems under hybrid cyber attacks. IEEE Trans. Cybern.; 2022; 54, pp. 1560-1570. [DOI: https://dx.doi.org/10.1109/TCYB.2022.3225203]

© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.