Abstract

This paper presents an adaptive fuzzy sliding-mode controller for multiple Euler–Lagrange systems communicated with directed topology. Based on the graph theory and Lyapunov–Krasovskii functions, a delay-dependent sufficient condition for the existence of sliding surfaces is given in terms of linear matrix inequalities. The asymptotic stability is analyzed by using the Lyapunov method in the presence of unknown parametric dynamics, actuator faults, and time-varying delays. The usage of adaptive techniques is to adapt the unknown parameters so that the objective of globally asymptotic stability is achieved. Finally, simulation results are provided to illustrate the effectiveness of the proposed control scheme.

1. Introduction

Cooperative control of multiagent systems has attracted much attention in recent years, such as consensus [14], formation [58], and flocking problems [912]. The solving of the consensus problem is an essential and interesting topic of cooperative multiagent research. Basically, the idea of consensus implies that a group of agents can reach an agreement on certain quantities of interest. In graph-based approaches, a directed or indirected graph is popularly applied to describe the communication topology of networked multiagent systems. In the last few years, several methods have been proposed to deal with the consensus problems of the multiagent systems [1317]. In [13], adaptive synchronization protocols for a heterogeneous multiagent network were investigated, where the interaction between agents is represented by a direct graph. In [14], the leaderless consensus problem over strict-feedback nonlinear multiagent systems with unknown model parameters and control directions was investigated. Also, a robust continuous-time optimization algorithm was presented for multiagent systems with guaranteed fixed-time convergence. Zhang al. presented a robust consensus tracking strategy for multiple unmanned underwater vehicles with switching topology [16]. In [17], the leader-following average consensus problem was addressed for linear multiagent systems.

Besides the first-order or second-order linear models, one important class of multiagent control systems is the so-called Euler–Lagrange systems, which generally describes the dynamic properties of robot manipulators, rigid body systems, and so on. In [18], the leader-following consensus problem was studied of multiple Euler–Lagrange (EL) systems subject to an uncertain leader. In [19], an adaptive sliding mode control technique was proposed for the EL systems with actuator faults and system uncertainties. In addition, a distributed optimal consensus strategy based on an event-triggered scheme for EL multiagent systems was investigated [20]. The model-free optimal consensus problem was addressed for networked Euler–Lagrange systems without velocity measurements [21]. Chen et al. proposed a robust adaptive finite-time tracking control scheme for Euler-Lagrange systems subject to nonparametric uncertainties, unknown disturbances, and input saturation [22]. In [23], a robust adaptive finite-time tracking control scheme was proposed for Euler–Lagrange systems subject to nonparametric uncertainties, unknown disturbances, and input saturation.

The sliding-mode method has been studied for nonlinear systems because of some attractive features, such as robustness to parameter variations and good transient performance. Recently, a sliding-mode controller has been developed to deal with nonlinearities and uncertainties for multiagent systems [2428]. In [24], the finite-time consensus tracking of multirobotic systems with disturbances was investigated via utilizing integral sliding mode control. In [25], an optimal sliding mode control approach was presented for the consensus of nonlinear discrete-time high-order multiagent systems. Jina et al. investigated the consensus control problem of Takagi–Sugeno fuzzy multiagent systems by using an observer-based distributed adaptive sliding mode control [26]. In addition, the event-triggered tracking control problem of second-order uncertain multiagent systems was addressed by utilizing the distributed sliding-mode control approach [27]. In [28], the consensus tracking problem of networked control systems with disturbances was discussed, where an integral sliding mode protocol was developed to achieve the consensus in a setting time. Recently, fuzzy sliding-mode control has attracted much attention, where the fuzzy mechanism is useful to decrease the chattering behaviors. In [29], an adaptive back-stepping fuzzy neural network controller using a fuzzy sliding mode controller was designed to suppress the harmonics of a shunt active power filter. In addition, a fuzzy sliding mode control method was proposed to improve the ability of magnetic levitation feed platform subject to external disturbance [30]. In [31], a fuzzy sliding-mode control was developed to deal with unmodeled dynamics and external disturbances in a human-exoskeleton system.

On the other hand, in multiagent systems, actuator failures generally result in poor system performance or even cause the instability. In [32], an adaptive fixed-time controller was designed for a class of uncertain nonstrict feedback multiagent systems subject to actuator faults and external disturbances. In [33], a robust consensus control strategy was addressed for nonlinear second-order multiagent systems against actuator faults and uncertainties. Dong et al. presented an augmented control system for a quadrotor unmanned aerial vehicle with parameter uncertainties, external disturbance, and the partial loss of actuator effectiveness [34]. In [35], a cooperative fault tolerant control was presented for linear leader-follower networks subject to actuator faults. Moreover, the fault-tolerant leader-following consensus problem was discussed for multiagent systems with input saturation and actuator faults [36]. In [37], the consensus problem was investigated for a class of nonaffine nonlinear multiagent systems with actuator faults of partial loss of effectiveness.

