Loading [MathJax]/extensions/MathMenu.js
Distributed Adaptive Cooperative Control With Fault Compensation Mechanism for Heterogeneous Multi-Robot System | IEEE Journals & Magazine | IEEE Xplore

Distributed Adaptive Cooperative Control With Fault Compensation Mechanism for Heterogeneous Multi-Robot System


The distributed leader-follower adaptive consensus algorithm.

Abstract:

In this paper, a distributed adaptive consensus law with fault compensation for a heterogeneous multi-robot system (MRS) is proposed. The design paradigm adopted in this ...Show More

Abstract:

In this paper, a distributed adaptive consensus law with fault compensation for a heterogeneous multi-robot system (MRS) is proposed. The design paradigm adopted in this work involves a leader-following cooperative algorithm featuring two distinct adaptive coupling gains to compensate for multiple additive time-varying faults. Exacerbating the situation, the follower robots commissioned in the leader-following mission are non-identical due to their dynamic characteristic as normally exist in a physical setup. The capability of the proposed scheme is investigated and compared with the other two recent works in two facets; one is to gauge how the algorithm is able to mitigate faults of varying nature in the presence of heterogeneous robot(s) while maintaining the platoon formation during the leader-following task; two is the ability to cope with subsequent topology reconfiguration. The stability and the robustness of the proposed scheme against bounded time-varying faults are proven using rigorous Lyapunov analysis. The proposed control strategy exempts the use of an observer or estimator, thereby simplifies the synthesis and implementation on mobile robots. The simulation results of the proposed adaptive consensus law demonstrate the best performance as compared to the other two recent works in the presence of multiple faulty robots.
The distributed leader-follower adaptive consensus algorithm.
Published in: IEEE Access ( Volume: 9)
Page(s): 128550 - 128563
Date of Publication: 13 September 2021
Electronic ISSN: 2169-3536

Funding Agency:


CCBY - IEEE is not the copyright holder of this material. Please follow the instructions via https://creativecommons.org/licenses/by/4.0/ to obtain full-text articles and stipulations in the API documentation.
SECTION I.

Introduction

In recent decades, there have been a plethora of research studies on the cooperative control of multi-agent systems (MASs) [1]–​[4]. The application of MASs has gained interest especially in multi-robot systems (MRSs) whereby a variety of automated applications such as surveillance, search and rescue, and exploration are notable examples. Without the loss of generality, the term MRS is referred in this paper to address a practical concern involving a platoon configured MASs which is not always dynamically homogeneous as illustrated in Fig. 1. These are deployed mostly in autonomous modes with a minimum of human supervision to travel autonomously in a strategic group formation or alignment in various geographic locations and under various terrain conditions. For agility and flexibility in carrying out a remote mission, each of the so-called agent robots is equipped with different on-board instrumentation, thereby exhibiting distinctive dynamics. Such heterogeneous characteristics pose a great challenge in controlling all the robots in a network to work cooperatively [5], [6]. When deploying a cooperative MRS autonomously, the mission time of the MRS is often governed by the finite energy reserve on board. This can be remedied by careful path planning in the mission field to reduce surplus travel. Such method requires terrain description, i.e., $a$ priori information, which often is unavailable.

FIGURE 1. - A platoon formation of heterogeneous multi-robot systems.
FIGURE 1.

A platoon formation of heterogeneous multi-robot systems.

It is imperative to preserve the integrity of the platoon formation of an MRS by ensuring that any faults occurrence can be effectively compensated. Faults in question can be either emanating from individual robot agent or it can be environmentally induced during the autonomous mission. According to Chen, a ‘fault’ is described as an unexpected change in the system’s operation [7].

Many effective fault-tolerant control methods (FTCs) have been extensively investigated for MRSs to guarantee system stability at an acceptable level. One possible solution for achieving MRS coordination in the presence of faulty robot(s) is to locally modify the control input of the faulty robot(s) [8]. In general, FTC solutions can be divided into two main categories: passive and active. A passive FTC refers to a control design that is robust to a fault occurrence without any modification of the control system, and this method is well-suited for low-dimensional scale application [9]. An active FTC, on the other hand, allows controller configuration for fault detection, estimation, compensation, and isolation [10].

For the active FTC solutions, many effective methods based on observer and estimator have been presented in the literature [2], [4], [10]–​[13]. However, the study of FTC for MRSs is relatively new [14]. For MRSs, the distributed FTC observer-based is designed for a leader-follower consensus problem with constant additive faults and multiplicative faults in [15] and [16], respectively. However, the solutions presented in that literature are generally subjected to two significant constraints as follows: (1) depending on the nature of the system dynamics in question, the observer design may require some states as inputs, and it is important to have a state measurement that is free from noise; (2) certain estimator designs may require a persistent excitation condition for convergence, which is not always achievable in practice. Recently, several published studies explored the application of neural network (NN) as estimator in the FTC. The NN has self-learning capability, which is able to estimate unknown components of the system including faults [3]. In [17], the NN is proposed to compensate faults for homogeneous MAS. Nevertheless, since NN, depending on the designer’s neural nodes choice, is computationally exhaustive, event-control is employed in conjunction with NN to reduce the computational burden [3], [18].

With an increase in the number of agents, the fault compensation becomes more challenging as more data are exchanged within the system [14]. In the absence of estimation, adaptive control is also an effective tool with proven application in the FTC for both linear and nonlinear single systems [19]. In a relatively large network of agents, it is possible to design an adaptive control by adjusting the coupling gain adaptively so that the system can counteract faults to fulfills the desired objective. In [20]–​[23], the robustness and convergence of an MAS are improved by selecting a sufficiently strong coupling gain. The work in [24] infers that strong coupling gain and a large number of agents imply synchronization robustness in the MAS against heterogeneity. In [25]–​[29], an extensive study on distributed adaptive consensus was presented with linear homogeneous MASs with and without considering faults. In [30], a distributed adaptive consensus law was designed for a heterogeneous MAS with scalar faults, which required all followers to know the leader dynamics to compute their control inputs. In [31], a robust adaptive consensus protocol was presented with the use of a threshold update protocol (TUP), in which exchanging information with neighbors is mandatory, thus limiting the capability of the proposed law to the undirected topology.

Motivated by the abovementioned studies, this paper proposes an adaptive consensus law for a linear heterogeneous MRS with time-varying faults, where the MRS can be regarded as a nontrivial nonlinear system. Two distinctive adaptive coupling gains approach is used to compensate for the fault existence without requiring any extra $a$ priori information about faults. This method exemplifies a robust approach that is pragmatic since observer or estimator design is not needed. A unidirectional communication approach is considered to ensure the practicality of the proposed solution through minimum power consumption in communication activity. Compared to the existing works in FTC methods, the proposed control method has several key contributions: (1) a new adaptive consensus control is designed for a cooperative heterogeneous MRS under the presence of multiple additive time-varying faults; (2) An adaptive consensus law is designed based on two distinct adaptive coupling gains, that rely only on the relative state information and the agent’s own dynamics, both of which are practically accessible; (3) the novel adaptive consensus law is designed using a Lyapunov analysis to compensate for the effects of the fault. In addition, not only the proposed scheme is robust against fault, the scheme is also evidently robust against changes in the inter-agent communication whereby deliberate re-configuration in communication was introduced between robots to testify its prowess. This paper is organized as follows. Section II summarizes the problem formulation and provides some basic notation of the vectors used in the rest of the paper. Section III introduces the distributed adaptive consensus with a fault-tolerant mechanism. Section IV shows the results of numerical simulations, and finally, Section V presents some conclusions and speculates on future works.

SECTION II.

Problem Formulation

Cooperative control of a platoon consisting of $N+1$ heterogeneous robots moving in a straight line on a flat or rough surface along an x-axis with a constant velocity is considered in this work. The MRS leader is indexed by 0, and the $N$ followers are indexed from 1 to $N$ . The control objective is to ensure that all MRS agents (robots) are moving at the same velocity as the leader while keeping a constant distance between one another to avoid collisions.

The MRS is said to have achieved the desired control objectives with the lead robot having constant velocity if for any given bounded initial states \begin{align*} \begin{cases} \lim \limits _{k\to \infty } \left \|{ {p_{xi} (k)-p_{x0} (k)} }\right \|=d_{xi0} \\ \lim \limits _{k\to \infty } \left \|{ {v_{xi} (k)-v_{x0} (k)} }\right \|=0 \\ \end{cases}\tag{1}\end{align*} View SourceRight-click on figure for MathML and additional features. where $d_{xi0} $ is a pre-specified distance vector on the x-axis between the followers and the leader that remains constant for all $i$ and $p_{xi} (k)$ and $v_{xi} (k)$ are the position and velocity along the x-axis, respectively, for $i=0,1,\ldots,N$ . The leader robot moves with constant velocity under the steady-state condition (i.e., $v_{x0} =1$ ).

A. Graph Theory

Suppose that the information links among the follower robots within the platoon are unidirectional and there exists at least one directional link from the leader to the followers. Consider a directed graph $\mathbb {G} $ = ($\mathcal {V}$ , ${\mathcal{ E}}$ ) with a non-empty set of nodes $\mathcal {V}=\{0,1,\ldots,N\}$ , a set of edges ${\mathcal{ E}}\subseteq \mathcal {V}\times \mathcal {V}$ , and the associated adjacency matrix $\mathcal {A}=[a_{ij}]\in \mathbb {R}^{N\times N}$ . An edge rooted at the i-th node and ended at the j-th node is denoted by (i, $j$ ), which means that information can flow from robot $i$ to robot $j$ . $a_{ij} $ is an unweighted edge (j, $i$ ) and $a_{ij} > 0$ if $(j,i)\in {\mathcal{ E}}$ . Robot $j$ is called a neighbor of robot $i$ if (j, $i)\in {\mathcal{ E}}$ . The in-degree matrix is defined as $\mathcal {D}=diag\{d_{ij} \}\in \mathbb {R}^{N\times N}$ with $d_{ij} =\sum \nolimits _{j=1}^{N} {a_{ij}} $ . The Laplacian matrix $L\in \mathbb {R}^{N\times N}$ of $\mathbb {G}$ is defined as $L = \mathcal {D} -\mathcal {A}$ . If the i-th follower observes the leader then an edge (0, $i$ ) between them is said to exist with the pinning gain $g_{i} > 0$ . We denote the pinning matrix as $G=diag\{g_{i} \}\in \mathbb {R}^{N\times N}$ , where $g_{i} $ is the pinning gain with $g_{i} > 0$ if and only if robot $i$ can receive information directly from the leader robot; otherwise, $g_{i} =0$ . It is assumed that at least one follower is connected to the leader. Denote ${\mathcal{ H}}=L + G$ , and all the eigenvalues of the matrix ${\mathcal{ H}}$ are denoted by $\lambda _{i} $ for $i=0,1,\ldots,N$ are real and positive [32], [33].

B. Distributed Heterogeneous MRS Model

Consider a group of $N+1$ heterogeneous MRS agents, consisting of $N$ followers and a leader that moves in a 2-D plane; the general dynamics of each robot in the platoon can be expressed as \begin{equation*} x_{i} (k+1)=A_{i} x_{i} (k)+B_{i} u_{i} (k)+f_{i} (k),\quad i=0,\ldots,N\tag{2}\end{equation*} View SourceRight-click on figure for MathML and additional features. where $x_{i} (k)\in \mathbb {R}^{n}$ is the state, $u_{i} (k)\in \mathbb {R}^{m}$ is the control input, and $f_{i} (k)\in \mathbb {R}^{n}$ is the signal indicating the occurrence of faults in the $i$ -th follower. This means that $f_{i} (k)\ne 0$ when node $i$ is subject to a fault at $k$ , and index $i\in \left \{{ {0,1,\ldots,N} }\right \}$ is the index of i-th robot in a network. We assume that the leader is fault-free. The introduced fault signal can be viewed as a system fault in the dynamics of (2), i.e., actuator faults which may be caused by physical effects or cyberattacks over the communication network [34]. Moreover, the system dynamics in (2) can be considered as those of a nonlinear system since the fault being introduced here is time-varying in nature.

To further elucidate the heterogeneity of the MRS system considered in this paper, without loss of generality, a particular basic structure of the dynamics of heterogeneous MRS agents is considered. Let position, $\begin{aligned} p_{i} (k)=\left[{{\begin{array}{cccccccccccccccccccc} {p_{xi}} & {p_{yi}} \\ \end{array}}}\right]^{\textrm {T}}\in \mathbb {R}^{2} \end{aligned}$ and velocity, $\begin{aligned} v_{i} (k)=\left[{{\begin{array}{cccccccccccccccccccc} {v_{xi}} & {v_{yi}} \\ \end{array}}}\right]^{\textrm {T}}\in \mathbb {R}^{2} \end{aligned}$ with $\begin{aligned} x_{i} =\left[{{\begin{array}{cccccccccccccccccccc} {p_{i}} & {v_{i}} \\ \end{array}}}\right]^{\textrm {T}} \end{aligned}$ ; then, the differential equation in (2) can also be written as a double integrator form whereby $\dot {p}_{i} =v_{i} $ and $m_{i} \dot {v}_{i} =-v_{i} +u_{i} $ , where $m_{i} $ represents the mass of the i-th robot. Let the system and input matrices $(A_{i},B_{i})$ be described as \begin{align*} A_{i}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-\raise 0.7ex\hbox {1} \!\mathord {\left /{ {\vphantom {1 {m_{i}}}}}\right. }\!\lower 0.7ex\hbox {${m_{i} }$}} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-\raise 0.7ex\hbox {1} \!\mathord {\left /{ {\vphantom {1 {m_{i} }}}}\right. }\!\lower 0.7ex\hbox {${m_{i}}$}} \\ \end{array}}} }\right]\\ B_{i}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0\\ 0& \quad 0 \\ {\raise 0.7ex\hbox {1} \!\mathord {\left /{ {\vphantom {1 {m_{i} }}}}\right. }\!\lower 0.7ex\hbox {${m_{i}}$}} &\quad 0\\ 0 &\quad {\raise 0.7ex\hbox {1} \!\mathord {\left /{ {\vphantom {1 {m_{i} }}}}\right. }\!\lower 0.7ex\hbox {${m_{i}}$}} \end{array}}} }\right]\tag{3}\end{align*} View SourceRight-click on figure for MathML and additional features.

The heterogeneity introduced in the $i$ -th agent is different compared to the work in [34] because each robot in the network may exhibit different masses due to the variety of mobile platforms deployed in an autonomous mission. The inertial time lag in the differential acceleration or jerk in [30] may not be suitable for the smaller rigid body dynamics of the mobile robot exemplified in this paper.

Even though the considered MRS system is specific, the main concept of this paper is applicable to other types of MAS systems or other cooperative control problems since the proposed adaptive law is only dependent on neighbors and their local information, i.e., the agents’ own dynamics and relative state information.

C. Fault Model

Any type of fault at any level of magnitude may immediately or gradually degrade the overall MRS performance, which leads to instability and eventually collision among the members within the platoon. Therefore, fault compensation should be investigated in designing a practical consensus law. In a case where a fault with “high” severity occurred among the MRS agent and reaches a magnitude beyond the acceptable threshold, the mission is suspended if there is no change to the current robot coordination setting. Nevertheless, to ensure that the mission can continue and complete the objective, isolation of the faulty robot within the MRS and reconfiguration of the robot’s coordination setting may be required, which leads to alteration of the current communication topology.

In this paper, the considered additive fault is represented by a sudden unintended acceleration or deacceleration of a robot, which often can be due to mechanical, electronic, or software-related problems. Furthermore, the fault could transpire momentarily or continuously as represented by

Intermittent fault at time $k $ = true if at the steady-state $v_{xi} \ne v_{x0} $ and $v_{xi} < \bar {v}_{xi} $ ,

Permanent fault at time $k $ = true if at the steady-state, $v_{xi} \ne v_{x0} $ and $v_{xi} \ge \bar {v}_{xi} $

where $\bar {v}_{xi} $ is the isolation threshold. Each robot will observe its control input once per control step since the first consensus convergence is achieved during the mission. To ensure a stable, reliable, and robust MRS, an accurate measurement of the maximum allowable or tolerated fault magnitude should be quantified before the fault isolation and reconfiguration can be designed.

The main objective of the proposed consensus adaptive law is to minimize the fault strength produced by any follower robot(s) in the MRS. The magnitude of the adaptive parameters in the consensus law increases or decreases to reduce the fault magnitude at every step. In the proposed consensus law, two distinct adaptive coupling gains are employed to provide better consensus convergence for the MRS. For a continuous or permanent fault signal, the isolation threshold could be initially specified, which leads to exclusion of the faulty robot(s) and reconfiguration of the MRS coordination setting for the remaining healthy and semi-healthy robots to continue and complete the assigned mission. The semi-healthy robot is the robot with a fault magnitude below the isolation threshold value within a particular interval.

The communication graph $\mathbb {G}$ among the $N+1$ agents is assumed to satisfy the following assumptions.

Assumption 1:

The graph $\mathbb {G}$ contains a directed spanning tree with the leader as the root node. The graph $\mathbb {G}$ is connected and there exists at least one path from the leader to the follower.