Because of the interactive communication in multiagent systems, the coupling delays between agents become more crucial due to practical considerations. In [38], the consensus problem of discrete-time linear multiagent systems was addressed with unbounded time-varying delays. In [39], the containment control problem of the double-integrator multiagent systems was investigated with time-varying communication delays. Tan et al. discussed the output feedback control problem for a class of nonlinear multiagent systems governed by the high-order strict-feedback model with time delays [40]. Also, the finite-time consensus of leader-following multiagent systems was addressed with multiple time delays over time-varying topology [41]. The leader-following consensus problem was discussed for discrete-time multiagent systems with time-varying delays [42]. In [43], the second-order multiagent networks with time-varying delays were investigated, where a sufficient condition was presented to make all agents asymptotically reach consensus using the linear matrix inequality theory.

In this paper, an adaptive fuzzy sliding-mode fault-tolerant controller (AFSFC) is presented for multiple Euler–Lagrange systems. Also, the parametric uncertainties, actuator faults, and time-varying communication delays are considered. The proposed control scheme is based on adaptive sliding-mode techniques combining with the fuzzy logic strategy. An adaptive algorithm is provided to estimate the unknown parametric vector. Moreover, by employing the Lyapunov–Krasovskii function and linear matrix inequalities (LMIs), a sufficient condition is established such that the resulting sliding-mode dynamics is stable. The main contributions of this paper are stated as follows: (1) an adaptive fuzzy sliding-mode controller is proposed for networked Euler–Lagrange systems with communication time-varying delays. The fuzzy sliding mode and adaptive controller are combined to deal with the parametric uncertainties. (2) For the multiagent systems, provided with controller parameters and communication topology, the maximum tolerated delay of all agents can be determined by using the Lyapunov–Krasovskii analysis and LMIs. (3) The proposed control scheme can be applied to a group of agents with a directed communication topology. The tracking errors are shown to be asymptotically convergent with a directed spanning tree of communication topology. (4) The unknown parametric dynamics and actuator faults can be estimated online using adaptive strategies. (5) The overall closed-loop stability can be preserved using Lyapunov stability analysis in both fault-free and faulty situations. Moreover, the allowable communication delays can be obtained and formulated as some LMIs.

This paper is organized as follows: in Section 2, the dynamic model of Euler–Lagrange systems is presented with the consideration of partial loss of effectiveness faults. The stability of the sliding motion of multiagent systems is investigated in Section 3. In Section 4, an adaptive fuzzy sliding-mode controller for multiagent systems with time-varying delays and actuator faults is discussed. In Section 5, the simulation results are provided for performance comparisons. Finally, the concluding remarks are given in Section 6.

2. Preliminaries

2.1. Fundamentals of Graph Theory

A directed graph consists of a vertex set and an edge set , where means that the ith node can receive information from the jth node. denotes the neighboring set of . The adjacent matrix , where , if , or , otherwise. The degree matrix , of a digraph is a diagonal matrix.

Lemma 1 (see [44]). The graph has a directed spanning tree if and only if there is at least one node with a directed path to all other nodes. If a graph has a spanning tree, then a right eigenvector associated with the zero eigenvalue is , i.e. .

Assumption 1. The graph has a directed spanning tree.

2.2. Dynamic Models of Multiagent Systems

This paper considers a group of n-agent Euler–Lagrange systems, which can be represented aswhere is the vector of joint positions, is the inertia matrix, is the Coriolis matrix, is the gravitational vector, is the vector of input torques, i = 1, 2, …, n. The actuator fault model considered can be described aswhere is the effectiveness factor, is an additive fault, 0 <  ≤ 1, and i = 1, 2, …, n. With fault model (2), the Euler–Lagrangian dynamics (1) of ith agent can be rewritten as follows:

Let be the lower bound of , , in which is an unknown positive constant. The actuators are fault-free when = 1 and , and ∈ (0, 1) corresponds to the cases with partial loss of effectiveness (PLOE) faults.

Property 1. The Euler–Lagrangian dynamics (1) is linearly parameterizable aswhere is the regression matrix and is a vector of unknown constant parameters.

Property 2. The matrix is skew symmetric.

Lemma 2 (see [45]). Given a positive definite matrix , the following inequality holds:where and are two matrices with proper dimensions.

Assumption 2. There exists a positive constant such that

Lemma 3 (see [46]). Let be a matrix with proper dimensions, . Then, the following equation holds,

3. Stability of Sliding Motion

For the time-delayed multiagent systems (1), a sliding-mode controller will be designed so that the corresponding sliding motion is asymptotically stable. The sliding surface for the ith agent is defined aswhere is a constant positive diagonal matrix, , i = 1, 2, …, n.