The stated assumption here is to highlight that a directed tree communication graph is assumed [32], [33]. A platoon of heterogeneous robots is aligned in a queue form as illustrated in Fig. 1.

Assumption 2:

The pairs $(A_{i},B_{i})$ are controllable and stabilizable, for $i=0,1,\ldots,N$ .

This assumption is necessary for the state feedback control design and sufficient for the existence of a positive definite matrix, $P$ .

Assumption 3:

The desired trajectory is the Lipschitz condition and bounded, which exists a positive real constant $\kappa $ such that, for all real $x_{1} $ and $x_{2} $ , \begin{equation*} \left |{ {f(x_{2})-f(x_{1})} }\right |\le \kappa \left |{ {x_{2} -x_{1}} }\right |\end{equation*} View SourceRight-click on figure for MathML and additional features.

This assumption is required to ensure that the trajectory for all robots is continuously differentiable for (4) to function [35].

Assumption 4:

The additive fault term $f_{i} (k)$ is bounded such that $\left \|{ {f_{i} (k)} }\right \|_{\infty } < f_{m} $ , for $i=1,\ldots,N$ where $f_{m} $ is a known positive constant.

Lemma 1 ([36]–​[40]):

Under Assumption 1, the matrix $L+G$ is symmetric and positive definite.

Lemma 2 ([28],[41]):

If $a$ and $b$ are nonnegative real numbers and $p$ and $q$ are positive real numbers such that $1 \mathord {\left /{ {\vphantom {1 p}} }\right. } p+1 \mathord {\left /{ {\vphantom {1 q}} }\right. } q=1$ , then $ab\le {a^{p}} \mathord {\left /{ {\vphantom {{a^{p}} p}} }\right. } p+{b^{q}} \mathord {\left /{ {\vphantom {{b^{q}} q}} }\right. } q$ , and the equality holds if and only if $a^{p}=b^{q}$ .

Lemma 3[42]:

The Cauchy-Schwartz inequality states that the absolute value of the vector dot product is always less than or equal to the product of the vector norms $\left |{ {a^{\textrm {T}}b} }\right |\le \left \|{ a }\right \|\left \|{ b }\right \|$ .

SECTION III.

Distributed Adaptive Consensus Design

The proposed control objective is to ensure that all follower robots maintain the same velocity as the leader while keeping a constant distance to avoid collision during and after the unexpected fault occurrence at any follower robot. Fig. 2 illustrates the framework of the proposed adaptive scheme.

FIGURE 2. - The distributed leader-follower adaptive consensus algorithm.
FIGURE 2.

The distributed leader-follower adaptive consensus algorithm.

Taking the relative states of neighboring agents, the cooperative control objectives of the heterogeneous MRS in (2) and (3) are achieved when the following adaptive control law is applied to the i-th follower robot for all $i$ .\begin{align*} u_{i}=&\beta _{i} B_{i}^{\textrm {T}}x_{i} +\left ({{c_{i} +w_{i}} }\right)K_{i} \sum \nolimits _{j=0}^{N} {a_{ij} \left ({{\left ({{x_{i} -d_{i}} }\right)-\left ({{x_{j} -d_{j}} }\right)} }\right)} \\ \dot {c}_{i}=&-\varphi _{i} \left ({{c_{i} -1} }\right)^{2} \\&+\sum \nolimits _{j=1,i\ne j}^{N} \left [{ a_{ij} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)^{\textrm {T}}+g_{i} \xi _{i}^{\textrm {T}}} }\right)}\right. \\&\times \left.{\Gamma _{i} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)+g_{i} \xi _{i}} }\right) \vphantom {\left [{ a_{ij} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)^{\textrm {T}}+g_{i} \xi _{i}^{\textrm {T}}} }\right)}\right.}}\right] \\ \dot {\beta }_{i}=&rx_{i}^{\textrm {T}}B_{i} K_{i} \sum \nolimits _{j=1,i\ne j}^{N} {\left [{ {a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)+g_{i} \xi _{i}} }\right]}\tag{4}\end{align*} View SourceRight-click on figure for MathML and additional features.

Let the consensus error $\xi _{i} =x_{i} -x_{0} -d_{i} $ for $i=1,\ldots,N$ , where $\begin{aligned} d_{i} =\left[{{\begin{array}{cccccccccccccccccccc} {d_{xi0}} & {d_{yi0}} & 0 & 0 \\ \end{array}}}\right]^{\textrm {T}} \end{aligned}$ indicates the desired static formation vector, $c_{i} $ and $\beta _{i} $ denotes the adaptive coupling gains associated with $c_{i} (0),\beta _{i} (0)\ge 1$ , $K_{i} $ and $\Gamma _{i} $ are the feedback gain matrices, $w_{i} $ is the smooth function and $r$ is a small positive constant that needs to be determined later. The control law at agent $i$ is calculated using the most recently received states for the position and velocity of itself and its neighbors. Two distinct adaptive gains are employed in control input, $u_{i} $ to further improve the consensus convergence and tracking. This protocol aims to ensure all robots reach consensus in position and velocity and that $p_{xi} \to p_{x0} +d_{x_{i0}},p_{yi} \to p_{y0} +d_{y_{i0}},v_{xi} \to v_{x0} $ , and $v_{yi} \to v_{y0} $ .

The closed-loop dynamics of the heterogeneous MRS can be obtained by substituting (4) into (2) as follows:\begin{align*}&\hspace {-.5pc} \dot {x}_{i} =\left ({{A_{i} +\beta _{i} B_{i} B_{i}^{\textrm {T}}} }\right)x_{i} \\&\qquad \qquad \quad +\left ({{c_{i} +w_{i}} }\right)B_{i} K_{i} \sum \nolimits _{j=0}^{N} {a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)} +f_{i}\tag{5}\end{align*} View SourceRight-click on figure for MathML and additional features.

Based on (5), the closed-loop consensus error dynamics, $\dot {\xi }_{i} $ can be expressed as \begin{align*}&\hspace {-.5pc} \dot {\xi }_{i} =A_{i} \xi _{i} +\beta _{i} B_{i} B_{i}^{\textrm {T}}x_{i} +\left ({{c_{i} +w_{i}} }\right)B_{i} K_{i} \big[\sum \nolimits _{j=1}^{N} {a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)} \\&\qquad \qquad +g_{i} \left ({{\xi _{i} -\xi _{0}} }\right)\big]+f_{i} +(A_{i} -A_{0})x_{0} -B_{0} u_{0}\tag{6}\end{align*} View SourceRight-click on figure for MathML and additional features. where $\begin{aligned} \dot {d}_{i} =\left[{{\begin{array}{cccccccccccccccccccc} 0 & 0 & 0 & 0 \\ \end{array}}}\right]^{\textrm {T}} \end{aligned}$ and $A_{i} d_{i} =0$ , which yields the network-based error dynamics \begin{align*}&\hspace {-.5pc}\dot {\xi }=\bar {A}\xi +\left ({{\bar {c}+\bar {w}} }\right)\bar {B}\bar {K}\left ({{L+G} }\right)\xi +\bar {\beta }\bar {B}\bar {B}^{\textrm {T}}x+\bar {f} \\&\qquad +\left ({{\bar {A}-I_{N} \otimes A_{0}} }\right)\left ({{1\otimes x_{0}} }\right)-\left ({{I_{N} \otimes B_{0}} }\right)\left ({{1\otimes u_{0}} }\right)\tag{7}\end{align*} View SourceRight-click on figure for MathML and additional features. where $\bar {A}\triangleq diag(A_{1},\ldots,A_{N})$ , $\bar {B}\triangleq diag(B_{1},\ldots,B_{N})$ , $\bar {K}\triangleq diag(K_{1},\ldots,K_{N})$ , $\begin{aligned} \bar {f}=\left[{{\begin{array}{cccccccccccccccccccc} {f_{1}} & {f_{2}} & {\ldots } & {f_{N}} \\ \end{array}}}\right]^{\textrm {T}} \end{aligned}$ , $\bar {c}\triangleq diag(c_{1},\ldots,c_{N})$ , $\bar {w}\triangleq diag(w_{1},\ldots,w_{N})$ , and $\bar {\beta }\triangleq diag(\beta _{1},\ldots,\beta _{N})$ .

Remark 1:

Note that the consensus law is based solely on the dynamics of the agent itself and the information of the neighboring agent. The formulation of agent consensus law, $u_{i} $ is inspired by the adaptive strategy in [28] and [30]. In comparison to the adaptive law in [28] and [30], the novel adaptive law has two distinct features. First, unlike the adaptive protocol in [28], which employs a single term and an adaptive coupling gain, the adaptive protocol in (4) introduces two terms and two distinct adaptive coupling gains, $c_{i} $ and $\beta _{i} $ . As a consequence, the errors in the synchronization and control input are effectively suppressed, thus improving the convergence. Second, contrary to the adaptive protocol in [30], which is dependent on the leader’s dynamics and uses a combination of constant and adaptive gains in two separate terms to further attenuate the heterogeneity of the agents, the proposed adaptive strategy (4) introduces a law that is independent of the leader’s dynamics and has two distinct adaptive gains in two separate terms, allowing the MRS to be robust against time-varying and “high” severity faults while also improving the execution characteristics of the distributed MRS.

The following theorem presents a result on the design of the robust adaptive consensus law.

Theorem 1:

For $a$ graph satisfying Assumption 1, the $N$ robots in (2) and (3) for $i=1,\ldots,N$ reach consensus under $a$ leader-follower based protocol (4) with two distinct adaptive gains, $c_{i} $ and $\beta _{i}$ , and gain matrices, $K_{i} =-B_{i}^{\textrm {T}}P_{i} $ and $\Gamma _{i} =P_{i} B_{i} B_{i}^{\textrm {T}}P_{i} $ , $w_{i} =\xi _{i}^{\textrm {T}}P_{i} \xi _{i} $ where $P_{i} > 0$ is $a$ symmetric matrix, which is $a$ solution to the algebraic Riccati equation (ARE), \begin{equation*} \bar {A}\bar {P}+\bar {P}\bar {A}^{\textrm {T}}-2\bar {B}\bar {B}^{\textrm {T}} < -\bar {Q}\tag{8}\end{equation*} View SourceRight-click on figure for MathML and additional features. where $\bar {P}\triangleq diag(P_{1},\ldots,P_{N}),\bar {Q}\triangleq diag(Q_{1},\ldots,Q_{N})$ , and $Q_{i} $ is $a$ symmetric positive definite matrix and the coupling gains, $c_{i} $ and $\beta _{i} $ converges to finite values for $k\to \infty $ .

Proof:

Consider the following Lyapunov function \begin{equation*} V=\sum \nolimits _{i=1}^{N} {\xi _{i}^{\textrm {T}}P_{i}} \xi _{i} +\left ({{c_{i} -\gamma _{i1}} }\right)^{2}+\left ({{\beta _{i} -\gamma _{i2}} }\right)^{2}\tag{9}\end{equation*} View SourceRight-click on figure for MathML and additional features. where $\gamma _{i1} $ and $\gamma _{i2} $ are positive scalars to be determined later. From (9), since $P_{i} > 0$ , it can be seen that $V$ is positive definite with respect to $\xi _{i} $ , $c_{i} $ , and $\beta _{i} $ for $i=1,2,\ldots,N$ . The time derivative of $V$ along the trajectory of (6) can be obtained as \begin{align*} \dot {V}=&2\sum \nolimits _{i=1}^{N} {\xi _{i}^{\textrm {T}}P_{i}} \big[A_{i} \xi _{i} +\beta _{i} B_{i} B_{i}^{\textrm {T}}x_{i} \\&+\left ({{c_{i} +w_{i}} }\right)B_{i} K_{i} \sum \nolimits _{j=1,i\ne j}^{N} {\left[a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right) +g_{i} \xi _{i}\right]}+f_{i} \\&+(A_{i} -A_{0})x_{0} -B_{0} u_{0}\big] \\&+2\sum \nolimits _{i=1}^{N} {\left ({{c_{i} -\gamma _{i1}} }\right)\dot {c}_{i} } +2\sum \nolimits _{i=1}^{N} {\left ({{\beta _{i} -\gamma _{i2}} }\right)\dot {\beta }_{i}}\tag{10}\end{align*} View SourceRight-click on figure for MathML and additional features.

By substituting $K_{i} =-B_{i}^{\textrm {T}}P_{i} $ , with the adaptive law, $\dot {c}_{i} $ and $\dot {\beta }_{i} $ defined in (4), it is obvious to arrive at the following:\begin{align*}&\hspace {-1pc} \dot {V} \\=&2\sum \nolimits _{i=1}^{N} [{\xi _{i}^{\textrm {T}}P_{i} A_{i} \xi _{i}} +\beta _{i} \xi _{i}^{\textrm {T}}P_{i} B_{i} B_{i} ^{\textrm {T}}x_{i} \\&-\left ({{c_{i} +w_{i}} }\right)\xi _{i}^{\textrm {T}}P_{i} B_{i} B_{i} ^{\textrm {T}}P_{i} \left[{\sum \nolimits _{j=1,i\ne j}^{N} {a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)} +g_{i} \xi _{i} }\right] \\&+\xi _{i}^{\textrm {T}}P_{i} f_{i} +\xi _{i}^{\textrm {T}}P_{i} (A_{i} -A_{0})x_{0} -\xi _{i}^{\textrm {T}}P_{i} B_{0} u_{0}] \\&+2\sum \nolimits _{j=1,i\ne j}^{N} {\sum \nolimits _{i=1}^{N} [{-\varphi _{i} \left ({{c_{i} -\gamma _{i1}} }\right)\left ({{c_{i} -1} }\right)^{2}}} \\&+\left ({{c_{i} -\gamma _{i1}} }\right)[a_{ij} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)^{\textrm {T}}\!+\!g_{i} \xi _{i}^{\textrm {T}}} }\right)\Gamma _{i} \left ({{\left ({{\xi _{i} \!-\!\xi _{j}} }\right)+g_{i} \xi _{i}} }\right)]] \\&+2\sum \nolimits _{i=1}^{N} {\left ({{\beta _{i} -\gamma _{i2}} }\right)} [-rx_{i}^{\textrm {T}}B_{i} B_{i}^{\textrm {T}}P_{i} \\&\times \sum \nolimits _{j=1,i\ne j}^{N} [{a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)+g_{i}} \xi _{i}]]\tag{11}\end{align*} View SourceRight-click on figure for MathML and additional features.

Define $\Gamma _{i} =P_{i} B_{i} B_{i}^{\textrm {T}}P_{i} $ ; then, it follows from (11) that \begin{align*} \dot {V}=&\sum \nolimits _{j=1,i\ne j}^{N} {\sum \nolimits _{i=1}^{N} {[2\xi _{i} ^{\textrm {T}}P_{i} A_{i} \xi _{i} +2\beta _{i} \xi _{i}^{\textrm {T}}P_{i} B_{i} B_{i}^{\textrm {T}}x_{i}}} \\&-2\left ({{c_{i} +w_{i}} }\right)\xi _{i}^{\textrm {T}}\Gamma _{i} [a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)+g_{i} \xi _{i}] \\&+2\xi _{i}^{\textrm {T}}P_{i} f_{i} +2\xi _{i}^{\textrm {T}}P_{i} (A_{i} -A_{0})x_{0} -2\xi _{i}^{\textrm {T}}P_{i} B_{0} u_{0} \\&-2\varphi _{i} \left ({{c_{i} -\gamma _{i1}} }\right)\left ({{c_{i} -1} }\right)^{2} \\&+2\left ({{c_{i} -\gamma _{i1}} }\right)[a_{ij} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)^{\textrm {T}}+g_{i} \xi _{i}^{\textrm {T}}} }\right) \\&\Gamma _{i} \left ({{\left ({{\xi _{i} -\xi _{j}} }\right)+g_{i} \xi _{i}} }\right)] -2r\left ({{\beta _{i} -\gamma _{i2}} }\right)x_{i}^{\textrm {T}}B_{i} B_{i} ^{\textrm {T}} \\&\times P_{i} [a_{ij} \left ({{\xi _{i} -\xi _{j}} }\right)+g_{i} \xi _{i}]]\tag{12}\end{align*} View SourceRight-click on figure for MathML and additional features.