Assumption 3. The communication time-varying delay satisfies thatwhere and are positive constants.
In the following, the notations and stand for and , respectively, for simplicity. We denote . The sliding surface of multiagent systems is summarized aswhere , , and . When the sliding mode is achieved, (9) can be equivalently described asLet the error function between the 1st agent and other agents asMoreover, (11) can be rewritten as the following augmented form:where , , , andin which is the p-dimension identity matrix, and is the p-dimensional matrix with all zeros. Thus, (11) can be rewritten aswhereThe derivative of (12) along (10) and (13) is derived aswhere the notation stands for . According to Lemma 1, it is obtained aswhere .

Lemma 4 (See [47]). The matrix is Hurwitz if and only if the communication topology of the multiagent systems has a directed spanning tree.

Theorem 1. Suppose that the communication graph of a multiagent Euler–Lagrange system of (1) has a directed spanning tree. From Assumption 3, the error dynamics of (15) is asymptotically stable, if the following inequalities hold:where , , and are symmetric positive definite matrices of and .

Proof. The Lyapunov–Krasovskii function [48] is chosen asThe time derivative of along (15) is derived asIt is noted that . Then, from Lemma 2 and Assumption 3, it leads to the following inequality:Substituting (19) into (18), it results inwhere and . From Lemma 3, is negative if (16) holds. It implies that the error dynamics of (15) is asymptotically stable. This completes the proof.

Remark 1. It is noted that Theorem 1 proposed a delay-dependent sufficient condition of stability for the sliding surfaces (9) based on the LMIs (16). The error function (12) with time-varying communication delay will converge to zero as . Also, the allowable bound of time-varying delays can be obtained. Since it provides only sufficient conditions for stability, the results could be likely conservative.

4. Consensus Controller Design

4.1. Fault-Free Cases

Note that in the fault-free case, i.e., and , the torques acting on the dynamic system (1) are designed aswhere is the equivalent control action and is the switching controller. To obtain the equivalent control action , the state trajectory is desired to stay in the sliding surface, i.e., . From (7), it gives that . From (1), with the equivalent control action , the equivalent control action can be derived aswhere . We consider the unknown parameter vector of (4). Let the estimation of be defined aswhere is the estimation of . The adaptive law of is designated as follows:where is a constant positive definite matrix.

Let and be the input and output variables of a switching control system, respectively. Therefore, the switching system is represented by a single input-output fuzzy logic system. The fuzzy system is a collection of the fuzzy IF-THEN rules in the form ofwhere the and are the input and output fuzzy sets, , , r = 1, 2, …, p, respectively. The triangular input and singleton output membership functions are shown in Figure 1. By using the centroid defuzzification technique, the output of the fuzzy system iswhere is the value of the corresponding fuzzy output and is the firing strength of the antecedent membership function, and is a standard sign function. We rewrite (25) as the following augmented form:where and

Remark 2. Triangular and Gaussian membership functions are typical membership functions chosen for the process of fuzzy inference. In this paper, the reason of choosing triangular functions as the input membership functions is to reduce the computation complexity in the calculation of firing strengths in (25).

Theorem 2. We consider a multiagent Euler–Lagrange system of (1) with a directed spanning-tree communication graph. From (7), the state trajectories of (1) will be driven onto the sliding surface with the adaptive fuzzy sliding-mode controller (AFSC) (21), (22), (26), and the adaptive law (24).

Proof. Let the Lyapunov function be chosen asThe time derivative of V can be expressed asFrom Property 1, (29) can be rewritten asSubstituting (24) and (26) into (30), it yieldsTherefore, it implies that and that the system trajectory is enforced on the sliding surfaces. The proof is completed.

4.2. Fault Cases

In this section, we consider the controller design for multiagent systems with PLOE and unknown effectiveness fault, i.e., and . From (7), the dynamical system (3) can be rewritten as

For the multiagent systems of n agents, a faulty actuator of the ith agent can be described aswhere the auxiliary controller is provided to compensate the faulty influences.

The auxiliary controller can be expressed as

The adaptive algorithms of fault are given aswhere and are positive constants. To make the design concepts more concise and clearer, the overall adaptive fuzzy sliding-mode fault-tolerant controller (AFSFC) structure is shown in Figure 2.

Theorem 3. We consider a multiagent Euler–Lagrange system of (3) with a directed spanning-tree communication graph. From (7), the state trajectories of the system (32) will be driven onto the surface with the AFSFC (33), the auxiliary controller (34), and the adaptive laws (24), (35), (36).

Proof. Let the Lyapunov function be chosen aswhere , and . The time derivative of can be expressed asSubstituting (32) and (33) into (38), it yieldsFrom Assumption 2 and Theorem 2, the time derivative of V can be described asFrom (43), one haswhere
Substituting (41) into (40), it leads toFrom (24), (35) and (36), one has , , and . Therefore, (42) can be rewritten asTherefore, it implies that so that the system trajectory is enforced on the sliding surfaces. The proof is completed.