Let $\bar {\Gamma }=\bar {P}\bar {B}\bar {B}^{\textrm {T}}\bar {P}$ where $\bar {\Gamma }\triangleq diag(\Gamma _{1},\ldots,\Gamma _{N})$ for $i=1,\ldots,N$ . Then, (12) can be rewritten into a compact form as follows \begin{align*} \dot {V}=&2\xi ^{\textrm {T}}\bar {P}\bar {A}\xi +2\xi ^{\textrm {T}}\bar {\beta }\bar {P}\bar {B}\bar {B}^{T}x \\&-2\xi ^{T}\left ({{\bar {c}+\bar {w}} }\right)\bar {\Gamma }(L+G)\xi \\&+\sum \nolimits _{i=1}^{N} {[2\xi _{i}^{\textrm {T}}P_{i} f_{i} +2\xi _{i} ^{\textrm {T}}P_{i} (A_{i} -A_{0})x_{0} -2\xi _{i}^{\textrm {T}}P_{i} B_{0} u_{0}} \\&-2\varphi _{i} \left ({{c_{i} -\gamma _{i1}} }\right)\left ({{c_{i} -1} }\right)^{2}] \\&+2\xi ^{\textrm {T}}\left ({{\bar {c}-\gamma _{1}} }\right)\bar {\Gamma }\left ({{L+G} }\right)^{2}\xi \\&-2rx^{\textrm {T}}\left ({{\bar {\beta }-\gamma _{2}} }\right)\bar {B}\bar {B}^{\textrm {T}}\bar {P}\left ({{L+G} }\right)\xi\tag{13}\end{align*} View SourceRight-click on figure for MathML and additional features. where $\bar {c}=diag(c_{1},c_{i},\ldots,c_{N})\in \mathbb {R}^{N\times N}$ , $\bar {w}=diag(w_{1},w_{i},\ldots,w_{N})\in \mathbb {R}^{N\times N}$ , $\gamma _{1}\triangleq diag(\gamma _{11},\ldots,\gamma _{N1})\in \mathbb {R}^{N\times N}$ , $\gamma _{2} \triangleq diag(\gamma _{12},\ldots,\gamma _{N2})\in \mathbb {R}^{N\times N}$ , $\bar {\beta }=diag(\beta _{1},\beta _{i},\ldots,\beta _{N})\in \mathbb {R}^{N\times N}$ , and $r$ are the positive scalars.

Invoking Lemma 1, $(L+G) > 0$ and taking the upper bound of the solution to ARE in (8) with careful selection of $\gamma _{1} $ such that $0 < \left \|{ {\left ({{\bar {c}+\bar {w}} }\right)(L+G)+\left ({{\bar {c}-\gamma _{1}} }\right)\left ({{L+G} }\right)^{2}} }\right \| < 1$ , with $\bar {w}=diag(w_{1},w_{i},\ldots,w_{N})\in \mathbb {R}^{N\times N}$ , in particular, \begin{align*}&\hspace {-.5pc} \bar {A}\bar {P}+\bar {P}\bar {A}^{\textrm {T}}-2\left ({{\left ({{\bar {c}+\bar {w}} }\right)(L+G)+\left ({{\bar {c}-\gamma _{1}} }\right)\left ({{L+G} }\right)^{2}} }\right)\bar {B}\bar {B}^{\textrm {T}} \\&\qquad \qquad \qquad \quad \le \bar {A}\bar {P}+\bar {P}\bar {A}^{\textrm {T}}-2\bar {B}\bar {B}^{\textrm {T}} < -\bar {Q} < 0\tag{14}\end{align*} View SourceRight-click on figure for MathML and additional features. holds, then, \begin{align*} \dot {V}\le&-\xi ^{\textrm {T}}\bar {Q}\xi +2\xi ^{\textrm {T}}\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}x \\&+\sum \nolimits _{i=1}^{N} {[2\xi _{i}^{\textrm {T}}P_{i} f_{i} +2\xi _{i} ^{\textrm {T}}P_{i} \left ({{A_{i} -A_{0}} }\right)x_{0} -2\xi _{i} ^{\textrm {T}}P_{i} B_{0} u_{0}} \\&-2\varphi _{i} \left ({{c_{i} -\gamma _{i1}} }\right)\left ({{c_{i} -1} }\right)^{2}] \\&-2rx^{\textrm {T}}\left ({{\bar {\beta }-\gamma _{2}} }\right)\bar {B}\bar {B}^{\textrm {T}}\bar {P}\left ({{L+G} }\right)\xi\tag{15}\end{align*} View SourceRight-click on figure for MathML and additional features.

Taking the triangular inequality as in Lemma 3, yields the following upper bound for (15), \begin{align*} \dot {V}\le&-\xi ^{\textrm {T}}\bar {Q}\xi +2\xi ^{\textrm {T}}\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}x+2\xi ^{\textrm {T}}\bar {P}(\bar {A}-I_{N} \otimes A_{0})\left ({{1\otimes x_{0} } }\right) \\&-2\xi ^{\textrm {T}}\bar {P}(I_{N} \otimes B_{0})\left ({{1\otimes u_{0}} }\right) \\&-2\textrm {tr}\left ({{\varphi \left ({{\bar {c}-\gamma _{1}} }\right)\left ({{\bar {c}-I_{N}} }\right)^{\textrm {T}}\left ({{\bar {c}-I_{N}} }\right)} }\right) \\&+2\xi ^{\textrm {T}}\bar {P}\bar {f}-2rx^{\textrm {T}}\left ({{\bar {\beta }-\gamma _{2}} }\right)\bar {B}\bar {B}^{\textrm {T}}\bar {P}\left ({{L+G} }\right)\xi\tag{16}\end{align*} View SourceRight-click on figure for MathML and additional features. where $tr(\bullet)$ is the trace operation of a matrix and $\varphi \triangleq diag(\varphi _{1},\ldots,\varphi _{N})\in \mathbb {R}^{N\times N}$ . Then, proceeding from (16), \begin{align*} \dot {V}\le&-\xi ^{\textrm {T}}\bar {Q}\xi -2\left \|{ {\varphi \left ({{\bar {c}-\gamma _{1}} }\right)\left ({{\bar {c}-I_{N}} }\right)^{\textrm {T}}\left ({{\bar {c}-I_{N}} }\right)} }\right \|_{F} \\&+2\left \|{ \xi }\right \|\left \|{ {\bar {P}\bar {A}-I_{N} \otimes A_{0}} }\right \|\left \|{ {1\otimes x_{0}} }\right \| \\&-2\left \|{ \xi }\right \|\left \|{ {\bar {P}I_{N} \otimes B_{0}} }\right \|\left \|{ {1\otimes u_{0}} }\right \|+2\left \|{ \xi }\right \|\left \|{ {\bar {P}\bar {f}} }\right \| \\&+2\left \|{ \xi }\right \|\left [{ {\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}\!-\!r\left ({{\bar {\beta }\!-\!\gamma _{2}} }\right)\bar {B}\bar {B}^{\textrm {T}}\bar {P}\left ({{L+G} }\right)} }\right]\left \|{ x }\right \|\tag{17}\end{align*} View SourceRight-click on figure for MathML and additional features. where $\left \|{ \bullet }\right \|_{F} $ indicates the Frobenius norm. Further applying the triangular inequality to (17) yields, \begin{align*} \dot {V}\le&-\xi ^{T}\bar {Q}\xi -2\left \|{ \varphi }\right \|_{F} \left \|{ {\bar {c}-\gamma _{1}} }\right \|_{F} \left \|{ {\bar {c}-I_{N}} }\right \|_{F}^{2} \\&+2\left \|{ \xi }\right \|\left \|{ {\bar {P}\bar {A}-I_{N} \otimes A_{0}} }\right \|\left \|{ {1\otimes x_{0}} }\right \| \\&-2\left \|{ \xi }\right \|\left \|{ {\bar {P}I_{N} \otimes B_{0}} }\right \|\left \|{ {1\otimes u_{0}} }\right \| +2\left \|{ \xi }\right \|\left \|{ {\bar {P}\bar {f}} }\right \| \\&+2\left \|{ \xi }\right \|\left [{ {\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}\left ({{I_{N} -r(L+G)(I_{N} -\gamma _{2} \bar {\beta }^{-1})} }\right)} }\right]\left \|{ x }\right \| \\\tag{18}\end{align*} View SourceRight-click on figure for MathML and additional features.

Completing the square of the term in (18) further concludes the upper bounds \begin{align*} \dot {V}\le&-\lambda _{\min } \left ({{\bar {Q}} }\right)\left \|{ \xi }\right \|^{2}-2\lambda _{\min } (\varphi)\left \|{ {\bar {c}-\gamma _{1}} }\right \|_{F} \left \|{ {\bar {c}-I_{N}} }\right \|_{F}^{2} +\breve {F} \\&+2\left \|{ \xi }\right \|^{2}+\left \|{ {\bar {P}\bar {A}-I_{N} \otimes A_{0}} }\right \|^{2}\left \|{ {1\otimes x_{0}} }\right \|^{2} \\&+\left \|{ {\bar {P}I_{N} \otimes B_{0}} }\right \|^{2}\left \|{ {1\otimes u_{0} } }\right \|^{2} \\&+2\left \|{ \xi }\right \|\left [{ {\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}\left ({{I_{N} -r(L+G)(I_{N} -\gamma _{2} \bar {\beta }^{-1})} }\right)} }\right]\left \|{ x }\right \| \\\tag{19}\end{align*} View SourceRight-click on figure for MathML and additional features. where $\lambda _{\min } =\left ({\bullet }\right)$ represents the minimum singular values of the matrix in question and $\breve {F}=2\left \|{ \xi }\right \|\left \|{ {\bar {P}\bar {f}} }\right \|$ represents the faults occurring within the network. Let $\Pi _{0} =\left \|{ {\bar {P}\bar {A}-I_{N} \otimes A_{0}} }\right \|^{2}\left \|{ {1\otimes x_{0}} }\right \|^{2}+\left \|{ {\bar {P}I_{N} \otimes B_{0}} }\right \|^{2}\left \|{ {1\otimes u_{0}} }\right \|^{2}$

From (17), $r$ is chosen such that the following equation holds $r\left ({{L+G} }\right)\ge \left ({{I_{N} \otimes 1} }\right)$ . Eventually, \begin{align*}&\hspace {-.5pc} \dot {V}\le -\lambda _{\min } \left ({{\bar {Q}} }\right)\left \|{ \xi }\right \|^{2}+2\left \|{ \xi }\right \|^{2}-2\lambda _{\min } (\varphi)\left \|{ \bar {c}}\right. \\&\qquad \qquad \qquad \quad \left.{-\gamma _{1} }\right \|_{F} \left \|{ {\bar {c}-I_{N}} }\right \|_{F}^{2} -R+\breve {F}+\Pi _{0}\tag{20}\end{align*} View SourceRight-click on figure for MathML and additional features. where $R=2\left \|{ \xi }\right \|\left [{ {\bar {\beta }\bar {P}\bar {B}\bar {B}^{\textrm {T}}\left ({{r(L+G)(I_{N} -\gamma _{2} \bar {\beta }^{-1})-I_{N}} }\right)} }\right] \left \|{ x }\right \|$ .

To guarantee the consensus convergence, it is important to have $\lambda _{\min } (\bar {Q}) > 2$ (Please see Remark 2). By choosing $\gamma _{2} $ such that $R\ge \Pi _{0} +\breve {F}$ , we can obtain that $\dot {V}\le 0$ , and thus $V$ is bounded. From (20), according to LaSalle’s Invariance principle [35], it follows that the consensus error $\xi $ asymptotically converges to zero within the compact set of which the size of the invariance depends on the fault magnitude, the boundedness of the leader trajectory $x_{0} $ and the leader’s control input. The adaptive gains, $c_{i} $ and $\beta _{i} $ are ultimately bounded. Thus, the proof is completed.

Remark 2:

The simulation parameters were selected by design based on the aforementioned Theorem 1. Suppose $V_{1} \subset V$ , i.e., $V_{1} =\sum \nolimits _{i=1}^{N} {\xi _{i}^{\textrm {T}} } P_{i} \xi _{i} $ and the condition $\lambda _{\min } (\bar {Q}) > 2$ holds; then, the term in (20): $-\lambda _{\min } \left ({{\bar {Q}} }\right)\left \|{ \xi }\right \|^{2}$ should be bounded as $\dot {V}_{1} \le -\eta V_{1} $ , where $\eta =\lambda _{\min } (\bar {Q})/\lambda _{\max } (\bar {P})$ denotes the convergence rate of the consensus. We should choose $r$ appropriately so that $R\ge \Pi _{0} +\breve {F}$ holds. In addition, the adaptive coupling gain condition, i.e., $\bar {c} > \gamma _{1} $ should be adhered to guarantee the overall performance of the MRS during the adversity of time-varying faults while driving the consensus convergence error close to zero.

SECTION IV.

Simulation Results

Consider a heterogeneous MRS that moves along the x-axis of a two-dimensional coordinate frame and is connected by a directed communication topology, as shown in Fig. 3.

FIGURE 3. - Leader-follower directed graph topology.
FIGURE 3.

Leader-follower directed graph topology.

Let $\begin{aligned} x_{i} =\left[{{\begin{array}{cccccccccccccccccccc} {p_{xi}} & {p_{yi}} & {v_{xi}} & {v_{yi}} \\ \end{array}}}\right]^{\textrm {T}}\in \mathbb {R}^{4} \end{aligned}$ , where $p_{xi} $ and $v_{xi} $ indicate the position and velocity of the $i$ -th robot along the x-axis, respectively, while $p_{yi} $ and $v_{yi} $ indicate the position and velocity of the $i$ -th robot along the y-axis, respectively. Let $\begin{aligned} u_{i} =\left[{{\begin{array}{cccccccccccccccccccc} {u_{xi}} & {u_{yi}} \\ \end{array}}}\right]^{\textrm {T}}\in \mathbb {R}^{2} \end{aligned}$ be the control input and $\begin{aligned} f_{i} =\left[{{\begin{array}{cccccccccccccccccccc} 0 & 0 & {f_{xi}} & {f_{yi}} \\ \end{array}}}\right]^{\textrm {T}}\in \mathbb {R}^{4} \end{aligned}$ be the additive fault signal associated with robots 1, 2, and 4. Six different types of intermittent time-varying faults are defined as follows \begin{align*} f_{x1}=&a,\quad 30\le kT\le 50 \\ f_{y1}=&-a,\quad 30\le kT\le 50 \\ f_{x2}=&0.1t-2b,\quad 30\le kT\le 50 \\ f_{y2}=&-0.1t+2b,\quad 30\le kT\le 50 \\ f_{x4}=&d+\omega,\quad 40\le kT\le 80 \\ f_{y4}=&-d+\omega,\quad 40\le kT\le 80\end{align*} View SourceRight-click on figure for MathML and additional features. where $\omega $ is the white noise, $k$ is the time index and $T$ is the sampling period, which is equal to 0.001 s. The fault parameters are set to $a=2,b=1.5$ , and $d=1.5$ , which yields the specific fault signal depicted in Fig. 4.

FIGURE 4. - Fault signals 
$f_{xi} $
 and 
$f_{yi} $
.
FIGURE 4.

Fault signals $f_{xi} $ and $f_{yi} $ .

The fault signal is simulated either as a rectangular signal or a soft bias signal (slope) at a different instance. The fault magnitude in Fig. 4 is categorized as “low” severity. There is no fault for robot 3 and robot 5.

The parameters $m_{i} $ are arbitrarily selected and tabulated below in Table 1.

TABLE 1 Parameters $m_{i}$
Table 1- 
Parameters 
$m_{i}$

Hence, the dynamics of the $i$ -th mobile robot is characterized by the following matrices \begin{align*} A_{0}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-10} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-10} \\ \end{array}}} }\right], \\ A _{1}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-5} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-5} \\ \end{array}}} }\right], \\ A _{2}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-0.1} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-0.1} \\ \end{array}}} }\right], \\ A _{3}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-0.5} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-0.5} \\ \end{array}}} }\right],\\ A_{4}=&A_{5} =\left [{ {{\begin{array}{cccccccccccccccccccc} 0 &\quad 0 &\quad 1 &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad 1 \\ 0 &\quad 0 &\quad {-2} &\quad 0 \\ 0 &\quad 0 &\quad 0 &\quad {-2} \\ \end{array}}} }\right], \\ B _{0}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 & 0 \\ 0 & 0 \\ {10} & 0 \\ 0 & {10} \\ \end{array}}} }\right],\quad B_{1} =\left [{ {{\begin{array}{cccccccccccccccccccc} 0 & 0 \\ 0 & 0 \\ 5 & 0 \\ 0 & 5 \\ \end{array}}} }\right], \\ B _{2}=&\left [{ {{\begin{array}{cccccccccccccccccccc} 0 & 0 \\ 0 & 0 \\ {0.1} & 0 \\ 0 & {0.1} \\ \end{array}}} }\right],~B_{3} =\left [{ {{\begin{array}{cccccccccccccccccccc} 0 & 0 \\ 0 & 0 \\ {0.5} & 0 \\ 0 & {0.5} \\ \end{array}}} }\right],~B_{4} =B_{5}\! =\!\left [{ {{\begin{array}{cccccccccccccccccccc} 0 & 0 \\ 0 & 0 \\ 2 & 0 \\ 0 & 2 \end{array}}} }\right],\end{align*} View SourceRight-click on figure for MathML and additional features.