Remark 3. In summary, with the sliding-mode control, the switching control action (26) will drive the ith agent to the sliding surface . As the agents converge to the sliding surface, the equivalent controller (22) will ensure the agents stay on the sliding surface. Moreover, the existence of unknown parameters and actuator faults can be resolved by using the adaptive law (24) and auxiliary controller (34).

5. Simulation Results

The simulations are conducted for 2-DOF (degree of freedom) with six robot agents. The Euler–Lagrange model (1) is obtained as [49].where , , , , , , , in which , , , . The parameters of the multiagent system are set as , , , , , , , and .

The six-agent connected network is shown in Figure 3. Form Figures 3(a)3(f), the directed graph exists the spanning tree. According to Theorem 1, the agents of the proposed topology in Figure 3(a) are asymptotically stable using the AFSFC scheme with the delay bound (sec). The parameters of the AFSFC are set as , , , , , , , , and . The adaptive laws are set as , , , andwhere , , , , , , and

In this paper, the time delay is chosen as (sec) for simulations. The initial states of the six agents are set as , , , , , , and the initial velocities and acceleration are zeros. The following indices are considered for the combined formation errors, the integral absolute error (IAE), the integral time absolute error (ITAE), the integral square error (ISE), and the integral time square error (ITSE) [50].

Remark 4. The indices IAE, ITAE, ISE, and ITSE are considered for the performance comparisons. The IAE and ISE indicate the accumulated consensus error of agents, where the weights in the transient and steady-state stages are equal. On the other hand, ITAE and ITSE indicate the time-weighted consensus errors, and these two indices can be better used to highlight the performance superiority in the steady state.

5.1. Fault-Free Cases

The comparisons between the adaptive fuzzy sliding-mode controller (AFSC) and the proposed adaptive fuzzy sliding-mode fault-tolerant controller (AFSFC) are also given in Figs. 49. Figures 4 and 7 show the responses of multiagent systems with the ASC and proposed AFSC, respectively. Lines A1-A6 are the trajectories of agents 1–6, the symbol “o” is initial state positions, and the symbol “⋆” is final state positions. Figures 5 and 8 show the states and of multiagent systems with the ASC and proposed AFSC, respectively. Figures 6 and 9 show the control inputs and of multiagent systems with the AFSC and AFSFC, respectively. The position errors are summarized in Table 1. In this case, the AFSC and AFSFC method can support a certain degree of consistence in position responses.

5.2. Fault Cases

In this case, the effectiveness fault is present randomly in [0.01 0.5], and the additive faults are set to be , where is a random number uniformly distributed in . The comparisons between the AFSC and the proposed AFSFC are also given in Figs. 1015. Figures 10 and 13 show the response of multiagent systems with the ASC and proposed AFSC. Figures 11 and 14 show the states q1i and q2i of multiagent systems with the AFSC and AFSFC, respectively. All the agents can achieve consensus. The states and are more stable by the proposed AFSFC compared with the AFSC. Figures 12 and 15 show the control inputs and of multiagent systems with the AFSC and AFSFC, respectively. From Figures 12 and 15, the amplitude of the control inputs is smaller in the first few seconds with the proposed AFSFC. In summary, from Figures 1015, the performance of the proposed AFSFC is obviously better than the AFSC. Subsequently, the position errors are summarized in Table 2. It can be observed that the proposed AFSFC method extends the performance improvement from 7.07% to 86.84%.

Remark 5. From Figs. 6, 9, 12, and 15, it can be observed that greater inputs are required to deal with the problem of actuator faults. In practical applications, the control inputs should have prescribed limits. The consensus stability issues of multiagent agents with input constraints open a new theoretical problem, which cannot be solved at the current stage and needs to be investigated separately.

6. Conclusions

This paper has proposed an adaptive fuzzy sliding-mode fault-tolerant controller for Euler–Lagrange systems in the presence of unknown parametrics, actuator faults, and communication time-varying delays. In the design of the fuzzy sliding-mode fault-tolerant controller, a delay-dependent sufficient condition is derived, and the allowable bound of time delays can be obtained in the form of linear matrix inequalities. Based on the Lyapunov stability theory, the overall stability of the multiagent system is guaranteed such that the desired consensus of agents can be asymptotically attained. Simulation results indicate that the proposed control scheme has superior responses, compared to the AFSC method. Especially, the proposed AFSFC method provides significant improvement in the case of actuator faults. In practical applications, the control inputs should have prescribed limits. Thus, the systematic analysis and synthesis of input-constrained multiagent systems are an interesting topic in the future.

Data Availability

The data that support the findings of this study are available on request from the corresponding author.

Conflicts of Interest

The authors declare that they have no conflicts of interest.