It is assumed that the robots are communicating with one another according to the information graph shown in Fig. 3. For the proposed adaptive law, the simulation parameters are designed as $r=5$ , $c_{i} (0)=2$ , and $\beta _{i} (0)=1$ for $i=1,\ldots,N$ . By solving the LMI in (8), the feasible solution matrix $P_{i} $ is obtained as \begin{align*} P_{1}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.0406} &\quad 0 &\quad {0.0338} &\quad 0 \\ 0 &\quad {0.0373} &\quad 0 &\quad {0.0677} \\ {0.0338} &\quad 0 &\quad {0.4082} &\quad 0 \\ 0 &\quad {0.0135} &\quad 0 &\quad {0.0731} \\ \end{array}}} }\right] \\ P_{2}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.5521} &\quad 0 &\quad {1.3611} &\quad 0 \\ 0 &\quad {0.8458} &\quad 0 &\quad {0.5756} \\ {1.3611} &\quad 0 &\quad {11.5188} &\quad 0 \\ 0 &\quad {5.7562} &\quad 0 &\quad {18.4969} \\ \end{array}}} }\right] \\ P_{3}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.6408} &\quad 0 &\quad {0.6366} &\quad 0 \\ 0 &\quad {0.6451} &\quad 0 &\quad {0.4759} \\ {0.6366} &\quad 0 &\quad {2.3685} &\quad 0 \\ 0 &\quad {0.9519} &\quad 0 &\quad {3.1305} \\ \end{array}}} }\right] \\ P_{4}=&P_{5} =\left [{ {{\begin{array}{cccccccccccccccccccc} {0.1939} &\quad 0 &\quad {0.1719} &\quad 0 \\ 0 &\quad {0.1961} &\quad 0 &\quad {0.2282} \\ {0.1719} &\quad 0 &\quad {0.9251} &\quad 0 \\ 0 &\quad {0.1141} &\quad 0 &\quad {0.4414} \\ \end{array}}} }\right]\end{align*} View SourceRight-click on figure for MathML and additional features.

Then, the feedback gain matrices, $K_{i} $ and $\Gamma _{i} $ are given by \begin{align*} K_{1}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {-0.1690} & 0 & {-2.0410} & 0 \\ 0 & {-0.0677} & 0 & {-0.3657} \\ \end{array}}} }\right] \\ K_{2}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {-0.1361} & 0 & {-1.1519} & 0 \\ 0 & {-0.5756} & 0 & {-1.8497} \\ \end{array}}} }\right] \\ K_{3}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {-0.3183} & 0 & {-1.1842} & 0 \\ 0 & {-0.4759} & 0 & {-1.5653} \\ \end{array}}} }\right] \\ K_{4}=&K_{5} =\left [{ {{\begin{array}{cccccccccccccccccccc} {-0.3437} & 0 & {-1.8501} & 0 \\ 0 & {-0.2282} & 0 & {-0.8829} \\ \end{array}}} }\right] \\ \Gamma _{1}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.0286} &\quad 0 &\quad {0.3449} &\quad 0 \\ 0 &\quad {0.0229} &\quad 0 &\quad {0.1238} \\ {0.3449} &\quad 0 &\quad {4.1657} &\quad 0 \\ 0 &\quad {0.0248} &\quad 0 &\quad {0.1337} \\ \end{array}}} }\right] \\ \Gamma _{2}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.0185} &\quad 0 &\quad {0.1568} &\quad 0 \\ 0 &\quad {0.0331} &\quad 0 &\quad {0.1065} \\ {0.1568} &\quad 0 &\quad {1.3268} &\quad 0 \\ 0 &\quad {1.0647} &\quad 0 &\quad {3.4213} \\ \end{array}}} }\right] \\ \Gamma _{3}=&\left [{ {{\begin{array}{cccccccccccccccccccc} {0.1013} & 0 & {0.3769} & 0 \\ 0 & {0.1132} & 0 & {0.3725} \\ {0.3769} & 0 & {1.4024} & 0 \\ 0 & {0.7450} & 0 & {2.4501} \\ \end{array}}} }\right] \\ \Gamma _{4}=&\Gamma _{5} =\left [{ {{\begin{array}{cccccccccccccccccccc} {0.1182} &\quad 0 &\quad {0.6360} &\quad 0 \\ 0 &\quad {0.1042} &\quad 0 &\quad {0.4030} \\ {0.6360} &\quad 0 &\quad {3.4231} &\quad 0 \\ 0 &\quad {0.2015} &\quad 0 &\quad {0.7794} \\ \end{array}}} }\right]\end{align*} View SourceRight-click on figure for MathML and additional features.

The leader moves along the x-axis with a constant velocity. To show the effectiveness of the proposed adaptive law, the results are compared with [28] and [30]. Referring to Fig. 5, for the first 30 s of the simulation, all robots move synchronously together to achieve cruising velocity $v_{x0} =1m \mathord {\left /{ {\vphantom {m s}} }\right. } s$ with a constant distance vector of 20 m.

FIGURE 5. - (a) Position 
$p_{xi} $
 and (b) velocity 
$v_{xi} $
 without adaptive consensus law.
FIGURE 5.

(a) Position $p_{xi} $ and (b) velocity $v_{xi} $ without adaptive consensus law.

However, since the robots were unable to achieve convergence within 30 s, fault occurrence further deteriorates both position and velocity signals, causing large oscillations. Following (20) in Theorem 1, without adaptive gains $c_{i} $ and $\beta _{i} $ , any increase in fault magnitude ($F$ term) would cause $\dot {V} > 0$ , thus, $V$ is no longer guaranteed to be bounded value. During the fault occurrence, the changes in trajectories are influenced not only by the fault signals but also by each particular robot’s dynamics. In comparison to robot 1, robot 2 produced position and velocity signals that were unsmooth as the rate of acceleration slowed. Robot 4, however, followed the robot 2 trajectories since the output of robot 2 indirectly connected to robot 4 via robot 3. In the absence of the proposed adaptive law, the resulting trajectories of the agents are similar to those reported in [34], as shown in Fig. 5.

The results being presented in Figs. 6 to 8 show the effectiveness of the adaptive consensus law in the presence of the time-varying and additive faults.

FIGURE 6. - Consensus performance for Hu’s law [30]: (a)
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories.
FIGURE 6.

Consensus performance for Hu’s law [30]: (a)$p_{xi} $ trajectories; (b) $v_{xi} $ trajectories.

FIGURE 7. - Consensus performance for Lv’s law [28]: (a) 
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories.
FIGURE 7.

Consensus performance for Lv’s law [28]: (a) $p_{xi} $ trajectories; (b) $v_{xi} $ trajectories.

FIGURE 8. - Consensus performance for the proposed law: (a)
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories.
FIGURE 8.

Consensus performance for the proposed law: (a)$p_{xi} $ trajectories; (b) $v_{xi} $ trajectories.

The velocity curve shown in Fig. 7(b) indicates that the adaptive law proposed in [28] has a slower convergence performance than that of the proposed adaptive law in Fig. 8(b). The proposed adaptive law has good tracking properties; however, consensus results for [30] outweighed the proposed law as depicted in Fig. 6(b).

In comparison to [28], only one adaptive coupling gain is used in the control input. In [30], the control input contains two coupling gains, but only one of them is designed to be adaptable. Therefore, this paper introduces two distinct adaptive coupling gains in the consensus law to produce relatively rapid velocity convergence while ensuring robust stability of the mobile robot system, as shown in Fig. 8.

According to Theorem 1, adaptive gain $\beta $ further attenuate the heterogeneity as long as $R\ge \Pi _{0} +\breve {F}$ is hold. This is the key advantage of the proposed adaptive compared to [28] and [30]. In addition, the $r$ parameter is also part of the $R$ , which simply acts as a tuneable parameter to increase or decrease the rate of the agents’ response according to the user preference.

For position tracking, all simulated adaptive algorithms are capable of minimizing fault strength, avoiding collisions, and allowing faulty robots to quickly revert to the desired position after the fault is removed. In Fig. 9, the coupling gains, $c_{i} $ and $\beta _{i} $ for the proposed law converged to a new finite value to counteract the occurrence of the fault.

FIGURE 9. - (a) adaptive gain 
$c_{i} $
; (b) adaptive gain 
$\beta _{i} $
.
FIGURE 9.

(a) adaptive gain $c_{i} $ ; (b) adaptive gain $\beta _{i} $ .

To demonstrate the robustness of the algorithm, a further comparison is made between [30] and the proposed law, with the magnitude of $f_{x2} $ and $f_{y2} $ increased tenfold to signify “high” severity and with the remaining faults unchanged. The performance of the laws is illustrated in Figs. 10 and 11.

FIGURE 10. - Consensus performance for Hu’s law with “high” severity faults: (a) 
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories.
FIGURE 10.

Consensus performance for Hu’s law with “high” severity faults: (a) $p_{xi} $ trajectories; (b) $v_{xi} $ trajectories.

FIGURE 11. - Consensus performance for the proposed law with “high” severity faults: (a) 
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories.
FIGURE 11.

Consensus performance for the proposed law with “high” severity faults: (a) $p_{xi} $ trajectories; (b) $v_{xi} $ trajectories.

Figs. 10 and 11 show that with a larger magnitude of $f_{x2} $ and $f_{y2} $ , [30] produces a longer convergence time, more than twice that of the proposed adaptive law.

In addition, the proposed adaptive law produces the same convergence time as in the previous results in Fig. 8(b) demonstrating the robustness of the proposed consensus law. Furthermore, as shown by the relative velocity difference in Figs. 8(b) and 11(b), all robots are strongly connected during both normal and fault conditions.

Remark 3:

[30] and the proposed consensus law both have two coupling gains in two separate control input terms. Unlike [30], which used a combination of constant and time-varying gains, the adaptive design of the proposed consensus law employs two distinct adaptive coupling gains to enhance convergence.

The trajectories of the control input $u_{xi} $ for the three adaptive laws are depicted in Fig. 12.

FIGURE 12. - Control effort: (a) Hu’s law [30]; (b) Lv’s law [28]; (c) the proposed law.
FIGURE 12.

Control effort: (a) Hu’s law [30]; (b) Lv’s law [28]; (c) the proposed law.

According to Fig. 12(a) and (c), it is observed that both Hu’s law and the proposed law exhibit very high overshoot in the beginning instances. Referring to the inset images in Fig. 12(a-c), Hu’s law produced high control effort at 50 s during the fault occurrence period, in contrast to the smooth and non-fluctuating control input $u_{x2} $ obtained using Lv’s law and the proposed law. When compared to Lv’s law, the proposed law has a slightly shorter convergence time at the start of the mission and at $t > 70s$ . With the application of two distinct adaptive gains, the proposed consensus law shows the capability to effectively suppress the MRS heterogeneity under both transient and steady-state conditions. Despite the slightly aggressive value of the control input $u_{xi} $ as shown in Fig. 12(c), the control effort produced is acceptable and satisfactory.

Remark 4:

The results in Fig. 12 highlight that the introduced novel approach of two distinct adaptive gains did not incur exhaustive control efforts, while awarding a high degree of robustness against the time-varying faults.

As Remark 4 implies, low control effort, as evidently illustrated by Fig. 12, translates to light controller computation, which is amenable to a remote practical application when energy resources are scarce.

Moreover, to analytically compare the transient controllers’ efforts for the three adaptive laws, ISE and IAE are utilized for the velocity error, $\left |{ {v_{xi} (k)-v_{x0} (k)} }\right |$ as the controller performance indices.

According to the performance indices in Table 2, the proposed adaptive law outperforms Hu’s law [30] for relatively large fault magnitudes but outperforms Lv’s law [28] for small fault magnitudes. The presented results, validating the effectiveness of the proposed adaptive law, demonstrate that it is more applicable than the existing adaptive laws.

TABLE 2 Adaptive Law Performance Indices
Table 2- 
Adaptive Law Performance Indices

In this paper, the general additive type of faults is explicitly considered. The fault is assumed to be intermittent, and the maximum magnitude that can be tolerated is bounded by $f_{m} $ . A fault magnitude that exceeds $f_{m} $ represents a condition where the entire MRS may become unstable, and the positioning of the robots can result in a collision. According to Fig. 11(b), as the magnitude of the fault increases, so does the magnitude of the follower robot’s velocity. In practice, the limits on the actuator operation range should not be exceeded to prevent mechanical failure of the robots and to maintain optimal MRS operation. Hence, to complete the mission despite faulty teammates with $f_{m} $ or permanent faults, an active fault tolerance strategy can be designed to remove the faulty robot(s) from the team and allow the remaining healthy and semi-healthy (fault occurrence below the maximum limit) robots to automatically reconfigure themselves.

The exclusion of faulty robots from the team could be executed by employing fault isolation thresholds. In this case, all robots must observe their control inputs and isolate themselves if they exceed a certain threshold by withdrawing from the mission and cutting off communication so that the remaining healthy and semi-healthy robots can automatically adjust their adaptive coupling parameters in their consensus laws to account for changes in the communication topology. Since all the robots rely solely on the relative state difference with their neighbors to compute the consensus law, this isolation process can be achieved.

There is, however, a clear limitation of the automatic isolation sequence using the current unidirectional topology. For instance, in Fig. 13, due to the presence of a fault above the threshold, robot 2 automatically initiates self-removal from the MRS and stops moving, while the remaining robots reorganize themselves to continue participating in the MRS to complete the assigned mission.

FIGURE 13. - Isolation of robot 2: (a) 
$p_{xi} $
 trajectories; (b)
$v_{xi} $
 trajectories.
FIGURE 13.

Isolation of robot 2: (a) $p_{xi} $ trajectories; (b)$v_{xi} $ trajectories.

However, because all robots are unidirectionally connected to a single robot, the ejection of robot 2 from the MRS causes the immediate neighbor of robot 2 to adjust the adaptive parameters based on the position and velocity of robot 2. A cascading effect on the remaining robots that are indirectly connected to robot 2 leads to a failed mission. Therefore, alternatively, each robot can be connected to at least two neighbors to reduce the possibility of total failure.

Remark 5:

To ensure that the coordination of the MRS remains stable during isolation, a new restriction is implemented where all the followers must be connected to two or more neighbors to maintain global synchronization. However, the optimal topology should be investigated since more neighbors does not always guarantee better consensus convergence. For further discussion, please refer to [39].

For comparison, the topology in Fig. 3 is modified by adding a communication link between robots 1 and 3, as illustrated in Fig. 14 by the red dashed line.

FIGURE 14. - Modified topology.
FIGURE 14.

Modified topology.

With the additional communication link, the isolated faulty robot 2 does not affect the remaining healthy robots in the MRS, as shown in Fig. 15. The immediate neighbors of robot 2 automatically recalculate their adaptive consensus law to cope with the changes in their relative state information with the remaining neighbors. In addition, fast convergence can be achieved immediately after the faulty robot is removed. Both adaptive gains converge to finite values. It is noted that since both robots 1 and 4 are relatively lightweight compared to robot 2, the “low” severity fault subjected to these robots, as depicted in Fig. 4, has a minimal effect on the agents’ position and velocity.

FIGURE 15. - Modified topology: (a) 
$p_{xi} $
 trajectories; (b) 
$v_{xi} $
 trajectories; (c) adaptive gain 
$c_{i} $
; (d) adaptive gain 
$\beta _{i} $
.
FIGURE 15.

Modified topology: (a) $p_{xi} $ trajectories; (b) $v_{xi} $ trajectories; (c) adaptive gain $c_{i} $ ; (d) adaptive gain $\beta _{i} $ .

It is worth mentioning that the MRS with a permanent fault required more information exchange to effectively isolate the fault. However, because the amount of information exchanged in the network is proportional to the number of communication links, communication demand can be minimized by limiting the number of neighbors with whom each agent is permitted to communicate and determine the optimal network topological design for a high probability of permanent fault. The results obtained are congruent with the analysis in Theorem 1, whereby as long as the condition of $R\ge \Pi _{0} +\breve {F}$ and Lemma 1 are fulfilled, multiple time-varying faults in the MRS can be accommodated by using the proposed adaptive law. Contrary to work in [31], the proposed law can be applied to the case of directed and undirected network topology.

The proposed adaptive law performance indices for each robot before and after isolation are tabulated in Table 3.

TABLE 3 Proposed Adaptive Law Performance Indices Before and After Isolation
Table 3- Proposed Adaptive Law Performance Indices Before and After Isolation

The results presented in Table 3 suggest that the proposed adaptive law with modified topology is much more acceptable for efficient and robust fault-tolerant control, mainly for multiple time-varying faults. The simulation proved that MRS reconfiguration can be done adaptively without the use of a sophisticated control algorithm.

SECTION V.

Conclusion

In this paper, a distributed leader-follower adaptive consensus law for a linear heterogeneous MRS is proposed. The proposed consensus law employs two distinct adaptive gains to improve tracking and convergence performance to ensure a safe separation between the robots in the presence of multiple additive time-varying fault occurrences. The proposed strategy allows for maintaining a limited communication burden; i.e., the unidirectional information exchanged among neighbors for relative state computations. Simulation results of the MRS verified the effectiveness of the proposed adaptive law. Future research may be devoted to an extension of the current work to a nonlinear MRS, switching topology, and communication delay.

ACKNOWLEDGMENT

Nurul Adilla Mohd Subha acknowledges the Universiti Teknologi Malaysia for the sponsorship to pursue the Postdoctoral Research Program at the School of Electrical and Electronic Engineering, Universiti Sains Malaysia.

References

References is not available for this document.