Worked Systems 1
Worked Systems 1
Yongduan Song
Yujuan Wang
Cooperative Control
of Nonlinear
Networked Systems
Infinite-time and Finite-time Design
Methods
Communications and Control Engineering
Series editors
Alberto Isidori, Roma, Italy
Jan H. van Schuppen, Amsterdam, The Netherlands
Eduardo D. Sontag, Boston, USA
Miroslav Krstic, La Jolla, USA
Communications and Control Engineering is a high-level academic monograph
series publishing research in control and systems theory, control engineering and
communications. It has worldwide distribution to engineers, researchers, educators
(several of the titles in this series find use as advanced textbooks although that is not
their primary purpose), and libraries.
The series reflects the major technological and mathematical advances that have a
great impact in the fields of communication and control. The range of areas to
which control and systems theory is applied is broadening rapidly with particular
growth being noticeable in the fields of finance and biologically-inspired control.
Books in this series generally pull together many related research threads in more
mature areas of the subject than the highly-specialised volumes of Lecture Notes in
Control and Information Sciences. This series’s mathematical and control-theoretic
emphasis is complemented by Advances in Industrial Control which provides a
much more applied, engineering-oriented outlook.
Publishing Ethics: Researchers should conduct their research from research
proposal to publication in line with best practices and codes of conduct of relevant
professional bodies and/or national and international regulatory bodies. For more
details on individual ethics matters please see:
https://www.springer.com/gp/authors-editors/journal-author/journal-author
helpdesk/publishing-ethics/14214
Cooperative Control
of Nonlinear Networked
Systems
Infinite-time and Finite-time Design Methods
123
Yongduan Song Yujuan Wang
School of Automation School of Automation
Chongqing University Chongqing University
Chongqing, China Chongqing, China
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
To my family for all the love, support
and understanding.
Yongduan Song
vii
viii Preface
objective with high precision and high rate of error convergence under relatively
weak communication topology condition.
What does the book cover? This book is concerned with the distributed cooper-
ative control of multiple networked nonlinear systems in the presence of unknown
non-parametric nonlinearities and non-vanishing uncertainties under a certain
communication condition. The technical coverage extends to
• Stability analysis such as input-to-state stability (ISS), cooperative uniformly
ultimately bounded (CUUB), globally exponentially stability, finite-time sta-
bility, and finite-time cooperative uniformly ultimately bounded (FT-CUUB),
etc., to analyze and synthesize the multiple networked nonlinear systems;
• Control design techniques and tools including matrix analysis tool (to develop
the distributed controller), core function technique and virtual parameter esti-
mation error technique (to construct the adaptive part of the Lyapunov function
candidate to deal with the non-parametric uncertainties), and Young’s inequality
(to establish various inequalities for the stability analysis), etc.;
• Various control schemes ranging from regular state feedback-based cooperative
adaptive control (to achieve CUUB), fractional state feedback-based distributed
finite-time control (to achieve finite-time stability), fractional state feedback-
based distributed finite-time adaptive control (to achieve FT-CUUB), and so on.
The infinite-time stability theory and finite-time stability theory allow for the
establishment of both qualitative and quantitative properties of the closed-loop
dynamical systems, and the adaptive control theory plays an important role in
coping with system uncertainties by employing online parameter estimators in
numerous dynamical systems. The required communication topologies can be either
undirected or directed, and the convergence time can be endowed with either
infinite time or finite time.
Technical contents of the book are divided into three parts. Part I consists of
Chaps. 1 and 2. Chapter 1 provides an overview of the existing results on coop-
erative control of multiple networked systems from the two aspects: infinite-time
control and finite-time control. Chapter 2 contains a review of algebraic graph
theory, certain matrix analysis theory associated with the graph, and stability
analysis theory and design tools.
Part II, composed of Chaps. 3–5, deals with the infinite-time cooperative lead-
erless consensus control of multiple networked nonlinear systems subject to
non-parametric/non-vanishing uncertainties under some fixed and local communi-
cation conditions. In Chap. 3, we present some key technique methods, including
the virtual parameter estimation error method and the core function technique, to
handle the inherent unknown time-varying control gain and the unknown
non-parametric uncertainties, and also introduce the construction of the distributed
part of the Lyapunov function (it is related to the graph topology) that is important
for the Lyapunov stability analysis and distributed controller design. Chapter 4
shows how to design the distributed adaptive controller for the networked MAS
with non-parametric/non-vanishing uncertainties from first-order to high-order
Preface ix
dynamics under the fixed and undirected topology, and also gives the Lyapunov
stability analysis. In Chap. 5, we study the cooperative leaderless consensus control
problem for networked MAS with first-order and second-order dynamics under the
directed topology condition.
In Part III of the book, which is comprised of Chaps. 6–9, we study the
finite-time adaptive consensus control for multiple networked nonlinear systems
subject to non-parametric/non-vanishing uncertainties linked to each other by a
local communication graph. The idea of fractional state feedback-based distributed
finite-time adaptive control is introduced in Chap. 6. We present some key
inequalities related to the fractional adaptive updated law and some useful lemmas
related to the directed topology condition, all of which are important for the
finite-time stability analysis and finite-time leaderless consensus controller design.
Chapter 7 shows the finite-time controller design and stability analysis for the
networked MAS with non-parametric/non-vanishing uncertainties with second-
order dynamics under the fixed and undirected topology. In Chap. 8, we extend the
results obtained in Chap. 7 to the directed topology. Chapter 8 studies the
finite-time cooperative leaderless consensus control problem for networked MAS
with high-order dynamics under the directed topology condition.
Whom is the book for? The book presents various solutions to cooperative control
problems of multiple networked nonlinear systems on graphs. The researcher,
engineer, or student in cooperative adaptive control of nonlinear MAS will find a
wealth of examples that are solved and presented in full analytical and numerical
detail, graphically illustrated, and with the intuition that helps understand the
results. It should be noted that although the overall system with linearly parame-
terized nonlinearities is nonlinear, such nonlinearity is sufficiently benign and
globally tractable. This is unlike the nonlinearities one encounters in the nonlinear
MAS with non-parametric or non-vanishing uncertainties. This book is intended
primarily as a bridge between the distributed control of MAS with linearly
parameterized nonlinearities and the one with non-parametric uncertainties. The
researchers and scientists in research institutes as well as academics in universities
working on nonlinear systems, adaptive control, and distributed control will find the
book filled with problems of a new kind.
We propose to use mathematical tools such as algebraic graph theory and certain
matrix analysis theory, and potential readers who already had some exposure to
basic systems theory and algebra graph theory can obtain a deeper understanding
of the roles of matrix operators as mathematical machineries for cooperative control
of MAS. This book can be used as an introductory material to fresh graduates (at
bachelor or master's level) joining the control workforce to work on distributed
control of multiple networked systems. The book can also be used as reference
textbooks for new postgraduate students who have the intention to work on this
arena of research. At the same time, many universities have established programs
and courses in this new field, with many cross-faculty and interdiscipline research
going on in this arena as well.
x Preface
We believe that there are a significant number of potential readers for our
proposed book among the professionals working in the engineering fields, which
include control engineers, mechanical engineers, and aerospace engineers who deal
with various mechanics problems with spatially varying coefficients even if control
is not their focus. This is because the methods employed are not from the generic
control catalog but are very structure-specific. Physicists would find the book of
interest for the same reason.
Acknowledgements. We sincerely appreciate David J. Hill, Miroslav Krstic, and
Frank L. Lewis for their valuable comments during the preparation of this book. We
also would like to thank Wei Ren, Yongcan Cao, Frank L. Lewis, Hongwei Zhang,
Kristian Hengster-Movric, Abhijit Das, and Zhihua Qu for their inspiring early
work on cooperative control of MAS. We are thankful to our editors Oliver Jackson
and Balaganesh Sukumar for their interests in our project and their professionalism.
In addition, we acknowledge IEEE and Elsevier for granting us the permission to
reuse materials from our publications copyrighted by these publishers in this book.
Finally, we gratefully acknowledge the National Natural Science Foundation of
China and Ministry of Science and Technology of China, and the Institute of Smart
Engineering in Chongqing University for their support. We dedicate this book to
our families.
xi
xii Contents
Abbreviations
CUUB Cooperative uniformly ultimately bounded
LMI Linear matrix inequality
LTI Linear time invariant
MIMO Multiple input, multiple output
NMAS Networked multi-agent systems
SISO Single input, single output
TSM Terminal sliding mode
Notation
R Field of real numbers
R Summation
jaj The absolute of a scalar a
kX k The norm of a vector X
max Maximum
min Minimum
sup Supremum, the least upper bound
inf Infimum, the greatest lower bound
8 For all
2 Belongs to
! Tends to
\ð [ Þ Less (greater) than
ðÞ Less (greater) than or equal to
ðÞ Much less (greater) than
Kronecker product
RN The N-dimensional Euclidean space
IN The N-dimensional identity matrix
1N ð0N Þ The N-dimensional vector with each entry being 1(0)
y_ The first derivative of y with respect to time
xv
xvi Abbreviations and Notation
This chapter introduces the cooperative control of multi-agent systems (MASs) and
overviews recent research results in distributed cooperative control of networked
MAS. The recent research results in distributed cooperative control of MAS are
roughly categorized as leaderless consensus, leader–follower consensus, distributed
formation control, and distributed containment control. A short discussion is given
to propose several future research directions and problems that deserve further inves-
tigation.
In the past two decades, the control of multiple dynamical systems interconnected
by a communication network has attracted extensive attention among scientific com-
munities due to the benefits obtained by replacing a solo complicated system with
several simple systems. For the control of multiple networked dynamical systems,
two methods are commonly used: the centralized control method and the distributed
control method. As shown in Fig. 1.1, the centralized control method relies on the
assumption that each subsystem of the group has the ability to communicate to a cen-
tral station or share information via a fully connected network. Essentially, the cen-
tralized control method is a direct extension of the traditional single-system control
methodology. As a result, the centralized control method may result in a catastrophic
failure of the overall system due to its single point of failure. Also, real-world com-
munication topologies are not usually fully connected. Therefore, cooperative con-
trol in the presence of real-world communication constraints becomes a significant
challenge. Different from the traditional centralized control method, the distributed
control method, as shown in Fig. 1.2, does not require the existence of a central
station. The distributed control is dedicated to achieving a global common objective
by using only local communication in the absence of central coordination and thus is
more promising due to the advantages such as limited communication/sensing range,
© Springer Nature Switzerland AG 2019 3
Y. Song and Y. Wang, Cooperative Control of Nonlinear
Networked Systems, Communications and Control Engineering,
https://doi.org/10.1007/978-3-030-04972-0_1
4 1 Introduction
cooperative fashion, flexibility, and scalability, although it is far more complex than
the centralized one.
By cooperative control system on networks, it is referred to a system that consists
of a group of autonomous subsystems with sensing or communication capabilities,
for example, vehicles with communication devices and robots with camera sensors.
Of fundamental concern for the networked cooperative system is the study of the
interactions and collective behaviors of each subsystem under the influence of the
information flow allowed in the communication network. This communication net-
work can be modeled as a graph with directed edges or links corresponding to the
allowed flow of information among the subsystems, and the subsystems are mod-
eled as the nodes (sometimes called agents) in the graph. The goal of the networked
cooperative system is to achieve a common group behavior by using only local infor-
mation available to each agent from sensing or communication devices. Such local
information may include relative configuration and motion obtained from sensing
or communication among agents, agents’ sensor measurements, and so on. Thus,
a cooperative system has four basic elements: group objective, agents, information
topology, and control protocols governing the motion of agents. Specifically, the
fundamental problem in the networked cooperative control system is the design of
1.1 Cooperative Control of Multi-agent Systems 5
distributed protocols in the sense that the control law of each agent is only allowed to
depend on local information from its neighbors in the networks to guarantee that all
the agents achieve a common group objective or that all the states of agents achieve
a common value.
Cooperative control of networked multiple dynamical systems poses significant
theoretical and practical challenges. First, the research objective is to develop a sys-
tem of subsystems rather than a single system. Second, the communication bandwidth
and connectivity of the team are often limited, and the information exchange among
subsystems may be unreliable. It is also difficult to decide what to communicate and
when and with whom the communication takes place. Third, arbitration between
team goals and individual goals needs to be negotiated. Fourth, the computational
resources of each individual subsystem will often be limited.
In general, the control problems of the cooperative systems can be roughly cate-
gorized based on the following directions:
How to achieve cooperative consensus with the least possible topological require-
ment and how to achieve it in a timely and distributive manner are two common
challenges in distributed control of networked cooperative systems. In this sense,
6 1 Introduction
the convergence rate is one of the most important performance indicators for the
cooperative control of networked multi-agent systems. So far, most of the existing
cooperative control results are achieving asymptotical convergence, meaning that the
convergence rate is at best exponential with infinite settling time. That is, it needs
infinite time to achieve cooperative consensus or formation or containment or other
cooperative objectives. It is indicated in [6] that the second smallest eigenvalue of
the Laplacian matrix quantifies the convergence rate of the networked multi-agent
systems. Several researchers have tried to find better interaction graph to get a larger
second smallest eigenvalue such that a better convergence rate can be obtained. To
maximize the second smallest eigenvalue of the interaction graph, the researchers in
[7] try to find the best vertex positional configuration. By utilizing the semi-definite
convex programming, the researchers in [8] design the weights among the agents
to increase the convergence rate. It is worth noting that all these efforts are to find
proper interaction graphs, but not to find proper control schemes to achieve higher
performance. In practice, it is often required that the cooperative control objective
can be reached in finite time. In addition to bearing the benefit of faster rate of conver-
gence, finite-time control systems exhibit the feature of better disturbance rejection
and robustness against uncertainties as shown in [9], making the finite-time coopera-
tive control problem one of the most active research topics. Thus, several researchers
invoke finite-time control schemes for networked multi-agent systems to guarantee
that the cooperative control objective is reached within finite time.
1. Non-finite time convergence: The non-finite time convergence means that the
convergence rate of the cooperative control systems is at best exponential with
infinite settling time. That is, it needs infinite time to achieve cooperative con-
sensus or formation or containment or other cooperative objectives. The control
results corresponding to the non-finite time convergence include the asymptotical
stability, exponential stability, ultimately uniformly boundedness (UUB).
2. Increased convergence speed: This is corresponding to the case to choose proper
interaction graphs to increase the convergence rate but not to find proper control
schemes to achieve high performance.
3. Finite-time convergence: The finite-time convergence means that the control
objectives of the cooperative control systems are realized in finite time. The finite-
time control systems not only possess faster convergence rate but also possess
better disturbance rejection and robustness against uncertainties.
1.2 Overview of Recent Research Results in Cooperative Control … 7
It is worth noting that all these solutions mentioned in Sect. 1.2.2 are to choose
proper interaction graphs to achieve a faster convergence, but not to find proper
control schemes to achieve a higher performance. It is often required in practice
that the cooperative control objective is reached in finite time. In addition to bear-
ing the benefit of faster rate of convergence, finite-time control systems exhibit the
feature of better disturbance rejection and robustness against uncertainties as shown
in [9], enticing increasing research attention from control community. Thus, sev-
eral researchers seek finite-time control algorithms to guarantee that the cooperative
control objective is reached within finite time.
Weiss and Infante [68] gave the definition of finite-time stability of systems in 1965
and extended the finite-time stability theory to the non-autonomous systems under
the influence of external forces in [69], which were the embryo of finite-time stability
theory. However, these results obtained in [68, 69] are only about the analysis on the
finite-time stability, and there are not the analysis on how to design the finite-time
controller for systems. In general, according to the continuousness of the control input
signals, the finite-time control methods in the existing literatures are classified into
three categories: discontinuous finite-time control, continuous but non-smooth finite-
time control, and continuous and smooth finite-time control. The discontinuous finite-
time control methods mainly include signum function feedback-based control and
terminal sliding mode (TSM)-based control; the continuous but non-smooth finite-
time control methods mainly include single fractional state feedback-based control,
homogeneous finite-time control, and adding power integrator-based control; the
continuous and smooth finite-time control methods mainly include the time-varying
gain-based regular state feedback control proposed by Song and Wang in [70, 71].
Signum function feedback-based control: The signum function feedback-based
control is a class of discontinuous control method based on the signs of system states.
Take the simple first-order linear system as an example,
ẋ = u, (1.1)
1.2 Overview of Recent Research Results in Cooperative Control … 11
where x and u denote the system state and control input, respectively. The signum
function feedback-based control is of the basic form,
u = −csgn(x) (1.2)
where c > 0 is a freely chosen finite constant parameter. This control is based on the
signum function, in which infinite bandwidth is required and the control action is
discontinuous. Under such discontinuous control, the system states converge to the
origin in a finite time T , satisfying
The signum function-based control can ensure the finite-time stability of systems
and also possesses better disturbance rejection; however, the discontinuous terms in
control input might cause the notorious chatting phenomenon during system oper-
ation. Cortes [72] discussed the application of the discontinuous control method
based on signum function to consensus problems in first-order multi-agent systems
and showed how the proposed non-smooth gradient flows achieve consensus in finite
time. Chen et al. [73] investigated the finite-time consensus problem for first-order lin-
ear multi-agent systems under specific directed topology using the signum protocol.
Li and Qu [74] extended the signum function-based control to first-order nonlinear
multi-agent systems under the general setting of directed and switching topologies to
achieve finite-time consensus. Upon using the signum-based control method, Zhang
et al. [75] studied the finite-time consensus tracking problem of networked nonlinear
multi-agent systems subject to unknown external disturbances under the directed
topology that satisfies detailed balanced condition. Franceschelli et al. [76] proposed
a decentralized consensus algorithm for a network of continuous-time integrators
subject to unknown-but-bounded time-varying disturbances by using the discontinu-
ous local interaction rule, in which it was proven that the agents achieve an approxi-
mated consensus condition by attenuating the destabilizing effect of the disturbances
after a finite transient time. Wen et al. [77] proposed a class of discontinuous con-
trol protocols that only utilize the position information of each agent by using the
signum-based control method and solved the finite-time coordinated tracking con-
trol problem. Meng and Lin [78] studied the finite-time consensus tracking control
problem for multiple double-integrator networked systems involving a time-varying
velocity leader and unknown bounded external disturbances, in which a discontinu-
ous consensus tracking control protocol upon using a distributed finite-time observer
is proposed. Based on signum function control method, Fu and Wang [79] addressed
the finite-time consensus tracking problem for high-order integrator networked sys-
tems with bounded matched uncertainties.
Terminal sliding mode (TSM) control: Sliding mode control is a special kind of
variable structure control proposed by Emelyanov and Taran in [80]. Sliding mode
control is known to drive the system states to the sliding surface in finite time, and
further, it is indicated that the sliding mode control has strong robustness and thus
provides an effective control method for the nonlinear control systems. Yu and Man
12 1 Introduction
introduced the terminal sliding mode (TSM) control method in [81, 82], in which
the terminal sliding mode (TSM) was defined by the first-order dynamics
ẋ + βx q/ p = 0 (1.4)
where x is a scalar variable and β > 0 and p > q > 0 are odd integers such that,
for any real number x, x q/ p returns a real number. For system (1.4), the trajectories
converge to an equilibrium state in a finite time T , satisfying
p
T = |x(0)|( p−q)/ p . (1.5)
β( p − q)
where s0 = x, βi > 0, and pi > qi are positive odd integers, and the finite conver-
gence time T s for system (1.6) satisfies
n−1
pn−i
T s = t1s + |sn−i−1 (tis )|( pn−i −qn−i )/ pn−i (1.7)
i=1
βn−i ( pn−i − qn−i )
where tis is the reaching time of the terminal sliding mode sn−i = 0 for i =
1, . . . , n − 1. The TSM control can ensure the finite-time convergence of systems
and is robust to input disturbances [83]. However, this method may cause the singu-
larity problem around the equilibrium. Khoo et al. [84] studied the integral terminal
sliding mode control of networked multi-robot systems, in which an integral ter-
minal sliding mode surface for a class of first-order systems was proposed and the
finite-time coordinated consensus tracking of multi-robot networked systems can
be achieved on this integral terminal sliding mode surface. Khoo et al. [85] further
studied the finite-time consensus tracking control for leader–follower multi-agent
systems dominated by second-order dynamics and proved that the global finite-time
consensus tracking can be achieved on the terminal sliding mode surface by switch-
ing control law. Zou and Kumar [86] applied the terminal sliding mode control to
the attitude coordination of a group of spacecraft in the presence of external dis-
turbances, in which a fast terminal sliding manifold was presented and a robust
control term based on the hyperbolic tangent function was employed to suppress the
bounded external disturbances. By using sliding mode control theory, Chen et al.
[87] investigated the finite-time consensus tracking problem for a class of networked
1.2 Overview of Recent Research Results in Cooperative Control … 13
t ∈ [0, T (x0 )); limt→T (x0 ) x(t; 0, x0 ) = 0. The origin is said to be a globally finite-
time stable equilibrium if U = Rn .
Lemma 1.1 Consider system (1.8). Suppose that there exists a continuously dif-
ferentiable function V (x) : Û → R (Û ⊂ U0 ⊂ Rn ), finite real number c > 0 and
α ∈ (0, 1), such that
(i) V (x) is positive and definite on Û .
(ii) V̇ (x) + cV (x)α is negative semi-definite (along the trajectory) on Û .
Then, the origin of system (1.8) is finite-time stable. Moreover, the finite settling time
T satisfies
1
T ≤ V (x)1−α (1.9)
c(1 − α)
Δ(r
ε
1 ,...,rn )
(x1 , . . . , xn ) = (εr1 x1 , . . . , εrn xn ) (1.10)
ϕ(Δ(r
ε
1 ,...,rn )
(x1 , . . . , xn )) = εσ ϕ(x1 , . . . , xn ). (1.11)
f i (Δ(r
ε
1 ,...,rn )
(x1 , . . . , xn )) = εk+ri f i (x1 , . . . , xn ), i = 1, . . . , n. (1.12)
Lemma 1.3 Suppose that system (1.8) is homogeneous of degree k < 0 w. r. t. dila-
tion Δ(r
ε
1 ,...,rn )
, in which f is continuous and x = 0 is its asymptotically stable equi-
librium. Then, the equilibrium of system (1.8) is globally finite-time stable. Moreover,
if f˜(x) is a continuous vector field defined on Rn such that
f i (εr1 x1 , . . . , εrn xn )
lim = 0, i = 1, . . . , n, f˜ = ( f˜1 , . . . , f˜n )T (1.13)
ε→0 εk+ri
homogeneity. Upon using the finite-time control technique and homogenous sys-
tems theory, Du et al. [111] addressed the finite-time synchronization problem for
a class of nonlinear leader–follower multi-agent systems with second-order dynam-
ics by constructing a finite-time state feedback controller and a finite-time observer.
With the aid of homogeneous theory, Zhang and Yang [112] studied the finite-time
consensus control problems of second-order multi-agent systems with one and mul-
tiple leaders under a directed graph and established some sufficient conditions for
the achievement of the finite-time consensus tracking. Based on the matrix the-
ory, graph theory, homogeneity with dilation, and LaSalle’s invariance principle,
Guan et al. [113] investigated the finite-time consensus tracking control problem
for second-order networked multi-agent systems under fixed and switched topolo-
gies, and designed finite-time consensus protocols by the pinning control technique
without the assumption that the topology graph is connected or the leader is glob-
ally reachable. Based on homogeneous theory, Lu et al. [114] considered finite-time
consensus tracking control problems for multi-agent systems with a virtual leader
under fixed and switching topologies, respectively, in which an improved consen-
sus tracking protocol was proposed in that the chattering phenomenon occurred in
non-Lipschitz dynamical systems can be eliminated by introducing a saturation func-
tion to replace the original sign function. By using tools from homogeneous theory,
Zhao et al. [115] addressed the finite-time consensus tracking problem of networked
multiple agents with Euler–Lagrange dynamics. Based on the homogeneous control
method, finite-time position consensus and collision avoidance problems were inves-
tigated for multiple autonomous underwater vehicle (multi-AUV) systems by Li and
Wang in [116]. Lu et al. [117] considered the finite-time consensus tracking prob-
lems for double-integrator multi-agent systems with bounded control input by using
homogeneous theory. By applying the homogeneous theory to stability analysis, the
work in [118] by Zhang et al. was devoted to the distributed finite-time observers for
multi-agent systems with input saturations and without velocity measurements. The
work in [119] by Yu et al. was concerned with the finite-time consensus problem
of distributed agents having nonidentical unknown nonlinear dynamics, to a leader
agent that also has unknown nonlinear control input signal, in which homogeneous
Lyapunov functions and homogeneous vector fields were introduced in the stability
analysis although the whole system is not homogeneous.
Adding power integrator-based control. Adding a power integrator, as a feed-
back design tool, was first introduced by Caron in [120] for the stabilization problem
and then was applied extensively by Lin and Qian [121–123] to solve the problem
of stabilization for uncertain nonlinear systems with unmatched uncertainties. Based
on adding a power integrator method, Li et al. [124] addressed the finite-time con-
sensus control problems for linear multi-agent systems with second-order dynamics
and unknown bounded disturbances in two cases: without a leader and with one
leader, and showed that the disturbance rejection property of the closed-loop system
can be enhanced by adjusting the fractional power in the continuous non-smooth
finite-time consensus controller. However, the communication topology considered
in [124] is restricted to be an undirected connected graph, and the effect of commu-
nication delays is not considered. By integrating the non-smooth finite-time control
1.2 Overview of Recent Research Results in Cooperative Control … 17
technique and adding a power integrator method, Du et al. [125] investigated the
robust consensus control problem for second-order multi-agent systems subject to
external disturbances for more general cases: (i) The communication topology is a
directed graph which is more general than that of [124]; (ii) there exists communi-
cation delay between the agents which is not considered in [124]. On the basis of the
work in [124], Du, Li, and Lin, by applying the adding a power integrator technique
and a finite-time observer, further studied the finite-time formation control of multi-
ple second-order agents via dynamic output feedback under the assumption that the
velocities of all agents cannot be measured. Wang et al. [127] further extended the
finite-time consensus tracking method proposed in [124] to the finite-time contain-
ment control for second-order linear multi-agent systems with multiple leaders under
undirected topology. With the adding a power integrator method, Huang et al. [128]
considered the finite-time leaderless consensus for a group of nonlinear mechanical
systems under undirected topology with a backstepping-like adaptive control scheme,
in which the nonlinearities in the system are linearly parameterized. Upon using the
non-smooth finite-time control method and adding a power integrator technique, Ou,
Du, and Li further addressed the finite-time consensus tracking control problem for
multiple non-holonomic wheeled mobile robots in dynamic model in [129]. With
the aid of the adding a power integrator technique, Wang et al. [130] investigated
the problem of achieving rotating formation and containment simultaneously via
finite-time control schemes for second-order linear multi-agent systems, in which
the desired rotating formation structure is time-varying. By integrating the fractional
state feedback method and adding a power integrator technique, Wang et al. [131]
considered the finite-time leaderless consensus problem for a group of nonlinear
mechanical systems under single-way directed interaction topology and unknown
actuation failures, in which the resultant control gain of the system is unknown and
time-varying, making the control impact on the system uncertain and the finite-time
control synthesis non-trivial. In [132], Wang et al. further extended the finite-time
leaderless consensus control methods for second-order nonlinear multi-agent sys-
tems with non-parametric uncertainties to high-order case under directed topology
by using the adding a power integrator technique associated with high-order case.
Based on fractional power feedback of local error and the adding a power integrator
technique, Wang et al. proposed a finite-time distributed adaptive control solution to
the formation–containment problem for multiple networked nonlinear systems with
uncertainties and directed communication constraints in [133].
Time-varying gain-based regular state feedback control. The time-varying
gain-based regular state feedback finite-time control was first introduced by Song et
al. in [70] for the robust regulation of normal-form nonlinear systems in prescribed
finite time and then was applied extensively in [134] to solve the pre-specified finite-
time leader-following control problem of high-order linear multi-agent systems under
directed graphs. This finite-time control method is based on the time-varying control
gain together with regular state feedback, and thus the control input signal is not
only continuous but also C 1 smooth. Particularly, the convergence time is not only
18 1 Introduction
finite, but can be pre-specified by the designer due to the independence of any other
design parameters and initial conditions. For more detailed results on the prescribed
finite-time control, the authors can be referred to [71].
1.3 Notes
References
1. Ren, W., Beard, R., Atkins, E.: Information consensus in multivehicle cooperative control.
IEEE Control Syst. Mag. 27(2), 71–82 (2007)
2. Wang, W., Slotine, J.: A theoretical study of different leader roles in networks. IEEE Trans.
Autom. Control 51(7), 1156–1161 (2006)
3. Ren, W., Moore, K., Chen, Y.: High-order and model reference consensus algorithms in
cooperative control of multivehicle systems. ASME J. Dyn. Syst. Meas. Control 129(5), 678–
688 (2007)
4. Hong, Y., Chen, G., Bushnell, L.: Distributed observers design for leader-following control
of multi-agent networks. Automatica 44(3), 846–850 (2008)
5. Wang, X., Chen, G.: Pinning control of scale-free dynamical networks. Physica A 310(3–4),
521–531 (2002)
References 19
6. Olfati-Saber, R., Murray, R.: Consensus problems in networks of agents with switching topol-
ogy and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
7. Kim, Y., Mesbahi, M.: On maximizing the second smallest eigen-value of a state-dependent
graph laplacian. IEEE Trans. Autom. Control 51(1), 116–120 (2006)
8. Xiao, L., Boyd, S.: Fast linear iterations for distributed averaging. Syst. Control Lett. 53,
65–78 (2006)
9. Bhat, S., Bernstein, D.: Finite-time stability of continuous autonomus systems. SIAM J.
Control Optim. 38(3), 751–766 (2000)
10. Ren, W.: Collective motion from consensus with cartesian coordinate coupling. IEEE Trans.
Autom. Control 54(6), 1330–1335 (2009)
11. Olfati-Saber, R.: Flocking for multi-agent dynamic systems: algorithms and theory. IEEE
Trans. Autom. Control 51(3), 401–420 (2006)
12. Moreau, L.: Stability of multiagent systems with time-dependent communication links. IEEE
Trans. Autom. Control 50(2), 169–182 (2005)
13. Das, A., Lewis, F.L.: Distributed adaptive control for synchronization of unknown nonlinear
networked systems. Automatica 46(12), 2014–2021 (2010)
14. Fax, J.A., Murry, R.M.: Information flow and cooperative control of vehicle formations. IEEE
Trans. Autom. Control 49(9), 1465–1476 (2004)
15. Lafferriere, G., Williams, A., Caughman, J., Veerman, J.J.P.: Decentralized control of vehicle
formations. Syst. Control Lett. 54(9), 899–910 (2005)
16. Ma, C.Q., Zhang, J.F.: On formability of linear continuous-time multi-agent systems. J. Syst.
Sci. Complex. 25(1), 13–29 (2012)
17. Vicsek, T., Czirok, A., Jacob, E.B., Cohen, I., Schochet, O.: Novel type of phase transitions
in a system of self-driven particles. Phys. Rev. Lett. 75, 1226–1229 (1995)
18. Jadbabaie, A., Lin, J., Morse, A.S.: Coordination of groups of mobile autonomous agents
using nearest neighbor rules. IEEE Trans. Autom. Control 48(6), 988–1001 (2003)
19. Ren, W., Beard, R.W.: Consensus seeking in multiagent systems under dynamically changing
interaction topologies. IEEE Trans. Autom. Control 50(5), 655–661 (2005)
20. Ren, W., Beard, R.W., Atkins, E.M.: Information consensus in multivehicle cooperative con-
trol. IEEE Control Syst. Mag. 27(2), 71–82 (2007)
21. Corts, J.: Distributed algorithms for reaching consensus on general functions. Automatica
44(3), 726–737 (2008)
22. Ren, W., Atkins, E.M.: Distributed multi-vehicle coordinated control via local information
exchange. Int. J. Robust Nonlinear Control 17(10–11), 1002–1033 (2007)
23. Ren, W.: On consensus algorithms for double-integrator dynamics. IEEE Trans. Autom. Con-
trol 53(6), 1503–1509 (2008)
24. Yu, W., Chen, G., Cao, M.: Some necessary and sufficient conditions for second-order con-
sensus in multi-agent dynamical systems. IEEE Trans. Autom. Control 46(6), 1089–1095
(2010)
25. Abdessameud, A., Tayebi, A.: On consensus algorithms for double-integrator dynamics with-
out velocity measurements and with input constraints. Syst. Control Lett. 59(12), 812–821
(2010)
26. Wang, J.H., Cheng, D.Z.: Consensus of multi-agent systems with higher order dynamics. In:
Proceedings of 26th Chinese Control Conference, pp. 76–765 (2007)
27. Jiang, F.C., Wang, L., Xie, G.M.: Consensus of high-order dynamic multi-agent systems with
switching topology and time-varying delays. J. Control Theory Appl. 8(1), 52–60 (2010)
28. Xi, J.X., Cai, N., Zhong, Y.S.: Consensus problems for high-order linear time-invariant swarm
systems. Physica A 389(24), 5619–5627 (2010)
29. Dong, X.W., Xi, J.X., Shi, Z.Y., Zhong, Y.S.: Practical consensus for high-order linear time-
invariant swarm systems with interaction uncertainties, time-varying delays and external dis-
turbances. Int. J. Syst. Sci. 44(10), 1843–1856 (2013)
30. Yu, W., Chen, G., Cao, M., et al.: Second-order consensus for multiagent systems with directed
topologies and nonlinear dynamics. IEEE Trans. Syst. Man Cybern. 40(3), 881–891 (2010)
20 1 Introduction
31. Wang, Y.J., Song, Y.D., Lewis, F.L.: Robust adaptive fault-tolerant control of multi-agent
systems with uncertain non-identical dynamics and undetectable actuation failures. IEEE
Trans. Ind. Electron. 62(6), 3978–3988 (2015)
32. Qin, J.H., Gao, H.J., Zheng, W.X.: On average consensus in directed networks of agents with
switching topology and time delay. Int. J. Syst. Sci. 42(12), 1947–1956 (2011)
33. Tian, Y.P., Liu, C.L.: Consensus of multi-agent systems with diverse input and communication
delays. IEEE Trans. Autom. Control 53(9), 2122–2128 (2008)
34. Wu, Y.J., Wang, L.: Average consensus of continuous-time multi-agent systems with quantized
communication. Int. J. Robust Nonlinear Control 24(18), 334–3371 (2014)
35. Shang, Y.L.: Average consensus in multi-agent systems with uncertain topologies and multiple
time-varying delays. Linear Algebr. Appl. 459, 411–429 (2014)
36. Murray, R.M.: Recent research in cooperative control of multi-vehicle systems. J. Dyn. Syst.
Meas. Control 129(5), 571–583 (2007)
37. Cao, Y.C., Yu, W.W., Ren, W., Chen, G.R.: An overview of recent progress in the study of
distributed multi-agent coordination. IEEE Trans. Ind. Inf. 9(1), 427–438 (2013)
38. Ren, W.: Multi-vehicle consensus with a time-varying reference state. Syst. Control Lett.
56(7–8), 474–483 (2007)
39. Qin, J., Zheng, W.X., Gao, H.: Consensus of multiple second-order vehicles with a time-
varying reference signal under directed topology. Automatica 47(9), 1983–1991 (2011)
40. Cao, Y.C., Ren, W., Li, Y.: Distributed discrete-time coordinated tracking with a time-varying
reference state and limited communication. Automatica 45(5), 474–483 (2009)
41. Gu, D.B., Wang, Z.Y.: Leader-follower flocking: algorithms and experiments. IEEE Trans.
Control Syst. Tech. 17(5), 1211–1219 (2009)
42. Kokiopoulou, E., Frossard, P.: Polynomial filtering for fast convergence in distributed con-
sensus. IEEE Trans. Signal Process. 57(1), 342–354 (2009)
43. Wu, Z.H., Peng, L., Xie, L.B., et al.: Stochastic bounded consensus tracking of leader-follower
multi-agent systems with measurement noises based on sampled-data with small sampling
delay. Physica A 392(4), 918–928 (2013)
44. Qi, B., Lou, K., Miao, S., et al.: Second-order consensus of leader-following multi-agent
systems with jointly connected topologies and time-varying delays. Arabian J. Sci. Eng.
39(2), 143–1440 (2014)
45. Zhang, X.F., Liu, L., Feng, G.: Leader-follower consensus of time-varying nonlinear multi-
agent systems. Automatica 52, 8–14 (2015)
46. Hong, Y., Hu, J., Gao, L.: Tracking control for multi-agent consensus with an active leader
and variable topology. Automatica 42(7), 1177–1182 (2006)
47. Ni, W., Cheng, D.Z.: Leader-following consensus of multi-agent systems under fixed and
switching topologies. Syst. Control Lett. 59(3–4), 209–217 (2010)
48. Cao, Y., Ren, W.: Distributed coordinated tracking with reduced interaction via a variable
structure approach. IEEE Trans. Autom. Control 57(1), 33–48 (2011)
49. Wang, Y.J., Song, Y.D., Gao, H., Lewis, F.L.: Distributed fault-tolerant control of virtuallyand
physically interconnected systems with application to high-speed trains undertraction/braking
failures. IEEE Trans. Intell. Transp. Syst. 17(2), 535–545 (2016)
50. Cao, Y., Ren, W.: Containment control with multiple stationary or dynamic leaders under a
directed interaction graph. In: CDC 2009, Shanghai, China, pp. 3014–3019 (2009)
51. Cao, Y., Stuart, D., Ren, W., et al.: Distributed containment control for multiple autonomous
vehicles with double-integrator dynamics: algorithms and experiments. IEEE Trans. Control
Syst. Technol. 19(4), 929–938 (2011)
52. Mei, J., Ren, W., Ma, G.: Distributed adaptive coordination for multiple Lagrangian systems
under a directed graph without using neighbors velocity information. Automatica 49(6), 1723–
1731 (2013)
53. Li, Z., Ren, W., Liu, X., et al.: Distributed containment control of multi-agent systems with
general linear dynamics in the presence of multiple leaders. Int. J. Robust Nonlinear Control
23(5), 534–547 (2013)
References 21
54. Ji, M., Ferrari-Trecate, G., Egerstedt, M., Buffa, A.: Containment control in mobile networks.
IEEE Trans. Autom. Control 53(8), 1972–1975 (2008)
55. Meng, Z.Y., Ren, W., You, Z.: Distributed finite-time attitude containment control for multiple
rigid bodies. Automatica 46(12), 2092–2099 (2010)
56. Notarstefano, G., Egerstedt, M., Haque, M.: Containment in leader-follower networks with
switching communication topologies. Automatica 47(5), 1035–1040 (2011)
57. Cao, Y.C., Ren, W., Egerstedt, M.: Distributed containment control with multiple stationary
or dynamic leaders in fixed and switching directed networks. Automatica 48(8), 1586–1597
(2012)
58. Liu, H.Y., Xie, G.M., Wang, L.: Necessary and sufficient conditions for containment control
of networked multi-agent systems. Automatica 48(7), 1415–1422 (2012)
59. Lou, Y.C., Hong, Y.G.: Target containment control of multi-agent systems with random switch-
ing interconnection topologies. Automatica 48(5), 879–885 (2012)
60. Dong, X.W., Xi, J.X., Lu, G., Zhong, Y.S.: Containment analysis and design for high-order lin-
ear time-invariant singular swarm systems with time delays. Int. J. Robust Nonlinear Control
24(7), 1189–1204 (2014)
61. Liu, H.Y., Xie, G.M., Wang, L.: Containment of linear multi-agent systems under general
interaction topologies. Syst. Control Lett. 61(4), 528–534 (2012)
62. Olfati-Saber, R.: Ultrafast consensus in small-world networks. In: ACC 2005, Portland, OR,
USA, pp. 2374–2378 (2005)
63. Nosrati, S., Shafiee, M.: Time-delay dependent stability robustness of small-world protocols
for fast distributed consensus seeking. In: The 5th International Symposium on Modeling and
Optimization in Mobile, Ad Hoc and Wireless Networks and Workshops (2007)
64. Xiao, L., Boyd, S.: Fast linear iterations for distributed averaging. Syst. Control Lett. 53(1),
65–78 (2004)
65. Kira, Y., Mesbahi, M.: On maximizing the second smallest eigenvalue of a state-dependent
graph laplacian. IEEE Trans. Autom. Control 51(1), 116–120 (2006)
66. Jin, Z.P., Murray, R.M.: Multi-hop relay protocols for fast consensus seeking. In: CDC 2006,
CA, USA, pp. 1001–1006 (2006)
67. Yang, W., Wang, X.F.: Consensus filters on small world networks. In: Proceedings of the 6th
World Congress on Intelligent Control and Automation, Dalian, China, pp. 1217–1221 (2006)
68. Weiss, L., Infante, E.F.: On the stability of systems defined over a finite time interval. Proc.
Natl. Acad. Sci. U.S.A. 1965, 44–48 (1965)
69. Weiss, L., Infante, E.F.: Finite time stability under perturbing forces and on product spaces.
IEEE Trans. Autom. Control 12(1), 54–59 (1967)
70. Song, Y.D., Wang, Y.J., Holloway, J., Krstic, M.: Time-varying feedback for finite-time robust
regulation of normal-form nonlinear systems. In: The 55th Conference on Decision and Con-
trol (CDC), pp. 3837–3842 (2016)
71. Song, Y.D., Wang, Y.J., Holloway, J., Krstic, M.: Time-Varying feedback for robust regulation
of normal-form nonlinear systems in prescribed finite time. Automatica 2017(83), 243–251
(2017)
72. Corts, J.: Finite-time convergent gradient flows with applications to network consensus. Auto-
matica 42(11), 1993–2000 (2006)
73. Chen, G., Lewis, F.L., Xie, L.H.: Finite-time distributed consensus via binary control proto-
cols. Automatica 47(9), 1962–1968 (2011)
74. Li, C.Y., Qu, Z.H.: Distributed finite-time consensus of nonlinear systems under switching
topologies. Automatica 50(6), 162–1631 (2014)
75. Zhang, Y., Yang, Y., Zhao, Y., Wen, G.: Distributed finite-time tracking control for nonlinear
multi-agent systems subject to external disturbances. Int. J. Control 86(1), 29–40 (2013)
76. Franceschelli, M., Guia, A., Pisano, A., Usai, E.: Finite-time consensus for switching network
topologies. Nonlinear Anal. Hybrid Syst. 10, 83–93 (2013)
77. Wen, G., Rahmani, A., Yu, Y.: Consensus tracking for multi-agent systems with nonlinear
dynamics under fixed communication topologies. In: Proceeding of the World Congress on
Engineering and Computer Science, San Francisco, USA (2011)
22 1 Introduction
78. Meng, Z., Lin, Z.: On distributed finite-time observer design and finite-time coordinated
tracking of multiple double integrator systems via local interactions. Int. J. Robust Nonlinear
Control 24(16), 2473–2489 (2014)
79. Fu, J., Wang, J.: Observer-based finite-time coordinated tracking for high-order integrator
systems with matched uncertainties under directed communication graphs. In: Proceeding of
the 11th IEEE International Conference on Control and Automation, pp. 880–885 (2014)
80. Emelyanov, S.V., Taranm, V.A.: On a class of variable structure control systems. In: Proceeding
of USSR Academy of Sciences, Energy and Automation, Moskov, p. 3 (1962)
81. Yu, X., Ledwich, G., Man, Z.: Terminal sliding mode control of linear systems. IEEE Trans.
Autom. Control (1994)
82. Yu, X., Man, Z.: Model reference adaptive control systems with terminal sliding modes. Int.
J. Control 64(6), 1165–1176 (1996)
83. Xu, X., Wang, J.: Finite-time consensus tracking for second-order multiagent systems. Asian
J. Control 15(4), 1246–1250 (2013)
84. Khoo, S., Xie, L., Man, Z.: Integral terminal sliding mode cooperative control of multi-robot
networks. In: IEEE/ASME International Conference Advanced Intelligent Mechatronics, Sin-
gapore, pp. 969–973 (2009)
85. Khoo, S., Xie, L., Man, Z.: Robust finite-time consensus tracking algorithm for multirobot
systems. IEEE/ASME Trans. Mechatron. 14(2), 219–228 (2009)
86. Zou, A., Kumar, K.D.: Distributed attitude coordination control for spacecraft formation
flying. IEEE Trans. Aerosp. Electron. Syst. 48(2), 1329–1346 (2012)
87. Chen, G., Yue, Y.L., Song, Y.D.: Finite-time cooperative-tracking control for networked Euler-
Lagrange systems. IET Control Theory Appl. 7(11), 1487–1497 (2013)
88. Ghasemi, M., Nersesov, S.G.: Finite-time coordination in multiagent systems using sliding
mode control approach. Automatica 50(4), 1209–1216 (2014)
89. He, X., Wang, Q., Yu, W.: Finite-time distributed cooperative attitude tracking control for
multiple rigid spacecraft. Appl. Math. Comput. 256, 724–734 (2015)
90. Cao, Y., Ren, W., Meng, Z.: Decentralized finite-time sliding mode estimators and their
applications in decentralized finite-time formation tracking. Syst. Control Lett. 59(9), 522–
529 (2010)
91. Kamble, U.B., Chandle, J.O., Lahire, V.S., Langde, R.D.: Second order twisting sliding mode
control of multi-agent network with input disturbance. In: Proceeding of the 2013 4th Inter-
national Conference on Computing, Communications and Networking Technologies (2013)
92. Li, H., Liao, X., Chen, G.: Leader-following finite-time consensus in second-order multi-agent
networks with nonlinear dynamics. Int. J. Control Autom. Syst. 11(2), 422–426 (2013)
93. Zhao, L., Hua, C.: Finite-time consensus tracking of second-order multi-agent systems via
nonsingular TSM. Nonlinear Dyn. 75(1–2), 311–318 (2014)
94. Yang, Z., Shibuya, Y., Qin, P.: Distributed robust control for synchronized tracking of net-
worked Euler-Lagrange systems. Int. J. Syst. Sci. 46(4), 720–732 (2015)
95. Haimo, V.T.: Finite time controllers. SIAM J. Contr. Optim. 24, 760–770 (1986)
96. Bhat, S.P., Bernstein, D.S.: Continuous finite-time stabilization of the translational and rotional
double integrators. IEEE Trans. Autom. Control 43(5), 678–682 (1998)
97. Wang, L., Xiao, F.: Finite-time consensus problems for networks of dynamic agents. IEEE
Trans. Autom. Control 55(4), 950–955 (2010)
98. Xiao, F., Wang, L., Chen, J., et al.: Finite-time formation control for multi-agent systems.
Automatica 45(11), 2605–2611 (2009)
99. Xiao, F., Wang, L., Chen, T.: Finite-time consensus in networks of integrator-like dynamic
agents with directional link failure. IEEE Trans. Autom. Control 59(3), 756–762 (2014)
100. Cao, Y., Ren, W.: Finite-time consensus for multi-agent networks with unknown inherent
nonlinear dynamics. Automatica 50(10), 2648–2656 (2014)
101. Zuo, Z., Tie, L.: A new class of finite-time nonlinear consensus protocols for multi-agent
systems. Int. J. Control 87(2), 363–370 (2014)
102. Zuo, Z., Tie, L.: Distributed robust finite-time nonlinear consensus protocols for multi-agent
systems. Int. J. Control 47(6), 1366–1375 (2016)
References 23
103. Bhat, S.P., Bernstein, D.S.: Finite time stability of homogeneous systems. In: In Proceedings
in American Control Conference, pp. 2513–2514 (1997)
104. Hong, Y.G., Huang, J., Xu, Y.S.: On an output feedback finite-time stabilization problem.
IEEE Trans. Autom. Control 46(2), 305–309 (2001)
105. Hong, Y.G.: Finite-time stabilization and stabilizability of a class of controllable systems.
Syst. Control Lett. 46, 231–236 (2002)
106. Hong, Y.G., Jiang, Z.P.: Finite-time stabilization of nonlinear systems with parametric and
dynamic uncertainties. IEEE Trans. Autom. Control 51(12), 1950–1956 (2006)
107. Hong, Y.G., Wang, J., Cheng, D.Z.: Adaptive finite-time control of nonlinear systems with
parametric uncertainty. IEEE Trans. Autom. Control 51(5), 858–862 (2006)
108. Hermes, H.: Homogeneous coordinates and continuous asymptotically stabilizing feedback
controls. In: Elaydi, S. (ed.) Differential Equations, Stability and Control, pp. 249–260. Marcel
Dekker, New York (1991)
109. Rosier, L.: Homogeneous Lyapunov function for homogeneous continuous vector field. Syst.
Control Lett. 19(4), 467–473 (1992)
110. Hui, Q., Haddad, W.M., Bhat, S.P.: Finite-time semistability and consensus for nonlinear
dynamical networks. IEEE Trans. Autom. Control 53(8), 1887–1990 (2008)
111. Du, H., He, Y., Cheng, Y.: Finite-time synchronization of a class of second-order nonlinear
multi-agent systems using output feedback control. IEEE Trans. Circuits Syst. I 61(6), 1778–
1788 (2014)
112. Zhang, Y., Yang, Y.: Finite-time consensus of second-order leader-following multi-agent sys-
tems without velocity measurements. Phys. Lett. A 337(3–4), 243–249 (2013)
113. Guan, Z., Sun, F., Wang, Y., Li, T.: Finite-time consensus for leader-following second-order
multi-agent networks. IEEE Trans. Circuits Syst. I 59(11), 2646–2654 (2012)
114. Lu, X., Lu, R., Chen, S., Lu, J.: Finite-time distributed tracking control for multi-agent systems
with a virtual leader. IEEE Trans. Circuits Syst. I 60(2), 352–362 (2013)
115. Zhao, Y., Duan, Z., Wen, G.: Distributed finite-time tracking of multiple Euler-Lagrange
systems without velocity measurements. Int. J. Robust Nonlinear Control 25(11), 1688–1703
(2015)
116. Li, S., Wang, X.: Finite-time consensus and collision avoidance control algorithms for multiple
AUVs. Automatica 49(11), 3359–3367 (2013)
117. Lu, X., Chen, S., Lu, J.: Finite-time tracking for double-integrator multi-agent systems with
bounded control input. IET Control Theory Appl. 7(11), 1562–1573 (2013)
118. Zhang, B., Jia, Y., Matsno, F.: Finite-time observers for multi-agent systems without velocity
measurements and with input saturations. Syst. Control Lett. 68, 86–94 (2014)
119. Yu, H., Shen, Y., Xia, X.: Adaptive finite-time consensus in multi-agent networks. Syst.
Control Lett. 62(10), 880–889 (2013)
120. Caron, J.M.: Adding an integrator for the stabilization problem. Syst. Control Lett. 17, 89–104
(1991)
121. Lin, W., Qian, C.: Adding one power integrator: a tool for global stabilization of high-order
lower-triangular systems. Syst. Control Lett. 39(5), 339–351 (2000)
122. Lin, W., Qian, C.: Adaptive control of nonlinearly paramterized systems: the smooth feedback
case. IEEE Trans. Autom. Control 47(8), 1249–1266 (2002)
123. Lin, W., Qian, C.: Adaptive control of nonlinearly paramterized systems: a nonsmooth feed-
back framwork. IEEE Trans. Autom. Control 47(5), 757–774 (2002)
124. Li, S., Du, H., Lin, X.: Finite-time consensus algorithm for multi-agent systems with double-
integrator dynamics. Automatica 47(8), 1706–1712 (2011)
125. Du, H., Li, S., Shi, P.: Robust consensus algorithm for sencond-order multi-agent systems
with external disturbances. Int. J. Control 85(12), 1913–1928 (2012)
126. Du, H., Li, S., Lin, X.: Finite-time formaiton control of multi-agent systems via dynamic
output feedback. Int. J. Robust Nonlinear Control 23, 1609–1628 (2013)
127. Wang, X., Li, S., Shi, P.: Distributed finite-time containment control for double-integrator
multiagent systems. IEEE Trans. Cybern. 44(9), 1518–1528 (2014)
24 1 Introduction
128. Huang, J., Wen, C., Wang, W., Song, Y.D.: Adaptive finite-time consensus control of a group
of uncertain nonlinear mechanical systems. Automatica 51, 292–301 (2015)
129. Ou, M., Du, H., Li, S.: Finite-time tracking contrl of multiple noholonomic mobile robots. J.
Frankl. Inst. 349, 2834–2860 (2012)
130. Wang, Y.J., Song, Y.D., Krstic, M.: Collectively rotating formation and containment deploy-
ment of multi-agent systems: a polar coordinate based finite time approach. IEEE Trans.
Cybern. 47, 2161–2172 (2017)
131. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Fault-tolerant finite time consensus for multiple
uncertain nonlinear mechanical systems under single-way directed communication interac-
tions and actuation failures. Automatica 63, 374–383 (2016)
132. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Adaptive finite time coordinated consensus for
high-order multi-agent systems: adjustable fraction power feedback approach. Inf. Sci. 372,
392–406 (2016)
133. Wang, Y.J., Song, Y.D., Ren, W.: Distributed adaptive finite time approach for formation-
containment control of networked nonlinear systems under directed topology. IEEE Trans.
Neural Netw. Learn. Syst. https://doi.org/10.1109/TNNLS.2017.2714187 (2017)
134. Wang, Y.J., Song, Y.D.: Leader-following control of high-order multi-agent systems under
directed graphs: pre-specified finite time approach. Automatica 87, 113–120 (2018)
Chapter 2
Preliminaries
This chapter introduces algebraic graph theory, matrix analysis theory on graphs,
stability analysis theory on cooperative control systems, and the theory of finite-time
stability analysis.
For a group of agents interacting with each other through communication network,
it is natural to model the interaction among agents by a directed weighted graph.
Suppose that there are N agents in the group. A directed graph with N nodes (agents)
is represented by G = (ι, ε), in which ι = {ι1 , ι2 , . . . , ι N } denotes a nonempty finite
set of nodes (agents) and ε ⊆ ι × ι denotes the set of edges between two distinct
nodes. A weighted graph denotes that a graph associates a weight with every edge
in the graph. A directed edge is represented by an ordered pair of distinct nodes
εi j = (ιi , ι j ), where ιi is called the parent (terminal) node and ι j is called the child
(initial) node, meaning that node ιi can receive information from node ι j , but not
necessarily vice versa. We assume the graph is simple, i.e., no self loops ((ιi , ιi ) ∈ / ε,
∀i ∈ {1, . . . , N }) and no multiple edges between the same pairs of nodes. Node ι j is
an in-neighbor of node ιi if ιi can obtain information from ι j , i.e., (ι j , ιi ) ∈ ε. The set
of in-neighbors of node ιi is defined as Ni = {ι j ∈ ι|(ι j , ιi ) ∈ ε}. In an undirected
graph, the pairs of nodes are unordered, in which the edge (ιi , ι j ) corresponds to
the edges (ιi , ι j ) and (ι j , ιi ) in the directed graph. An undirected graph is actually a
special case of a directed graph. A directed path is denoted by a sequence of ordered
edges (ιi1 , ιi2 ), (ιi2 , ιi3 ),. . ., where ιik ∈ ι. A cycle refers to a directed path starting
and ending at the same node. A directed graph is strongly connected if there is a
directed path from every node to any other distinct node. For an undirected graph,
it is said to be connected if there is an undirected path between any pair of distinct
nodes, and further, if there exists an edge between any pair of distinct nodes, this
undirected graph is said to be fully connected. A directed graph is complete if there
is an edge from every node to any other node. A root is a node that has no parent and
© Springer Nature Switzerland AG 2019 25
Y. Song and Y. Wang, Cooperative Control of Nonlinear
Networked Systems, Communications and Control Engineering,
https://doi.org/10.1007/978-3-030-04972-0_2
26 2 Preliminaries
has directed paths to all other nodes in a directed graph. A directed tree is a directed
graph where every node has exactly one parent except for the root. A directed tree
has no cycle because every edge is oriented away from the root. In the undirected
graph, a tree refers to a graph where each pair of nodes is connected by exactly one
undirected path. A directed spanning tree is a directed tree formed by graph edges
that connects all the nodes of the graph. In a graph if a subset of the edges forms a
directed tree, the graph is said to have a spanning tree. A graph may have multiple
spanning trees. If a graph is strongly connected (Fig. 2.1a, b), then it contains at
least one spanning tree (Fig. 2.1c). The in-degree of ιi is the number of nodes ιi can
obtain information from whom. The out-degree of ιi is the number of nodes who can
obtain information from ιi . If the in-degree of a node ιi (i = 1, . . . , N ) is equal to
its out-degree, the node is balanced. If all nodes ιi in a graph are balanced, the graph
is balanced.
The graph structure and properties can be studied by examining the properties of the
graph topology of the graph. This is known as algebraic graph theory [1, 2].
2.2 Matrix Analysis on Graphs 27
Denote by ai j the weight for the edge εi j ∈ ε, then the graph topology of the
network G can be represented by a weighted adjacency matrix A = [ai j ], where
εi j ∈ ε ⇔ ai j > 0, and otherwise, ai j = 0. Self-edges are not allowed, that is, aii = 0
for all i, unless otherwise indicated. If the weight is not relevant, then ai j is set equal
to 1 if εi j ∈ ε. In an undirected graph, the adjacency matrix A is symmetric, i.e.,
A = A T.
weighted in-degree of node i is denoted by the i-th row sum of A , i.e.,
The
di = Nj=1 ai j , and the weighted out-degree of node ιi is denoted by the i-th column
sum of A, i.e., di0 = Nj=1 a ji . Note that Nj=1 ai j = j∈N i ai j . For a graph, if
di = di0 for all i, the graph is weight balanced. For brevity, we sometimes simply
refer to node ιi as node i, and refer simply to in-degree, out-degree, and the balanced
property, without the qualifier ‘weight’.
L = [li j ] = D − A ∈ R N ×N ,
D = diag(d1 , . . . , d N ) ∈ R N ×N .
Lemma 2.1 ([6]) Let L be the nonsymmetric Laplacian matrix (Laplacian matrix)
of the directed graph G (undirected graph G ). Then L has at least one zero eigen-
value and all its nonzero eigenvalues have positive real parts (are positive). Further-
more, L has a simple zero eigenvalue and all its other eigenvalues have positive
real parts (are positive) if and only if G has a directed spanning tree (is connected).
In addition, L 1 N = 0 N and there exists a nonnegative vector p ∈ R N satisfying
pT L = 01×N and pT 1 N = 1. N N
For an undirected graph G , it holds that x T L x = 21 i=1 j=1 ai j (x i − x j ) ,
2
where x = [x1 , . . . , x N ] .
T
Lemma 2.2 ([6]) Let L be the nonsymmetric Laplacian matrix of the directed
graph G . If G is balanced, then x T L x ≥ 0. If G is strongly connected and balanced
(containing undirected and connected graph as a special case), then L x = 0 N or
x T L x = 0 if and only if xi = x j for all i, j ∈ {1, . . . , N }.
Let λ1 (L ) ≤ λ2 (L ) ≤ · · · ≤ λ N (L ) be the N eigenvalues of L associated an
undirected graph G , so that λ1 (L ) = 0 and λ2 (L ) denotes the algebraic connec-
tivity, which is positive if and only if G is connected according to Lemma 2.1. The
algebraic connectivity quantifies the convergence rate of consensus algorithms [6].
28 2 Preliminaries
B = α I N − C,
N
Ri (A) = |ai j |, i = 1, . . . , N ,
j=1, j =i
be the deleted absolute row sums of A. Then all eigenvalues of A are located in the
union of N disks
∪iN {z ∈ C : |z − ai i| ≤ Ri (A)}.
Definition 2.4 ([11]) Let A = [ai j ] ∈ Rm×n and B = [bi j ] ∈ R p×q . The Kronecker
product of A and B is
⎡ ⎤
a11 B a12 B · · · a1n B
⎢ a21 B a22 B · · · a2n B ⎥
⎢ ⎥
A⊗B =⎢ . .. .. .. ⎥ ∈ R
mp×nq
.
⎣ .. . . . ⎦
am1 B am2 B · · · amn B
| f T g| ≤ f p g q.
Lemma 2.9 ([12]) For any x, y ∈ R N and any symmetric positive-definite matrix
A ∈ R N ×N , it holds that
2x T y ≤ x T A−1 x + y Ay.
x T Ax x T Ax x T Ax
where λmin (A) = min x =0 N xT x
= min x T x=1 xT x
, λmax (A) = maxx =0 N xT x
=
T
maxx T x=1 xx TAx
x
.
Lemma 2.11 ([13] Young’s inequality) Let a, b ≥ 0 and c > 0, then it holds that
1
a 1+c cb1+ c
ab ≤ + .
1+c 1+c
Lemma 2.12 ([14]) Let a1 , a2 > 0 and 0 < c < 1, then it holds that
Lemma 2.13 ([14]) Let a1 , a2 , . . . , an ∈ R+ and 0 < p < 2, then the following
inequality holds,
p p
(a12 + a22 + · · · + an2 ) p ≤ (a1 + a2 + · · · + anp )2 .
Lemma 2.16 ([16]) If 0 < h = h 1 / h 2 ≤ 1, where h 1 , h 2 > 0 are odd integers, then
|x h − y h | ≤ 21−h |x − y|h .
Lemma 2.17 ([16]) If c, d > 0, then for any x, y ∈ R, |x|c |y|d ≤ c/(c + d)|x|c+d +
d/(c + d)|y|c+d .
Lemma
N N If 0 h< h ≤1−h
2.18 ([17]) N for xi h∈ R (i = 1, 2, . . . , N ), it holds that
1, then
( i=1 |xi |)h ≤ i=1 |xi | ≤ N ( i=1 |xi |) .
In the study of dynamical systems, different kinds of stability problems arise. This
section is mainly concerned with the stability theory of networked cooperative control
systems.
To investigate the stability of networked cooperative systems, some basic defini-
tions and concepts are introduced as follows.
2.4 Stability Analysis Theory on Cooperative Control Systems 31
For the networked cooperative system with N followers and 1 leader, labeled 0,
the neighborhood error is defined as
ei = ai j (xi − x j ) + ai0 (xi − x0 ), i = 1, . . . , N , (2.3)
i∈N i
i = xi − x0 , i = 1, . . . , N . (2.4)
Definition 2.5 The networked cooperative system (2.1) with (without) a leader is
• stable (Lyapunov stable) if, for each ε > 0, there exists δ(ε, t0 ) > 0 such that
• uniformly stable if, for each ε > 0, there exists δ(ε) > 0 (independent of t0 ), such
that (2.5) is satisfied.
• unstable if it is not stable.
• asymptotically stable if it is stable and there exists a finite constant c = c(t0 ) > 0
such that
• uniformly in t0 . That is, for each η > 0, there exists T = T (η) > 0 such that
Definition 2.6 The networked cooperative system (2.1) with (without) a leader is
• exponentially stable, if there exist finite constants c, k, λ > 0 such that
• globally exponentially stable if (2.10) is satisfied for any given initial state x(t0 ).
Definition 2.7 The networked cooperative system (2.1) with (without) a leader is
• uniformly bounded if there exists a finite constant c > 0 (independent of t0 ), and
for any a ∈ (0, c), there exists β = β(a) > 0 (independent of t0 ), such that
lim e(t) = 0,
t→T
e(t) = 0, ∀t ≥ T. (2.13)
• globally finite-time stable if (2.13) holds for any given initial state x(t0 ).
In the above, we have introduced the concepts of stability of networked cooperative
systems. Our task now is to introduce the Lyapunov analysis method to determine
stability.
2.4 Stability Analysis Theory on Cooperative Control Systems 33
Lemma 2.19 ([8]) Consider system (2.1). If there exists a C 1 Lyapunov function
V (x) : D → R+ such that
for x ∈ D − {0}, where V̇ (x) is the derivative along the system trajectory, i.e.,
V̇ (x) = ∂∂Vx (x) f (x), then V (x) → 0 as t → ∞, and system (2.1) is asymptotically
stable.
Lemma 2.20 ([8]) Consider system (2.1). If there exist a C 1 Lyapunov function
V (x) : D → R+ , and some real constants 0 < c, d < ∞, such that
Lemma 2.21 ([18]) Consider system (2.1). If there exists a C 1 Lyapunov function
V (x) : D → R+ , and some constants 0 < c < ∞ and 0 < α < 1, such that
then system (2.1) is finite-time stable for any given x(t0 ) ∈ D0 ⊂ D, in which the
finite settling time T ∗ satisfies
V (x0 )1−α
T∗ ≤ . (2.19)
c(1 − α)
Lemma 2.22 ([19]) Consider system (2.1). If there exist a C 1 Lyapunov function
V (x) : D → R+ , and also some positive constants c, d, and 0 < α < 1, such that
V (x0 )1−α
T∗ ≤ , (2.21)
cθ0 (1 − α)
34 2 Preliminaries
for any given x(t0 ) ∈ D0 ⊂ D, where 0 < θ0 < 1 is a real constant. Moreover, when
t ≥ T ∗ , the state trajectory convergent to a compact set,
d
Θ = x V (x) ≤ 1 . (2.22)
c(1 − θ0 ) α
References
Part of Sect. 3.2 has been reproduced from Song, Y. D., Huang, X. C., Wen, C. Y.: Tracking control
for a class of unknown nonsquare MIMO nonaffine systems: A deep-rooted information based robust
adaptive approach. IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 3227–3233, 2016
© 2016, IEEE, reprinted with permission.
Autonomous control of networked MAS has become an interesting topic for research
due to the potential for many important applications. Cooperative consensus is known
as the basic issue in the cooperative control of MAS, which is a study dedicated to
ensuring an agreement between states or output variables among networked MAS.
Consider a group of N networked agents subject to non-parametric uncertainties
modeled by
where xi ∈ R and u i ∈ R are the state and control input of the ith (i = 1, 2, . . . , N )
agent, respectively, gi is the control gain, f i denotes the system nonlinearities, f di
denotes
the non-vanishing uncertainties including the external disturbance, and z i =
x .
j∈N i i j
For ease of notation, it is assumed that the agents’ states are scalars (xi ∈ R), and
the case for the vector states (xi ∈ Rm , m > 1) can be derived similarly by using
standard methods involving the Kronecker products employed in various chapters in
the book.
It is assumed that the nonlinear dynamics f i (·) (i = 1, 2, . . . , N ) are unknown
and thus cannot be available for the controller design. Furthermore, f i (·) (i =
1, 2, . . . , N ) considered in this chapter are non-parametric uncertainties; that is,
f i (·) (i = 1, 2, . . . , N ) cannot be linearly parametric decomposition or cannot be
approximated by neural networks. For the control gain gi (·), it is assumed that the
control gain is unknown and possibly time-varying.
Remark 3.1 Note that each node has its own distinct dynamics, and both the node
nonlinearities f i (·) and the node non-vanishing uncertainties f di (·) are unknown and
non-identical. In addition, f i (·) and f d i(·) associated with the ith agent are not only
related to the state of the ith agent itself but also influenced by its neighbors; that
is, the coupling effects among the neighboring agents are considered in this model.
Furthermore, the impact of the parameter variation of the agent is explicitly reflected
3.1 Leaderless Consensus Formulation 39
in the model. Such variation literally leads to unknown and time-varying control
gains in the model, thus making the control design and stability analysis much more
involved as compared to the case of known and constant control gains.
The focus on this chapter is the controller design and stability analysis for the
cooperative leaderless consensus problem of nonlinear MAS (3.1), in which both the
unknown time-varying control gain and the non-parametric/non-vanishing modeling
uncertainties are simultaneously addressed.
For each agent in the networked system, only local state information relative to
its neighbors is obtainable, which means that, for node i, only local neighborhood
synchronization error is available for controller design. Thus, we introduce the local
neighborhood state error for node i as
ei = ai j (xi − x j ), i = 1, . . . , N . (3.2)
j∈N i
In this section, we introduce the concepts of core function and virtual parameter
estimation error, both of which are crucial for the controller design and stability
analysis of the cooperative control of MAS with unknown time-varying control gain
and non-parametric uncertainties.
Note that for the system with constant control gain and with nonlinearities that can
be linearly parameterized or can be approximated by neural networks, there exists
some unknown finite constant, pi , and some known scalar function, φi (xi ), related
to the states variables such that the nonlinear term can be linearly parametric decom-
posed as f i (·) = pi φi (·), or there exists some “optimal” vector Wi ∈ Rl , activation
function vector φ(xi ) ∈ Rl , and bounded error ε(xi ) ∈ R (l denotes the number of
neural nodes), such that for xi in some compact set, f i (·) can be approximated by
neural networks as f i (·) = WiT φ(·) + ε(·). For such nonlinear systems, one can per-
form the standard adaptive control method by constructing the parameter estimation
error of the normal form •˜ = • − •ˆ , where •ˆ denotes the estimation of the unknown
constant parameter •, to obtain the system stability results. However, for the system
that involves time-varying control gain as well as non-parametric uncertainties, the
control problem becomes more challenging.
In the following, we introduce the concepts of core function and virtual parameter
estimation error, with aid of both of which the obstacles caused by the unknown time-
varying control gain and non-parametric uncertainties in the controller design and
stability analysis for cooperative control of MAS can be circumvented without the
need for linearization or approximation to the original systems.
40 3 Lyapunov Analysis for Cooperative Adaptive Consensus Under Undirected Graph
Assumption 3.1 For system (3.1), it is assumed that the control gain gi (i =
1, 2, . . . , N ) is unknown, time-varying, and bounded away from zero; that is, there
exist unknown finite constants g i and ḡi such that 0 < g i ≤ |gi (·)| ≤ ḡi < ∞, and gi
is sign-definite (w. l. o. g. here sgn(gi ) = +1), which means that the control direction
is definite.
Remark 3.2 (1) Assumption 3.2 is related to the extraction of the deep-rooted infor-
mation from the non-parametric nonlinearities f i (·), where the constant c f i , although
associated with the system parameters, bears no physical meaning, thus named as
virtual parameter. (2) We call ϕi (z i ) as “core function” [1] for it contains the deep-
rooted information of the system that is easily computable. For any practical system,
the core function (which is non-unique) can be readily obtained with certain crude
structural information on f i (·), as seen from the later part. (3) To extract the core
function ϕi (z i ) from the f i (·), one can perform upper normalization on f i (·) [2].
Although this might render the virtual parameter overestimated, excessive control
effort is avoided because the corresponding control algorithm does not use such
parameter directly, as seen later.
where |ρi (t)| ≤ ρ̄ < ∞ and |ζi (t)| ≤ ζ̄ < ∞ are two unknown and time-varying
parameters, and a, b, d, and h are unknown constants. Clearly, it is impossible to
carry out parametric decomposition to separate the parameters ρi (t), a, b, d, ζi (t), and
h from f i (·). However, it is effortless to obtain the deep-rooted function of the form
ϕi (z i ) = 1 + |xi | + xi2 independent of those parameters, such that f i (·) ≤ c f i ϕi (z i ),
with c f i being the virtual parameter defined by c f i = max{ρ̄ + 1, 2ζ̄ + 1, ζ̄ 2 }. Note
that ϕi (z i ) is readily computable and non-unique.
f i (z i ) = WiT φi (z i ) + εi (z i ) (3.4)
where ε̄i is an unknown finite constant satisfying |εi (z i )| ≤ ε̄i , c f i = max{Wi , ε̄i }
is the virtual parameter needed to be estimated and ϕi (z i ) = 1 + φi (z i ) is the core
function which is computable.
The significant implications of Fact 1 are threefold: (1) Assumption 3.2 is reason-
able and justifiable; (2) any nonlinear systems with uncertainties that can be dealt
with by NN-based technique can also be handled by the proposed method; (3) if little
information on f i (·) is available to extract the deep-rooted function from the lumped
uncertainties, one can use the combination of the well-known basis functions as the
core function as defined above.
Also, there exist certain situations that might pose challenges to NN-based approx-
imation technique, as noted in the following fact. However, such case can be handled
by the core function method gracefully.
Fact 2: If f i (z i ) is unbounded, it is logically impossible to globally approximate
such unbounded function with a bounded function of the form WiT φi (z i ) + εi (z i )
anymore. In fact, any unbounded function cannot be represented (approximated) by
a bounded function over the entire domain of interest. Instead, it is only possible
to approximate such unbounded function with WiT φi (z i ) + εi (z i ) in which Wi is
unknown bounded but φi (z i ) and εi (z i ) are bounded only if z i is bounded.
In the following, we introduce the concept of the virtual parameter estimation
error [4]. Upon using g (the lower bound of the control gain gi ), the virtual parameter
estimation error is constructed as
•˜ = • − g •ˆ . (3.6)
Note that such defined parameter estimation error is in contrast to the regular error
of the form •˜ = • − •ˆ . This error is named as virtual parameter estimation error. By
introducing it into a novel chosen Lyapunov function, the difficulty associated with
the unknown and time-varying control gain can be handled effectively.
42 3 Lyapunov Analysis for Cooperative Adaptive Consensus Under Undirected Graph
The cooperative adaptive control design for nonlinear networked multi-agent sys-
tems with unknown uncertainties requires the use of special Lyapunov function that
depends on the graph topology and the parameter estimation error in a certain way. In
the design of admissible adaptive controllers, only distributed control protocols and
distributed adaptive laws are permitted. It is not straightforward to develop adaptive
laws for cooperative MAS on graphs that only require information from that agent
and its neighbors. The key to solving this problem is to select special Lyapunov
function for adaptive control design dependent of the graph topology and parameter
estimation errors in specific ways.
It is noted that the Lyapunov function is essential for the Lyapunov stability analy-
sis of the adaptive leaderless consensus control of the nonlinear MAS with unknown
time-varying gain and non-parametric uncertainties. In this section, we show how to
construct the Lyapunov function based on the graph Laplacian, neighborhood error,
and parametric estimation error. The Lyapunov function in the adaptive cooperative
control of nonlinear MAS usually consists of two parts: the distributed part related
to the neighborhood error and the Laplacian matrix, and the adaptive part dependent
of the parameter estimation error.
In this subsection, we show how to construct the distributed part of the Lyapunov
function.
We first introduce the definition related to uniform ultimate boundedness (UUB)
for cooperative control systems.
Definition 3.1 ([5, 6]) For the error E(t) ∈ R N , if there exists a compact set Ω ∈
R N with the property that {0 N } ⊂ Ω, so that ∀E(t0 ) ∈ Ω, there exist a finite positive
constant C and a finite time t f (C, X (t0 )), both independent of t0 > 0, such that
for any t ≥ t0 + t f , E(t) ≤ C, then we say E(t) is cooperative uniform ultimate
boundedness (CUUB).
Suppose that the network communication among the N agents is modeled by a
directed graph G , with the weighted adjacency matrix A = [ai j ] and the Laplacian
matrix L (see Chap. 2 for the details on graph theory).
The following results of graph theory are useful for establishing leaderless con-
sensus stability results of the MAS in this chapter.
Lemma 3.1 ([7]) For an undirected and connected graph G , the Laplacian L of
G has only one zero eigenvalue associated with the eigenvector 1 N , i.e., L 1 N = 0,
and all the other eigenvalues of L are positive real constants. If 1TN X = 0, then
X T L X ≥ λ2 (L )X T X , where λ2 (L ) denotes the second minimum eigenvalue of
L.
3.3 Lyapunov Function Design Under Undirected Topology 43
Lemma 3.3 ([8]) The Laplacian matrix L associated with an undirected connected
graph G is symmetric and semi-positive definite, that is, L = L T ∈ R N ×N and
L ≥ 0. Furthermore, the null space N (L ) = {X |X T L X = 0} = span{1 N }.
Proof We first show that L is symmetric and semi-positive definite. Since the graph
G is undirected, it is straightforward that the adjacency matrix A is symmetric,
implying that L is symmetric. According to Lemma 3.1, the Laplacian matrix L
associated with an undirected and connected graph has only one zero eigenvalue
with all its other eigenvalues being positive real constants; thus, L is semi-positive
definite, and we also derive that the null space of L is N (L ) = span{1 N }. According
to Fact 8.15.2 in [9], if L = L T ∈ R N ×N satisfying L ≥ 0 or L ≤ 0, then the null
space is N (L ) = {X |X T L X = 0}. Therefore, the null space is equal to N (L ) =
{X |X T L X = 0} = span{1 N }.
V1 = E T ΛE. (3.7)
V1 = X T L T (U NT Λ̃−1 U N )L X
= X T (U NT Λ0 U N )T (U NT Λ̃−1 U N )(U NT Λ0 U N )X
= X T U NT Λ0 Λ̃−1 Λ0 U N X
= X T U NT Λ0 U N X
= X T L X. (3.8)
44 3 Lyapunov Analysis for Cooperative Adaptive Consensus Under Undirected Graph
In this subsection, we show how to construct the adaptive part of Lyapunov function
available for the cooperative adaptive control of nonlinear MAS with unknown time-
varying control gain and non-parametric uncertainties.
With the aid of the virtual parameter estimation error introduced in Sect. 3.2, we
construct the adaptive part of the Lyapunov function candidate as
1 T −1 1
V2 = •˜ Γ •˜ = (• − g •ˆ )T Γ −1 (• − g •ˆ ) (3.9)
2g 2g
With such defined adaptive part of Lyapunov function, the unknown time-varying
gain and non-parametric uncertainties can be handled gracefully without the need
for linearization or approximation to the original systems.
The next section shows how the graph Laplacian matrix and virtual parameter
estimation error works in the Lyapunov stability analysis for the distributed leaderless
consensus control of nonlinear MAS with unknown non-parameter uncertainties.
In this section, we take the Lyapunov stability analysis for adaptive leaderless consen-
sus of system (3.1) subject to unknown time-varying control gain and non-parametric
uncertainties as an example to show how the Lyapunov function works in the Lya-
punov stability analysis.
The distributed adaptive controller based on the signum function is designed as
follows:
u i = −ki ai j (xi − x j ) + u ci , i = 1, . . . , N , (3.11)
j∈N i
3.4 Lyapunov Analysis for Adaptive Leaderless Consensus 45
and ki , γ1i , γ2i > 0 are finite design constant parameters, ĉ f i and θ̂i are the estima-
tions of the virtual parameters c f i and θi (c f i and θi are defined as in Assumption
3.2), respectively, and ϕi (·) is the readily computable scalar function as given in
Assumption 3.2.
Next, we provide the Lyapunov stability analysis to show how the distributed part
of Lyapunov function and adaptive part of Lyapunov function work, respectively.
Theorem 3.1 With the distributed control law given in (3.11) together with the
compensation control term (3.12) and the adaptive law (3.13), system (3.1) under
Assumptions 3.1–3.2 and an undirected connected graph topology G achieves asymp-
totically stable consensus. Further, the internal signals including the control input
signal, the neighborhood error, and parameter estimation error in the system remain
uniformly bounded.
1 T
V1 = E ΛE (3.14)
2
N
V̇1 = X T L Ẋ = E T Ẋ = ei (gi u i + f i + f di ). (3.15)
i=1
By performing the control law proposed in (3.11) and the compensation term (3.12),
(3.15) then becomes
N
V̇1 = ei [gi (−ki ei + u ci ) + f i + f di ]
i=1
N
=− ki gi ei2 + ei gi (−sgn(ei )ĉ f i ϕi − sgn(ei )θ̂i ) + f i + f di
i=1
46 3 Lyapunov Analysis for Cooperative Adaptive Consensus Under Undirected Graph
N
N
≤− ki gi ei2 + [−g ĉ f i ϕi |ei | − g θ̂i |ei | + c f i ϕi |ei | + θi |ei |]
i=1 i=1
N N
=− ki gi ei2 + (c f i − g ĉ f i )ϕi |ei | + (θi − g θ̂i )|ei | . (3.16)
i=1 i=1
Step 2. Introducing the virtual parameter estimation error into the adaptive part
of Lyapunov function.
Note that (3.16) involves the parameter estimation error of the form •˜ = • − g •ˆ ;
we then introduce such virtual parameter estimation error into the adaptive part of
Lyapunov function candidate as
1 T −1 1 T −1
V2 = C̃ f Γ1 C̃ f + θ̃ Γ2 θ̃ (3.17)
2g 2g
with
C̃ f = C f − g Ĉ f , θ̃ = θ − g θ̂ (3.18)
N
N
= (c f i − g ĉ f i )ϕi |ei | + (θi − g θ̂i )|ei |. (3.19)
i=1 i=1
V = V1 + V2 . (3.20)
N
V̇ =V̇1 + V̇2 ≤ − ki gi ei2 ≤ −kgE2 ≤ 0 (3.21)
i=1
3.4 Lyapunov Analysis for Adaptive Leaderless Consensus 47
where k = min{k1 , . . . , k N }. From (3.21), we see that E2 ≤ −V̇ (t)/kg, which
then implies that
∞ ∞
V̇ (t) 1 1
E(t)2 dt ≤ − dt = − (V (∞) − V (0)) ≤ V (0) < ∞
0 0 kg kg kg
(3.22)
By recalling the fact that E is uniformly continuous, which, together with (3.22),
implies that limt→∞ E(t) = limt→∞ L X (t) = 0 upon using the Barbalat lemma.
According to Lemma 3.2, we see that L X = 0 if and only if xi = x j for all i, j =
1, . . . , N . Therefore, xi = x j for all i, j = 1, . . . , N as t → ∞, which means that
the asymptotically stable leaderless consensus is achieved under the proposed control
scheme (3.11)–(3.13). In addition, from (3.21), we can deduce that V ∈ L ∞ , which
further ensures that E ∈ L ∞ , C̃ ∈ L ∞ , and θ̃ ∈ L ∞ . From the definition of C̃ and θ̃,
it is straightforward that Ĉ ∈ L ∞ and θ̂ ∈ L ∞ , which further implies that U ∈ L ∞ .
It is then concluded that the control input, the neighborhood errors, and the param-
eter estimation errors in the system remain uniformly bounded under the proposed
control.
References
1. Song, Y.D., Huang, X.C., Wen, C.Y.: Tracking control for a class of unknown nonsquare MIMO
nonaffine systems: a deep-rooted information based robust adaptive approach. IEEE Trans.
Autom. Control 61(10), 3227–3233 (2016)
2. Chen, Z., Huang, J.: Dissipativity, stabilization, and regulation of cascade-connected systems.
IEEE Trans. Autom. Control 49(5), 635–650 (2004)
3. Hornik, K., Stinchcombe, M., White, H.: Multilayer feedforward networks are universal approx-
imators. Neural Netw. 2(5), 359–366 (1989)
4. Wang, Y.J., Song, Y.D., Lewis, F.L.: Robust adaptive fault-tolerant control of multi-agent systems
with uncertain non-identical dynamics and undetectable actuation failures. IEEE Trans. Ind.
Electron. 62(6), 3978–3988 (2015)
5. Zhang, H., Lewis, F.L.: Adaptive cooperative tracking control of higher-order nonlinear systems
with unknown dynamics. Automatica 48, 1432–1439 (2012)
6. Shen, Q., Jiang, B., Shi, P., Jun, Z.: Cooperative adaptive fuzzy tracking control for networked
unknown nonlinear multi-agent systems with time-varying actuator faults. IEEE Trans. Fuzzy
Syst. 22(3), 494–504 (2014)
7. Olfati-Saber, R., Murray, R.: Consensus problems in networks of agents with switching topology
and time-delays. IEEE Trans. Autom. Control 49, 1520–1533 (2004)
8. Zhang, H., Lewis, F.L., Qu, Z.: Lyapunov, adaptive, and optimal design techniques for coop-
erative systems on directed communication graphs. IEEE Trans. Ind. Electron. 59, 3026–3041
(2012)
9. Bernstein, D.: Matrix Mathematics: Theory, Facts, and Formulas, 2nd edn. Princeton University
Press, Princeton (2009)
Chapter 4
Cooperative Adaptive Consensus Control
for Uncertain Multi-agent Systems with
nth-Order Dynamics Under Undirected
Graph
Part of Sects. 4.2 and 4.4 have been reproduced from Wang, Y. J., Song, Y. D., Lewis, F. L.: Robust
adaptive fault-tolerant control of multi-agent systems with uncertain non-identical dynamics and
undetectable actuation failures. IEEE Transactions on Industrial Electronics, vol. 62, no. 6, pp.
3978–3988, 2015 c 2015, IEEE, reprinted with permission.
In this section, we address the leaderless consensus problem for first-order MAS with
unknown time-varying gain and non-parametric uncertainties on graph based on the
principles of core function, virtual parameter estimation error, and Lyapunov stability
theory introduced in Chap. 3. To help with the understanding of the fundamental idea
and technical development of the proposed method, we start with controller design
for the first-order MAS, followed by the extension to the second-order and high-order
case in later sections. This section formulates the basic structure of the distributed
control schemes to confront the leaderless consensus problems and show how to learn
the unknown non-parametric uncertainties online to ensure the leaderless consensus
by using distributed adaptive control technique on graph.
where xi ∈ R and u i ∈ R are the state and control input of the ith (i = 1, 2, . . . , N )
agent, respectively, gi is the control gain, f i and f di
are the system nonlinearities
and non-vanishing uncertainties, respectively; z i = j∈N i i x j .
Assumption 4.1
a. gi (i = 1, 2, . . . , N ) is unknown, time-varying, and bounded away from zero;
that is, there exist unknown finite positive constants g i and ḡi such that 0 < g i ≤
|gi (·)| ≤ ḡi < ∞, and gi is sign-definite (w. l. o. g. here sgn(gi ) = +1).
b. Certain crude structural information on f i (z i (t), t) is available to allow an
unknown constant c f i ≥ 0 and a known scalar function ϕi (z i ) to be extracted
[2], such that | f i (z i (t), t)| ≤ c f i ϕi (z i ) for t ∈ [t0 , ∞), where ϕi (z i ) is bounded
for any xi (i = 1, 2, . . . , N ). There exists unknown finite positive constant θi
such that | f di (z i (t), t)| ≤ θi < ∞.
4.1 Cooperative Adaptive Control of First-Order Uncertain Systems … 51
We consider the controller design and stability analysis for the first-order uncer-
tain MAS (4.1). It should be stressed that the control scheme proposed in Sect. 3.4
for the same system model (4.1), although capable of dealing with the unknown
time-varying gain and non-parametric/non-vanishing uncertainties, might cause the
undesired chattering phenomenon when the consensus error crosses zero due to
the utilization of the sign function. In this subsection, we propose a continuous
control solution not only to compensate the unknown time-varying gain and non-
parametric/non-vanishing uncertainties but also to avoid the undesirable chatting
phenomenon.
Before moving on, we first give a useful lemma as follows.
Lemma 4.1 ([1]) For a real diagonal matrix M with appropriate dimension, if
vectors X and Y satisfy that each component of their product X T Y is nonnegative,
it then holds that
λmin (M)X T Y ≤ X T MY ≤ λmax (M)X T Y
with λmax (M) and λmin (M) denoting the maximum and minimum eigenvalues of M,
respectively.
ĉ f i ϕi2 ei θ̂i ei
u ci = − − , (4.4)
ϕi |ei | + ε |ei | + ε
ki , γ1i , γ2i , σ1i , σ2i > 0 are finite design constant parameters, ε is a small positive
constant, ĉ f i and θ̂i are the estimations of the virtual parameters c f i and θi (c f i and
52 4 Cooperative Adaptive Consensus Control for Uncertain Multi-agent Systems …
θi are defined as in Assumption 4.1), respectively, and ϕi (·) is the readily computable
scalar function as given in Assumption 4.1.
The main result in this subsection is given as follows.
Theorem 4.1 Suppose that the graph topology G is undirected and connected. The
MAS (4.1) under Assumption 4.1 with the distributed control law proposed in (4.3)
and (4.5) achieves the CUUB leaderless consensus. In addition, the internal system
signals including the control input signal, the position error, and the parameter
estimation error remain uniformly bounded.
V = V1 + V2 (4.6)
with
1 c̃ f i 1 θ̃i2
N 2 N
1 T
V1 = E ΛE, V2 = + (4.7)
2 2g γ1i 2g γ2i
i=1 i=1
N
V̇1 = X T L Ẋ = E T Ẋ = ei (gi u i + f i + f di ). (4.8)
i=1
By performing the control law u i proposed in (4.3) and the compensation unit u ci
given in (4.4), the time derivative of V1 then becomes
N
V̇1 = ei [gi (−ki ei + u ci ) + f i + f di ]
i=1
N
N
ĉ f i ϕi2 ei2 θ̂i ei2
≤− ki gi ei2 + −gi − gi + |ei |c f i ϕi + |ei |θi
i=1
ϕi |ei | + ε |ei | + ε
i=1
N N
ĉ f i ϕi2 ei2 θ̂i ei2
≤ − kg ei2 + −g −g
i=1
ϕi |ei | + ε |ei | + ε
i=1
c f i ϕi ei + c f i ϕi |ei |ε θi ei + θi |ei |ε
2 2 2
+ + (4.9)
ϕi |ei | + ε |ei | + ε
ϕi |ei | |ei |
By noting that ϕi |ei |+ε
≤ 1 and |ei |+ε
≤ 1, we then arrive at
4.1 Cooperative Adaptive Control of First-Order Uncertain Systems … 53
N
N ϕi2 ei2 ei2
V̇1 ≤ − kg ei2 + c f i − g ĉ f i + θi − g θ̂i + c f i ε + θi ε
ϕi |ei | + ε |ei | + ε
i=1 i=1
(4.10)
On the other hand, upon using the updated laws for ĉ f i and θ̂i designed in (4.5), one
gets the derivative of V2 as
ĉ˙ f i θ̂˙i
N N
V̇2 = (c f i − g ĉ f i )(− ) + (θi − g θ̂i )(− )
γ1i γ2i
i=1 i=1
N
ϕi2 ei2 N
ei2
= (c f i − g ĉ f i )(σ1i ĉ f i − )+ (θi − g θ̂i )(σ2i θ̂i − ).
ϕi |ei | + ε |ei | + ε
i=1 i=1
(4.11)
By combining (4.10) and (4.11), we then get the derivative of the Lyapunov function
candidate V as
N
N
N
N
V̇ =V̇1 + V̇2 ≤ −kg ei2 + (c f i ε + θi ε) + σ1i c̃ f i ĉ f i + σ2i θ̃i θ̂i .
i=1 i=1 i=1 i=1
(4.12)
1 1 2
c̃ f i ĉ f i = c̃ f i (c f i − c̃ f i ) = c − c̃2f i − (c f i − c̃ f i )2 ,
g 2g f i
1 1
θ̃i θ̂i = θ̃i (θi − θ̃i ) = θ 2 − θ̃i2 − (θi − θ̃i )2 . (4.13)
g 2g i
N
V̇ ≤ − kg E T E + (c f i + θi )ε
i=1
1 1 1 1
N N N N
− σ1i c̃2f i + σ1i c2f i − σ2i θ̃i2 + σ2i θi2 . (4.14)
2g 2g 2g 2g
i=1 i=1 i=1 i=1
Denote by
σ 2 σ 2
N N
1
V̇ ≤ − kg E T ΛE − 1 c̃ f i − 2 θ̃i + d (4.17)
λmax (Λ) 2g 2g
i=1 i=1
Denote by
2kg 1 T σ 1γ 1
N
c̃2f i σ 2γ 2
N
θ̃i2
V̇ ≤ − ·E ΛE − − + d. (4.19)
λmax (Λ) 2 2g γ1i 2g γ2i
i=1 i=1
By letting
2kg
c = min , σ 1γ 1, σ 2γ 2 , (4.20)
λmax (Λ)
V̇ ≤ − cV + d. (4.21)
From (4.21), we can conclude that the set = {(ei , c̃ f i , θ̃i )|V ≤ d/c} is globally
attractive. Once (ei , c̃ f i , θ̃i ) ∈
/ , then V̇ < 0. Therefore, there exists a finite time
t ∗ such that (ei , c̃ f i , θ̃i ) ∈ for ∀t > t ∗ . This further implies, together with (4.15),
that
√ 2 2d
E = ET E ≤ V1 ≤ (4.22)
λmin (Λ) λmin (Λ)c
d
V (t) ≤ exp−ct V (0) + ∈ L∞ (4.23)
c
for all t ≥ 0, from which we can deduce that E ∈ L ∞ , ĉ f i ∈ L ∞ and θ̂i ∈ L ∞ for
all i = 1, . . . , N . Therefore, U ∈ L ∞ i.e., the control input remains bounded. This
completes the proof.
This section gives a simulation example to illustrate the effectiveness of the dis-
tributed adaptive control scheme proposed in (4.3)–(4.5). It is shown that under the
proposed control a group of agents subject to unknown time-varying control gain,
unknown non-parametric uncertainties, and unknown bounded non-vanishing dis-
turbances achieves leaderless consensus successfully.
We use four agents to demonstrate the effectiveness of our proposed control
scheme. The communication graph among the four agents is presented in Fig. 4.1,
which satisfies the assumption that the graph topology is undirected and connected.
Each edge weight is set to be 1.
The dynamics of the four agents is of the following form,
the four agents are smooth and bounded. Figures 4.5 and 4.6 portray the parameter
estimation values of the virtual estimation parameters c f i and θi (i = 1, 2, 3, 4),
respectively, from both of which we see that all the parameter estimation values, ĉ f i
and θ̂i (i = 1, 2, 3, 4), are bounded under the proposed control algorithm.
In this section, we address the leaderless consensus problem for the second-order
nonlinear multi-agent systems subject to non-parametric nonlinearities and unknown
bounded non-vanishing uncertainties.
Consider a group of N agents with scalar second-order dynamics
where xi ∈ R, vi ∈ R, and u i ∈ R denote the position state, velocity state, and control
input of the ith agent, respectively, gi is the control gain, possibly time-varying and
unavailable for controller design, f i denotes the system nonlinearity, and f di denotes
58 4 Cooperative Adaptive Consensus Control for Uncertain Multi-agent Systems …
Let the local neighborhood state error still be defined as in (4.2). To solve the leader-
less consensus problem for the second-order multi-agent systems, we need to intro-
duce two filtered variables ξi and si (i = 1, . . . , N ) as
ξ̇ = Ẍ + β Ẋ = GU + F + Fd + βv (4.27)
In this subsection, we address the controller design and stability analysis for system
(4.25).
The controller for the second-order multi-agent system (4.25) is designed as
u i = −ki si + u ci , i = 1, . . . , N (4.28)
and ki , γ1i , γ2i , σ1i , and σ2i are finite positive design parameters, ĉi and θ̂i are
the estimation values of the virtual parameters ci and θi (ci = max{c f i , β} and θi
is defined by | f di | ≤ θi given as in Assumption 4.1), respectively, ψi (·) = ϕi (·) +
|vi (t)| with ϕi (·) given as in Assumption 4.1, and ε > 0 is a small finite constant.
The main result in this subsection is given as follows.
Theorem 4.2 Suppose that the graph topology G is undirected and connected, and
gi , f i , and f di satisfy Assumption 4.1. The second-order nonlinear multi-agent system
(4.25) with the distributed control scheme (4.28), the compensation control term
(4.29), and the updated control law (4.30) achieves CUUB leaderless consensus. In
addition, all the internal system signals remain bounded.
Proof With the positive definite matrix Λ = U NT Λ̃−1 U N given in Sect. 3.3.1, we
construct the distributed Lyapunov function as
1 T
V1 = S ΛS. (4.31)
2
By following the similar procedure as in the proof in (3.8), we readily obtain that
1 T 1
V1 = S ΛS = ξ T Lξ. (4.32)
2 2
Taking the derivative of V1 along the error dynamic (4.27) yields
N
V̇1 = S T ξ̇ = S T (GU + F + Fd + βv) = (gi u i + f i + f di + βvi ) (4.33)
i=1
N
V̇1 = si (gi u i + f i + f di + βvi )
i=1
N
= si [gi (−ki si + u ci ) + f i + f di + βvi ]
i=1
60 4 Cooperative Adaptive Consensus Control for Uncertain Multi-agent Systems …
N
N
ĉi ψi2 si2 θ̂i si2
≤− ki gi si2 + [−gi − gi + |si |ci ψi + |si |θi ]
i=1
ψi |si | + ε |si | + ε
i=1
N
N
ψi2 si2
≤ − kg si2 + [(ci − g ĉi )
i=1
ψi |si | + ε
i=1
si2
+ (θi − g θ̂i ) + ci ε + θi ε]. (4.34)
|si | + ε
1 ci2 1 θi2
N N
V2 = + . (4.35)
2g i=1 γ1i 2g i=1 γ2i
By applying the updated law ĉ˙i and θ̂˙i given in (4.30), one gets the derivative of V2
as
ĉ˙i θ̂˙i
N N
V̇2 = (ci − g ĉi )(− ) + (θi − g θ̂i )(− )
γ1i γ2i
i=1 i=1
N
ϕi2 si2 N
si2
= (ci − g ĉi )(σ1i ĉi − )+ (θi − g θ̂i )(σ2i θ̂i − ). (4.36)
ϕi |si | + ε |si | + ε
i=1 i=1
V = V1 + V2
with V1 and V2 being given in (4.32) and (4.35), respectively. By combining (4.34)
and (4.36), we thus have the derivative of V as
N
N
N
N
V̇ =V̇1 + V̇2 ≤ −kg si2 + (ci ε + θi ε) + σ1i c̃i ĉi + σ2i θ̃i θ̂i . (4.37)
i=1 i=1 i=1 i=1
1 2 1
c̃i ĉi = ci − c̃i2 − (ci − c̃i )2 , θ̃i θ̂i = θ 2 − θ̃i2 − (θi − θ̃i )2 . (4.38)
2g 2g i
N
V̇ ≤ − kgS T S + (ci + θi )ε
i=1
1
N
1
N
1
N
1
N
− σ1i c̃i2 + σ1i ci2 − σ2i θ̃i2 + σ2i θi2
2g 2g 2g 2g
i=1 i=1 i=1 i=1
kg σ1
N
σ2
N
≤− S T ΛS − c̃i2 − θ̃i2
λmax (Λ) 2g 2g
i=1 i=1
N
1
N
1
N
+ (ci + θi )ε + σ1i ci2 + σ2i θi2
2g 2g
i=1 i=1 i=1
2kg 1 T σ 1γ 1
N
c̃i2 σ 2γ 2
N
θ̃i2
≤− ·
S ΛS − −
λmax (Λ) 2 2g γ1i 2g γ2i
i=1 i=1
N
1
N
1
N
+ (ci + θi )ε + σ1i ci2 + σ2i θi2 , (4.39)
2g 2g
i=1 i=1 i=1
V̇ ≤ − cV + d. (4.40)
Similar to the analysis given in the proof of Theorem 4.1, we readily derive that
√ 2 2d
S = ST S ≤ V1 ≤ (4.41)
λmin (Λ) λmin (Λ)c
after some finite time t ∗ , which further implies that E and Ė are bounded after some
finite time t ∗ . Therefore, E and Ė are CUUB.
In the sequel, we prove that all the internal system signals remain bounded. By
solving (4.40), it is deduced that
d
V (t) ≤ exp−ct V (0) + ∈ L∞ (4.42)
c
ẋi =vi ,
v̇i =gi u i + f i + f di , i = 1, 2, 3, 4 (4.43)
with
shows the control input signals u i (i = 1, 2, 3, 4) of the four agents, from which
we observe that all the control input signals of the four agents remain continuous
and bounded. Figures 4.13 and 4.14 represent the parameter estimation values of the
virtual parameters ci and θi (i = 1, 2, 3, 4), respectively, from both of which we see
that all the parameter estimation values ĉi and θ̂i (i = 1, 2, 3, 4) are bounded under
the proposed control scheme.
4.3 High-Order Systems 65
In this section, we address the leaderless consensus problem for high-order nonlinear
multi-agent systems subject to non-parametric uncertainties and unknown bounded
external disturbances.
We consider a group of N agents with scalar high-order dynamics
where xq,i ∈ R (q = 1, . . . , n) and u i ∈ R are the qth state and control input of the ith
agent, respectively, gi is the control gain, f i denotes the system
nonlinearity, and f di
denotes the non-vanishing uncertainty. In addition, z i = j∈N i i {x1, j , . . . , xn, j }.
Suppose that gi , f i and f di satisfy Assumption 4.1. Of particular interest in this
section is to design distributed adaptive controller for the high-order nonlinear multi-
agent system (4.44) with unknown time-varying gain and non-parametric uncertain-
ties to make the system achieve consensus. We also give strict theoretical analysis
and numerical simulation to demonstrate and verify the effectiveness of the proposed
control algorithm.
Let the local neighborhood state error be defined as in (4.2). To solve the leaderless
consensus problem for high-order multi-agent systems, we introduce two filtered
variables ζi and ωi (i = 1, . . . , N ) as
ζ̇ = β1 X 2 + β2 X 3 + · · · + βn−1 X n + Ẋ n
= GU + F + Fd + β1 X 2 + β2 X 3 + · · · + βn−1 X n (4.46)
In this subsection, we conduct the controller design and stability analysis for system
(4.44).
The controller for the n-order (n ≥ 2) multi-agent system (4.44) is designed as
u i = −ki ωi + u ci , i = 1, . . . , N (4.47)
where ki , γ1i , γ2i , σ1i , and σ2i are finite positive design parameters, ε > 0 is a small
finite constant, b̂i and θ̂i are the estimation values of the virtual parameters bi and θi
with
and
with ϕi (·) being a scalar and readily computable function given in Assumption 4.1.
The main result in this subsection is given as follows.
Theorem 4.3 Suppose that the graph topology G is undirected and connected, and
gi , f i , and f di satisfy Assumption 4.1. The n-order (n ≥ 2) nonlinear multi-agent
system (4.44) with the distributed control scheme (4.47), the compensation control
term (4.48), and the updated control law (4.49) achieves CUUB leaderless consensus.
In addition, all the internal system signals remain bounded.
Proof With the positive definite matrix Λ = U NT Λ̃−1 U N given in Sect. 3.3.1, we
construct the distributed Lyapunov function as
1 T
V1 = ω Λω (4.52)
2
By following the similar procedure as in the proof in (3.8), we can get
4.3 High-Order Systems 67
1 T 1
V1 = ω Λω = ζ T L ζ. (4.53)
2 2
Taking the derivative of V1 along the error dynamic (4.46) yields
Upon using the control law u i given in (4.47) and the compensating unit u ci given
in (4.48), one gets the time derivative of V1 as
N
V̇1 = ωi gi u i + f i + f di + β1 x2,i + β2 x3,i + · · · + βn−1 xn,i
i=1
N
= ωi gi (−ki ωi + u ci ) + f i + f di + β1 x2,i + β2 x3,i + · · · + βn−1 xn,i
i=1
N
N
b̂i φi2 ωi2 θ̂i ωi2
≤− ki gi ωi2 + −gi − gi + |ωi |bi φi + |ωi |θi
φi |ωi | + ε |ωi | + ε
i=1 i=1
N
N φi2 ωi2 ωi2
≤ − kg ωi2 + bi − g b̂i + θi − g θ̂i + bi ε + θi ε .
φi |ωi | + ε |ωi | + ε
i=1 i=1
(4.56)
1 T −1 1 T −1
V2 = B̃ Γ1 B̃ + θ̃ Γ2 θ̃ (4.57)
2g 2g
N
N
φi2 ωi2 ωi2
= bi − g b̂i σ1i b̂i − + θi − g θ̂i σ2i θ̂i − .
φi |ωi | + ε |ωi | + ε
i=1 i=1
(4.58)
V = V1 + V2
with V1 and V2 being given in (4.53) and (4.57), respectively. The derivative of V
thus follows from (4.56) and (4.58) that
N
N
N
N
V̇ =V̇1 + V̇2 ≤ −kg ωi2 + (bi ε + θi ε) + σ1i b̃i b̂i + σ2i θ̃i θ̂i . (4.59)
i=1 i=1 i=1 i=1
1 1
b̃i b̂i = b2 − b̃i2 − (bi − b̃i )2 , θ̃i θ̂i = θ 2 − θ̃i2 − (θi − θ̃i )2 . (4.60)
2g i 2g i
N
V̇ ≤ − kgω ω + (bi + θi )ε
T
i=1
1 1 1 1
N N N N
− σ1i b̃i +
2
σ1i bi −
2
σ2i θ̃i +
2
σ2i θi2
2g 2g 2g 2g
i=1 i=1 i=1 i=1
1 1
N N
1
≤ − kg ω Λω −
T
σ1i b̃i −
2
σ2i θ̃i2
λmax (Λ) 2g 2g
i=1 i=1
N
1
N
1
N
+ (bi + θi )ε + σ1i bi +
2
σ2i θi2
2g 2g
i=1 i=1 i=1
2kg 1 T σ 1γ 1
N
b̃i2 σ 2γ 2
N
θ̃i2
≤− · ω Λω − −
λmax (Λ) 2 2g γ1i 2g γ2i
i=1 i=1
N
1
N
1
N
+ (bi + θi )ε + σ1i bi +
2
σ2i θi2 , (4.61)
2g 2g
i=1 i=1 i=1
4.3 High-Order Systems 69
V̇ ≤ − cV + d. (4.62)
Similar to the analysis given in the proof of Theorem 4.1, we readily derive that
√ 2 2d
ω = ωT ω ≤ V1 ≤ (4.63)
λmin (Λ) λmin (Λ)c
after some finite time t ∗ , which further implies that all the qth (q = 1, . . . , n) neigh-
borhood error E q are bounded after some finite time t ∗ by the definition of ω according
to Lemma 3 in [3]. Therefore, all E q (q = 1, . . . , n) are CUUB.
In the sequel, we prove all the internal system signals are bounded. By solving
(4.62), it is deduced that V (t) ≤ exp−ct V (0) + dc ∈ L ∞ for all t ≥ 0, which then
implies that ω ∈ L ∞ , E q ∈ L ∞ (q = 1, . . . , n), b̂i ∈ L ∞ and θ̂i ∈ L ∞ for all i =
1, . . . , N . Hence, U ∈ L ∞ ; i.e., the control input is bounded. This completes the
proof.
1. Note that each node in systems (4.1), (4.25), and (4.44) has its own distinct
dynamics, and both the node nonlinearities f i (·) and the node non-vanishing
uncertainties (including the external disturbances) f di (·) are unknown and non-
identical. In addition, f i (·) and f di (·) associated with the ith agent are not only
related to the state of the ith agent itself but also influenced by its neighbors; this
is in contrast to most existing works that ignore the coupling effects among the
neighboring agents.
2. The impact of the parameter variation of the agent is explicitly reflected in the
models (4.1), (4.25), and (4.44). Note that such variation literally leads to unknown
and time-varying control gains in the model, thus making the control design and
stability analysis much more involved as compared to the case of known and
constant control gains [3–11], and unknown yet constant gains [12].
3. It should be stressed that in practice it would be very difficult, if not impossible,
to obtain the exact values of those bounds involved in Assumptions 4.1. In this
work, the control scheme is developed without the need for analytical estimation
of such bounds, although the fact that those bounds do exist is used for stability
analysis.
70 4 Cooperative Adaptive Consensus Control for Uncertain Multi-agent Systems …
4. The control scheme as given in (4.3) and (4.4) consists of a robust control and
an adaptive control; the later contains two crucial parameters that are adaptively
adjusted during the system operation. The updating algorithm (4.5) has a constant
decay term to prevent the estimated parameter from drifting. The role of the small
constant ε in the denominator is to ensure the continuity of the control action.
The reason for including the other term in the algorithm is to accommodate the
lumped uncertainties in the model to guarantee CUUB consensus, as seen in the
stability analysis.
5. In building the compensation control u ci , the adaptively adjusted parameters ĉ f i
and θ̂i rather than c f i and θi are used, thus avoiding the conservative and excessive
control effort. In particular, during the start-of stage, the initial control effort from
u ci can be made as small as zero by setting ĉi (0) = 0 and θ̂i (0) = 0, which can
be chosen freely by the designer.
6. In developing the control schemes, a number of virtual parameters such as c f i
and θi are defined and used in the stability analysis, but those parameters are not
involved in the control algorithms, thus analytical estimation of those parameters
(a nontrivial task) is not needed in setting up and implementing the proposed
control strategies.
References
1. Wang, Y.J., Song, Y.D., Lewis, F.L.: Robust adaptive fault-tolerant control of multi-agent
systems with uncertain non-identical dynamics and undetectable actuation failures. IEEE Trans.
Ind. Electron. 62(6), 3978–3988 (2015)
2. Song, Y.D., Huang, X.C., Wen, C.Y.: Tracking control for a class of unknown nonsquare MIMO
nonaffine systems: A deep-rooted information based robust adaptive approach. IEEE Trans.
Autom. Control 61(10), 3227–3233 (2016)
3. Zhang, H., Lewis, F.L.: Adaptive cooperative tracking control of higher-order nonlinear systems
with unknown dynamics. Automatica 48, 1432–1439 (2012)
4. Su, H., Chen, G., Wang, X., Lin, Z.: Adaptive second-order consensus of networked mobile
agents with nonlinear dynamics. Automatica 47, 368–375 (2011)
5. Yu, H., Xia, X.: Adaptive consensus of multi-agents in networks with jointly connected topolo-
gies. Automatica 48, 1783–1790 (2012)
6. Mei, J., Ren, W., Chen, J., Ma, G.: Distributed adaptive coordination for multiple Lagrangian
systems under a directed graph without using neighborsvelocity information. Automatica 49,
1723–1731 (2013)
7. Das, A., Lewis, F.L.: Distributed adaptive control for synchronization of unknown nonlinear
networked systems. Automatica 46, 2014–2021 (2010)
8. Zhang, H., Lewis, F.L., Qu, Z.: Lyapunov, adaptive, and optimal design techniques for coop-
erative systems on directed communication graphs. IEEE Trans. Indust. Elec. 59, 3026–3041
(2012)
9. Li, J., Kumar, K.D.: Decentralized fault-tolerant control for satellite attitude synchronization.
IEEE Trans. Fuzzy Syst. 20, 572–586 (2012)
10. Chen, G., Song, Y.D.: Fault-tolerant output synchronisation control of multi-vehicle systems.
IET Control Theory Appl. 8(8), 574–584 (2014)
References 71
11. Shen, Q., Jiang, B., Shi, P., Jun, Z.: Cooperative adaptive fuzzy tracking control for networked
unknown nonlinear multi-agent systems with time-varying actuator faults. IEEE Trans. Fuzzy
Syst. 22(3), 494–504 (2014)
12. Zhou, B., Wang, W., Ye, H.: Cooperative control for consensus of multi-agent systems with
actuator faults. Comput. Elect. Eng. 40(7), 2154–2166 (2014)
Chapter 5
Cooperative Adaptive Consensus
for Multi-agent Systems Under Directed
Topology
In Chap. 4, we studied the controller design and stability analysis for the cooperative
adaptive leaderless consensus control problem of networked multi-agent systems,
including first-order systems, second-order systems, and high-order systems, all with
unknown time-varying gain and non-parametric/non-vanishing uncertainties under
the undirected communication topology condition. Considering that the networked
communication among the subsystems is not always bidirectional in practice, it is
necessary to take the one-way directed communication condition into consideration.
In comparison with the undirected topology condition, the one-way directed com-
munication topology obviously complicates the underlying problem significantly.
The technical difficulties mainly arise from the asymmetry of the Laplacian matrix
associated with the directed topology graph. In this chapter, we attempt to address the
distributed leaderless consensus control problem of networked multi-agent systems
under local and one-way directed communication conditions.
The key to tackle the technical difficulty arising from the directed communica-
tion constraints depends on how to construct the Lyapunov function on graph. In
Sect. 5.1, we derive some results related to the Laplacian matrix, which is crucial
to construct the Lyapunov function suitable for the leaderless consensus stability
analysis, and show how to construct the special Lyapunov function on graph. In
Sect. 5.2, we address the leaderless cooperative consensus control problem for first-
order continuous-time multi-agent systems subject to uncertainties under directed
topology. The basic results and key ideas of cooperative control under directed topol-
ogy emerge from this study. Section 5.3 investigates the leaderless consensus control
problem of nonlinear multi-agent systems with second-order dynamics in the pres-
ence of unknown time-varying gain and non-parametric/non-vanishing uncertain-
ties. The focus of this section is the controller design and stability analysis for the
cooperative consensus of second-order uncertain multi-agent systems, in which both
unknown time-varying gain and non-parametric/non-vanishing modeling uncertain-
ties should be compensated and the directed topology condition should be addressed
© Springer Nature Switzerland AG 2019 73
Y. Song and Y. Wang, Cooperative Control of Nonlinear
Networked Systems, Communications and Control Engineering,
https://doi.org/10.1007/978-3-030-04972-0_5
74 5 Cooperative Adaptive Consensus for Multi-agent Systems …
Graph Laplacian potential was introduced in [1] for undirected graph with 0–1 adja-
cency elements. Later, it was extended to weighted undirected graphs [2]. In this
section, we extend the concept of Laplacian potential to directed graphs and show
how the Lyapunov function is related to the directed graph Laplacian and the neigh-
borhood error. In the next section, we show how to apply such Laplacian potential
in the Lyapunov analysis of the leaderless consensus problems for nonlinear MAS
under directed topology.
Before moving on, we first present several useful lemmas. First, it is important
to note that for directed communication topology the Laplacian matrix L is no
longer symmetric in contrast to the case associated with undirected graph where
the Laplacian matrix is symmetric, and semi-positive definite with one simple zero
eigenvalue. This imposes technical challenge in constructing Lyapunov function. To
circumvent the technical difficulty in constructing Lyapunov function arising from
asymmetric property of the original Laplacian matrix L under directed graph, a
new matrix Q is introduced that exhibits the property of symmetry and semi-positive
definiteness with one simple zero eigenvalue, as stated in the following Lemma.
Proof It is worth noting that in the work by [3] it has been shown that Q is sym-
metric and positive semi-definite. Here we further reveal that such Q is a Laplacian
corresponding to a connected undirected graph and thus has only one simple zero
eigenvalue.
First, note that p T L = 01×N , which implies that Nj=1 ai j pi = Nj=1 a ji p j for
all i, j ∈ {1, . . . , N }, and then it is derived that
5.1 Graph Laplacian Potential Under Directed Topology 75
Lemma 5.2 For a strongly connected directed network with Laplacian L , let Q be
defined as in Lemma 5.1, then ∀x = 0 N ,
x T Qx = 0 (5.3)
if and only if
x = c1 N (5.4)
x T Qx
where c = 0 is a constant. Moreover, min xT x
exists and
x=c1 N
N
x T Qx
0 < min ≤ λi (Q). (5.5)
x=c1 N xT x i=2
76 5 Cooperative Adaptive Consensus for Multi-agent Systems …
N
x T Qx = x T RΞ R T x = y T Ξ y = λi (Q)yi2
i=1
=0· y12 + λ2 (Q)y22 + · · · + λ N (Q)y N2 , (5.6)
x T Qx = y T Λy = 0 (5.7)
if and only if
y1 = 0,
(5.8)
yi = 0, i = 2, . . . , N
x = a1 r 1 + a2 r 2 + · · · + a N r N (5.9)
and then
a1r1T r1 = 0, a1 = 0,
⇐⇒
ai riT ri = 0, i = 2, . . . , N ai = 0, i = 2, . . . , N
x = a1 r 1 . (5.11)
Note that 1 N is the eigenvector of Q associated with the simple zero eigenvalue, i.e.,
λ1 (Q), therefore r1 = k1 N , with k being a nonzero constant, and then
x = a1 k1 N = c1 N (5.12)
5.1 Graph Laplacian Potential Under Directed Topology 77
where c = a1 k. Thus, ∀x = 0 N ,
x T Qx
min ≤ min x T Qx = min yT Ξ y
x=c1 N xT x x=c1 N ,x T x=1 x=c1 N ,y T y=1
N
≤ min λi (Q)yi2 ≤ λ2 (Q). (5.13)
x=c1 N ,y T y=1,y3 =···=y N =0
i=1
ET QE
≥ km . (5.14)
ET E
N
Proof Note that p T E = p T L X = 0, i.e., i=1 pi ei = 0, and pi > 0 according
to [4], from which we know that for E = 0 and i = 1, . . . , N , it is impossible that
sgn(ei ) = 1 (or sgn(ei ) = −1). Therefore, E = c1 N with c being a nonzero constant.
T
According to Lemma 5.2, there exists a constant km = min EE TQEE > 0 such that
E=0 N
ET QE
ET E
≥ km > 0.
According to the above analysis, we next construct the first part of Lyapunov
function candidate as
V1 = E T diag( p)E, (5.15)
The focus of this section is to show how to tackle the directed topology in the
leaderless consensus control problem, so here we consider the following normal-
form continuous-time system with first-order dynamics,
78 5 Cooperative Adaptive Consensus for Multi-agent Systems …
where xi ∈ R and u i ∈ R are the state and control input of the ith (i = 1, 2, . . . , N )
agent, respectively, gi is the control gain, f i denotes the system nonlinearities, and
f di denotes the non-vanishing uncertainties; z i = j∈N i i x j .
The control objective of this section is to design a control strategy under the directed
topology condition such that the leaderless consensus errors uniformly converge to
zero asymptotically, and meanwhile, to give the strict stability analysis.
To this end, the control input for each ith (i = 1, . . . , N ) agent is designed as
1
ui = − [kei + f i + f di ] , (5.17)
gi
1 T
V = E diag( p)E, (5.19)
2
whose derivative along (5.18) is
N
kkm T kkm
V̇ (t) = − k E (diag( p)L ) E ≤ −
T
E E =− ei2 . (5.21)
2 2 i=1
Note that
N
1 p̄
V (t) = E T diag( p)E ≤ ei2 , (5.22)
2 2 i=1
kkm
V̇ (t) ≤ − V (t). (5.23)
p̄
From (5.24) we conclude that, for any given initial state X (t0 ) ∈ R N ,
E → 0 as t → +∞, (5.26)
meaning that the leaderless consensus is achieved asymptotically under the proposed
control (5.17).
The focus of this section is to address the leaderless consensus problem of second-
order dynamic multi-agent systems with unknown time-varying gain and non-
parametric uncertainties under directed topology.
80 5 Cooperative Adaptive Consensus for Multi-agent Systems …
where xi ∈ R, vi ∈ R, and u i ∈ R are the position state, velocity state, and control
input of the ith (i = 1, 2, . . . , N ) agent, respectively, gi denotes the control gain,
possibly time-varying and unavailable for controller design, f i denotes the system
nonlinearities, and f di denotes the non-vanishing uncertainties ( f i and f di are either
continuously differentiable or Lipschitz). In addition, z i = j∈N i i {x j , v j }.
The following standard assumptions are in order.
Assumption 5.2
a. The unknown and time-varying gain gi is sign-definite (w. l. o. g. here sgn(gi ) =
+1) and 0 < g i ≤ |gi (·)| ≤ ḡi < ∞ with g i , ḡi being unknown finite constants,
which ensures the global controllability of the system.
b. It is assumed that f i (z i , t) is unknown and non-parameterized. Thus, they are not
available in the finite-time control design in this section. Certain crude structural
information is available to allow an unknown finite positive constant c f i and a
known scalar function ϕi (z i ) such that | f i (z i , t)| ≤ c f i ϕi (z i ) for all t ≥ t0 , where
ϕi (z i ) is bounded for all z i (i = 1, . . . , N ).
c. The unknown and non-vanishing f di (z i , t) is bounded by some finite positive
constant θi , that is, | f di (z i , t)| ≤ θi < ∞.
In addition, it is assumed for ease of notation that the agents’ states are scalars,
i.e., xi ∈ R, vi ∈ R. If the states are vectors, i.e., xi ∈ Rm and vi ∈ Rm , the results of
this chapter can be extended by using the standard method involving the Kronecker
products.
The local neighborhood state error for node i is
ei = ai j (xi − x j ) (5.28)
j∈N i
constructing the Lyapunov function arising from asymmetric property of the original
Laplacian matrix under the directed communication topology condition. (3) Tackle
unknown and time-varying control gains and accommodate unknown non-parametric
uncertainties and unknown non-vanishing nonlinearities.
The control objective of this section is to design a distributed adaptive controller under
the directed topology condition such that the impacts arising from the asymmetric
property of the original Laplacian matrix under directed topology can be removed,
and meanwhile the unknown time-varying control gain, unmodeling nonlinearities,
and non-vanishing uncertainties can be compensated, and finally, the leaderless con-
sensus of the networked multi-agent systems with second-order uncertain dynamics
is ensured.
The control input for each ith (i = 1, . . . , N ) agent is designed to consist of two
parts: (1) the negative feedback control term u 0i and (2) the compensation control
term u ci , which is of the following form,
u i = u 0i + u ci , (5.29)
u 0i = −c1 δi , (5.30)
where δi = vi − vi∗ with vi∗ = −c2 ei , c1 , c2 > 0 are design parameters, ĉ f i and θ̂i
are, respectively, the estimations of c f i and θi (the parameters to be estimated), ϕi (·)
is the scalar and readily computable function as given in Assumption 5.2, and τi , γ1i ,
γ2i , σ1i , and σ2i are positive design parameters chosen by the designer.
connected. If the distributed control laws (5.29)–(5.32) are applied, then leaderless
consensus is achieved in that
(1) the leaderless consensus positive errors ei (i = 1, . . . , N ) and velocity errors
converge to a small residual set Ω1 defined by
⎛ ⎞
2dkv 2c22 dkv 2dkv ⎠
Ω1 = |ei | ≤ , |vi − v j | ≤ 2 ⎝ + c2 ,
pkd kd pkd
∀i, j ∈ {1, . . . , N } , (5.33)
where kd and kv are given, respectively, in (5.58) and (5.61), which are explicitly
computable;
(2) the generalized parameter estimate errors c̃ f i and θ̃i converge to a small set Ω1 p
defined by
2 2 2 2
Ω1 p = c g γ̄1 dkv , |θ̃i | ≤ c g γ̄2 dkv , ∀i ∈ {1, . . . , N } ; (5.34)
kd 2 kd 2
Proof The proof of the result can be done by the following six steps.
Step 1. Construct the distributed part of the Lyapunov function candidate as
1 T
V1 (t) = E diag( p)E. (5.35)
2
Taking the time derivative of V1 (t) along (5.27) yields that
where ji is the ( j, i)th element of diag( p)L. By recalling that δi = vi − vi∗ , we get
that
5.3 Leaderless Consensus of Second-Order Uncertain Systems … 83
N
N N N
vi − vi∗ ji e j ≤ |δi | | ji ||e j |
i=1 j=1 i=1 j=1
⎡ 2 ⎛ ⎞2 ⎤
N N N N
1⎣
≤ max |δi | |ei | ≤ max |δi | +⎝ |e j |⎠ ⎦
i=1 j=1
2 i=1 j=1
1
N N
N max
N
2
≤ max N |δi | + N
2
|ei | 2
= δi + ei2 , (5.38)
2 i=1 i=1
2 i=1
2
N
N
where max = max j,i∈{1,...,N } | ji |, and the fact that x ≤N x 2 has been
i=1 i=1
used. By substituting (5.38) into (5.37), it thus follows that
c2 km
N
N max
N
V̇1 (t) ≤ − ei2 + δi2 + ei2 . (5.39)
2 i=1
2 i=1
N
1
V2 (t) = (vi − vi∗ )2 . (5.40)
2c22 i=1
N
1
V̇2 (t) = (vi − vi∗ )(v̇i − v̇i∗ )
c22 i=1
N N
1 1
= 2 δi (v̇i − v̇i∗ ) = 2 δi (v̇i − c2 ėi )
c2 i=1
c2 i=1
⎡ ⎤
N
1 ⎣δi v̇i − c2 δi
= 2 ai j (vi − v j )⎦ . (5.41)
c2 i=1 j∈N i
Let ā = max∀i∈{1,...,N } { ai j } and b̄ = max∀i, j{1,...,N } {ai j }, we then have from the
j∈N i
second term of the right side of (5.41) that
84 5 Cooperative Adaptive Consensus for Multi-agent Systems …
N
1
− c2 δi ai j (vi − v j )
c22 i=1 j∈N i
1
N
≤
|δi | ai j (vi − v j )
c2 i=1 j∈N i
1
N
q
= |δi | ai j (vi − v j )
c2 i=1 j∈N i
⎛ ⎞
N
1
≤ |δi | ⎝ā|vi | + b̄ |v j |⎠ . (5.42)
c2 i=1
j∈N i
Note that
|δi ||v j | ≤|δi | v j − v∗j + |δi | v∗j ≤ |δi ||δ j | + c2 |δi ||e j |
1 c2 2
≤ |δi |2 + |δ j |2 + |δi | + |e j |2 , (5.43)
2 2
we then have from (5.42) that
⎛ ⎞
N
1
|δi | ⎝ā|vi | + b̄ |v j |⎠
c2 i=1 j∈N i
āc2 2
N
1
≤ ā|δi |2 + |δi | + |ei |2
c2 i=1 2
1 2 b̄c2 2
+ b̄ |δi | + |δ j |2 + |δi | + |e j |2
2 2
j∈N i j∈N i
āc2 2 b̄c2 N̄ 2
N
1
≤ ā|δi |2 + |δi | + |ei |2 + b̄ N̄ |δi |2 + |δi | + |ei |2
c2 i=1 2 2
ā + b̄ N̄
N !" c2 # 2 c2 2 $
= 1+ |δi | + |ei | , (5.44)
c2 i=1
2 2
where N̄ denoting the maximum number of the in-degree and out-degree of each ith
agent for all i ∈ {1, . . . , N }. By combining (5.42) and (5.44), the second term of the
right side of (5.41) can be further written as
5.3 Leaderless Consensus of Second-Order Uncertain Systems … 85
N
1
− c2 δi ai j (vi − v j )
c22 i=1 j∈N i
ā + b̄ N̄
N !" c2 # 2 c2 2 $
≤ 1+ |δi | + |ei | . (5.45)
c2 i=1
2 2
By applying the control laws given in (5.29)–(5.31) to the first term of the right
hand of (5.41), we have
N N
δi v̇i = δi (gi u i + f i + f di )
i=1 i=1
N
≤ − c1 gi δi2 − δi gi ĉ f i ϕi tanh(δi ϕi /τi ) − δi gi θ̂i tanh(δi /τi )
i=1
where we have used the fact that 0 ≤ |s| − s · tanh(s/k) ≤ 0.2785k [5].
By substituting (5.45) and (5.46) into (5.41), we arrive at
N N N
1
V̇2 (t) ≤k1 δi2 + k2 ei2 + 2
0.2785τi c f i + θi
i=1 i=1 i=1
c2
where
c1 g ā + b̄ N̄ " c2 # ā + b̄ N̄
k1 = − + 1+ , k2 = . (5.48)
c22 c2 2 2
Step 3. Note that in (5.47) the parameter estimation error of the form •˜ = • −
g •ˆ is involved, which motivates us to introduce the generalized weight parameter
86 5 Cooperative Adaptive Consensus for Multi-agent Systems …
with which we introduce the third part of the Lyapunov function candidate as
N N
c̃2f i θ̃i2
V3 (t) = + . (5.50)
i=1
2c22 gγ1i i=1
2c22 gγ2i
By applying the adaptive laws for ĉ f i and θ̂i given in (5.32), we get the derivative
of V3 as
ĉ˙ f i θ̂˙i
N N
c̃ f i θ̃i
V̇3 (t) = (− ) + (− )
i=1
c22 γ1i i=1
c22 γ2i
c̃ f i
N
= 2
σ1i ĉ f i − δi ϕi tanh(δi ϕi /τi )
i=1
c2
θ̃i ! $
N
+ σ2i θ̂i − δi tanh(δi /τi )
i=1
c22
N N
σ1i σ2i
= c̃ f i ĉ f i + θ̃i θ̂i
i=1
c22 i=1
c22
N
1
− (c f i − g ĉ f i )δi ϕi tanh(δi ϕi /τi )
i=1
c22
N
1
− (θi − g θ̂i )δi tanh(δi /τi ). (5.51)
i=1
c22
where V1 (t), V2 (t), and V3 (t) are given in (5.35), (5.40), and (5.50), respectively.
By combining (5.39), (5.47), and (5.51), we then arrive at
N N N
σ1i
V̇ (t) ≤ − k3 δi2 − k4 ei2 + c̃ f i ĉ f i
i=1 i=1 i=1
c22
N N
σ2i 0.2785τi (c f i + θi )
+ θ̃i θ̂i + (5.53)
i=1
c22 i=1
c22
5.3 Leaderless Consensus of Second-Order Uncertain Systems … 87
where
N max c1 g ā + b̄ N̄ " c2 #
k3 = − + − 1+ ,
2 c22 c2 2
c2 km N max ā + b̄ N̄
k4 =− − . (5.54)
2 2 2
! $
Thus, c1 and c2 can be chosen as c1 > c22 g −1 N 2max + ā+cb̄2 N̄ 1 + c2
2
and c2 >
1
km
N max + ā + b̄ N̄ such that k3 and k4 > 0.
Upon using the inequality, ab = 21 [(a + b)2 − a 2 − b2 ], we have
1 2 1 ! 2 $
c̃ f i ĉ f i = c f i − c̃2f i − (c f i − c̃ f i )2 , θ̃i θ̂i = θi − θ̃i2 − (θi − θ̃i )2 .
2g 2g
(5.55)
N N N N
σ1 σ2
V̇ (t) ≤ −k3 δi2 − k4 ei2 − c̃2f i − θ̃i2 + d (5.56)
i=1 i=1
2gc22 i=1
2gc22 i=1
By introducing kd as
σ σ
kd = min k3 , k4 , 1 2 , 2 2 , (5.58)
2gc2 2gc2
N " #
V̇ (t) ≤ −kd δi2 + ei2 + c̃2f i + θ̃i2 + d. (5.59)
i=1
Step 5. We prove that there exists some finite time t ∗ > 0 such that the leaderless
error and the parameter estimation error will enter into a compact after t ∗ .
88 5 Cooperative Adaptive Consensus for Multi-agent Systems …
Note that
N
1 T p̄
V1 (t) = E diag( p)E ≤ ei2 ,
2 2 i=1
N N
1 1
V2 (t) = (vi − vi∗ )2 = δi2 ,
2c22 i=1
2c22 i=1
N N
1 1
V3 (t) ≤ 2
c̃2f i + 2
θ̃i2 (5.60)
2c2 gγ 1 i=1
2c2 gγ 2 i=1
N " #
V (t) ≤ kv δi2 + ei2 + c̃2f i + θ̃i2 . (5.62)
i=1
kd
V̇ (t) ≤ − V (t) + d, (5.63)
kv
from which we can conclude that the set Θ = {(xi , vi ) : V (t) < dk kd
v
} is globally
/ Θ, then V̇ < 0. Therefore, there exists a finite time t ∗
attractive. Once (xi , vi ) ∈
such that (xi , vi ) ∈ Θ for ∀t > t ∗ . This further implies that
dkv
V (t) < (5.64)
kd
when t > t ∗ .
Step 6. Derive the estimation for steady-state errors of all agents.
Note that for all i = 1, . . . , N , we have
&
% '
' N
2 2 2dkv
|ei | = ei ≤ (
2
ei2 ≤ V1 (t) ≤ V (t) ≤ , (5.65)
i=1
p p pkd
5.3 Leaderless Consensus of Second-Order Uncertain Systems … 89
2dkv
|vi∗ | = | − c2 ei | ≤ c2 . (5.67)
pkd
and
2 2
|θ̃i | ≤ c g γ̄2 dkv , (5.71)
kd 2
when t > t ∗ .
in which Mk = diag{m x,k , m y,k , m z,k } denotes the mass matrix; rk = [xk , yk , z k ]T ,
vk = ṙk = [vx,k , v y,k , vz,k ]T , and u k = [u x,k , u y,k , u z,k ]T denote the position, velocity,
and control input vector, respectively; Dk = [dx,k , d y,k , dz,k ]T is environment distur-
bance, and f k = [ f x,k , f y,k , f z,k ]T represents coriolis, centripetal, and hydrodynamic
damping forces and torques acting on the body, where
⎡ ⎤ ⎡ ⎤
A x,k + A|x,k| |vx,k | −m y,k vz,k 0 vx,k
fk = ⎣ m x,k vz,k B y,k + B|y,k| |v y,k | 0 ⎦ · ⎣v y,k ⎦ (5.75)
0 0 C z,k + C|z,k| |vz,k | vz,k
In the simulation, the physical parameters are taken as: Mk = diag{600 + 6(−1)k
+ 6Δm(t), 1000 + 10(−1)k + 10Δm(t), 800 + 8(−1)k + 8Δm(t)} with Δm(t) =
sin(π t/50 − π ), A x,k = −1 + 0.1(−1)k , A|x,k| = −25 + 2.5(−1)k , B y,k = −10 +
(−1)k , B|y,k| = −200 + 20(−1)k , C z,k = −0.5 + 0.05(−1)k , and C|z,k| = −1500 +
150(−1)k for k = 1, 2, 3, 4. The external disturbance is taken as Dk = [3 + 3(−1)k
sin(t/50) + 2 sin(t/10), −1 + 3(−1)k sin(t/20 − π/6) + 2 sin(t), −5(−1)k
sin(0.1t) − sin(t + π/3)]T .
The simulation objective is that the four ASVs are required to achieve consen-
sus by using the proposed control law given in (5.29)–(5.32) under directed com-
munication topology condition. The initial conditions of the vessels are r1 (0) =
(−1.5m, 0m, π/3rad), r2 (0) = (−1m, 2m, −π/4rad), r3 (0) = (1.5m, 2m, −π/
9rad), r4 (0) = (2m, 1m, π/4rad), vk (0) = (0, 0, 0) (k = 1, 2, 3, 4), respectively. The
control parameters are taken as: s = 2, c1 = 2000, and c2 = 3. In addition, the ini-
tial values of the estimates are chosen as ĉ f x,k = ĉ f y,k = ĉ f z,k = 0 and θ̂x,k = θ̂ y,k =
θ̂z,k = 0 for k = 1, 2, 3, 4. The simulation runs for 15 s. The position error conver-
gence results in x-direction, y-direction, and z-direction under the proposed dis-
tributed adaptive control scheme are represented in Fig. 5.2. In addition, the velocity
error convergence results in x-direction, y-direction, and z-direction under the pro-
posed finite-time control scheme are given in Fig. 5.3. From both Figs. 5.2 and 5.3,
we see that the consensus is achieved under the proposed control scheme. Figure 5.4
shows the control input signals of the four ASVs under the proposed finite-time
control scheme, from which we see the control input signal is smooth and bounded
under the local and directed communication condition.
References
1. Olfati-Saber, R., Murray, R.: Consensus protocols for networks of dynamic agents. In: Proceed-
ings of America Control Conference, Denver, CO, pp. 951–956 (2003)
2. Olfati-Saber, R., Murray, R.: Consensus problems in networks of agents with switching topology
and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
3. Zhang, H., Lewis, F.L., Qu, Z.: Lyapunov, adaptive, and optimal design techniques for coop-
erative systems on directed communication graphs. IEEE Trans. Ind. Electron. 59, 3026–3041
(2012)
4. Qu, Z.: Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles.
Springer, London (2009)
5. Polycarpout, M.M., Ioannout, P.A.: A robust adaptive nonlinear control design. In: American
Control Conference, pp. 1365–1369 (1993)
6. Almeida, J., Silvestre, C., Pascoal, A.M.: Cooperative control of multiple surface vessels with
discrete-time periodic communications. Int. J. Robust Nonlinear Control 22(4), 398–419 (2012)
Part III
Finite-Time Cooperative Adaptive
Control for Multiple Networked
Nonlinear Systems
Chapter 6
Finite-Time Leaderless Consensus
Control for Systems with First-Order
Uncertain Dynamics
Part of Sect. 6.3 has been reproduced from Wang, Y. J., Song, Y. D., Krstic, M., and Wen, C.
Y.: Fault-tolerant finite-time consensus for multiple uncertain nonlinear mechanical systems under
single-way directed communication interactions and actuation failures. Automatica, vol. 63, pp.
374–383, 2016 © 2016 Elsevier Ltd., reprinted with permission.
Section 6.1 represents some useful lemmas that is related to the finite-time stability
analysis for the multi-agent systems. Section 6.2 addresses the leaderless consensus
control problem for the first-order multi-agent systems with unknown time-varying
gain and non-parametric uncertainties under undirected topology. A distributed finite-
time leaderless consensus control scheme is derived such that the consensus error
uniformly converges to a small residual set in finite-time, and all the internal sig-
nals are ensured to be uniformly bounded. In addition, the finite convergence time for
each agent to reach the required consensus configuration is explicitly established and
recipes for control parameter selection to make the residual errors as small as desired
are provided. Section 6.3 addresses the leaderless consensus control problem for the
first-order multi-agent systems with known control gain and bounded non-parametric
uncertainties under the directed topology condition, in which the technical difficulty
arising from the non-symmetric property of the Laplacian matrix is circumvented in
the finite-time stability analysis. Section 6.4 gives a simulation example to confirm
the effectiveness and benefits of the proposed finite-time leaderless consensus con-
trol scheme for the multi-agent systems with first-order non-parametric uncertain
dynamics.
In this section, we represent some useful lemmas for the finite-time stability analysis.
We first introduce the definition related to finite-time stability.
V (x(0))1−α
T∗ ≤ (6.2)
c(1 − α)
such that for any given initial state x(t0 ) ∈ U0 /{0}, limt→T ∗ V (x, t) = 0 and
V (x, t) = 0 for t ≥ T ∗ .
Lemma 6.3 ([2]) If 0 < h = h 1 / h 2 ≤ 1, where h 1 , h 2 > 0 are odd integers, then
|x h − y h | ≤ 21−h |x − y|h .
Lemma 6.4 ([2]) For x, y ∈ R, if c, d > 0, then |x|c |y|d ≤ c/(c + d)|x|c+d
+ d/(c + d)|y|c+d .
N
Lemma 6.5 ([3]) For xi ∈ R, i = 1, 2, . . . , N , 0 < h ≤ 1, then ( i=1 |xi |)h ≤
N N
i=1 |x i | ≤ N ( i=1 |xi |) .
h 1−h h
Lemma 6.6 ([4]) For x ∈ R, y ∈ R, 0 < h = h 1 / h 2 ≤1, where h 1 , h 2 > 0 are pos-
itive odd integers, then x h (y − x) ≤ 1+h
1
y 1+h − x 1+h .
1+h
Proof Let g(x) = x h (c − x) − 1+h 1
c − x 1+h . Taking the derivation of g(x)
with respect to x yields
d
g(x) = hx h−1 (c − x) − x h + x h = hx h−1 (c − x) (6.3)
dx
Thus, x h (y − x) ≤ 1
1+h
(y 1+h − x 1+h ) holds.
In this section, we address the leaderless consensus control problem for networked
multi-agent systems with first-order uncertain dynamics. The agent dynamics are
subject to unknown time-varying gain and unknown non-parametric uncertainties,
meaning that the parameters are unknown and time-varying and the dynamics are not
allowed to appear in the control protocols. This section formulates the basic structure
of the distributed finite-time control protocols to confront these problems, allowing
the leaderless consensus to be achieved in finite-time with sufficient accuracy in
spite of the unknown time-varying gain and unknown non-parametric uncertainties.
We introduce the locally defined neighborhood error of fractional-order and fraction
power-based adaptive updated law for the parameter estimation to embed into the
control scheme and show how to achieve the finite-time convergence by the negative
feedback of the fractional-order local error and how to compensate the unknown non-
parametric uncertainties by using the adaptive control technique based on fraction
power-based adaptive updated law.
100 6 Finite-Time Leaderless Consensus Control for Systems …
where xi ∈ R and u i ∈ R are the state and control input of the ith (i = 1, 2, . . . , N )
agent, respectively, gi denotes the control gain, f i denotes the system nonlinearities
and f di denotes the non-vanishinguncertainties ( f i and f di are either continuously
differentiable or Lipschitz); z i = j∈N i i x j .
Standard assumptions for the existence of unique solutions and global controlla-
bility of system are made.
Assumption 6.1
For ease of notation, the agents’ states are scalars, i.e., xi ∈ R. If the states are
vectors, i.e., xi ∈ Rn , the results of this chapter can be extended by using the standard
method involving the Kronecker products. In addition, it should be stressed that
although the bounds mentioned in Assumption 6.1 are assumed to exist, they are not
used in the controller design and do not have to be known. They appear in the error
bounds in the control results derived in Theorem 6.1 as can be seen later.
The local neighborhood state error for node i is denote by
ei = ai j (xi − x j ) (6.6)
j∈N i
The control objective of this section is to design a control strategy such that the
leaderless consensus error uniformly converges to a small residual set in finite time,
in spite of the unknown time-varying gain and unknown non-parametric uncertainties.
In addition, the finite convergence time for each agent to reach the required consensus
configuration is explicitly established and recipes for control parameter selection to
make the residual errors as small as desired are provided.
To this end, the control input for each ith (i = 1, . . . , N ) agent is designed to con-
sist of two parts: (1) the negative feedback control term u 0i , and (2) the compensation
control term u ci , which is of the following form,
u i = u 0i + u ci (6.7)
in which the negative feedback control term based on the fractional-order local error
is generated by
q
u 0i = −ki ei (6.8)
where 0 < q = q1 /q2 < 1 (q1 , q2 are positive odd integers), ĉ f i and θ̂i are the esti-
mations of c f i and θi (the parameters to be estimated), respectively, ϕi (·) is the scalar
and readily computable function as given in Assumption 6.1, ki , τi , γ1i , γ2i , σ1i , and
σ2i are positive finite design parameters chosen arbitrarily by the designer.
Remark 6.1 It is seen from (6.8) to (6.10) that the proposed control structure is of
“sublinear” form in that the control scheme is built upon fraction state feedback
control and the adaptation rule (i.e., the leakage term) is also of fraction form, rather
than just simply linear state feedback. It is such sublinear control with fraction leakage
adaptation that ensures the multi-agent systems to have the attractive performance
as stated in the next theorem.
102 6 Finite-Time Leaderless Consensus Control for Systems …
We need to prove a relation firstly, which is crucial to derive the main results.
Lemma 6.7 For the generalized weight parameter estimation error •˜ = • − g •ˆ and
the constant 0 < q = q1 /q2 < 1 (q1 and q2 are positive odd integrators), it holds
that
1 (q−1)(1−q)
•˜ •ˆ q ≤ g −q 2 − 2q−1 •˜ 1+q
1+q
q 1
2−(q−1) (1+q) •1+q .
2
+ 1 − 2q−1 + + (6.11)
1+q 1+q
q
•˜ •ˆ q = •˜ g −1 (• − •˜ ) = g −q •˜ (• − •˜ )q . (6.12)
1
•˜ •ˆ q = g −q •1+q − |• − •˜ | |• − •˜ |q . (6.14)
1+q
1
•˜ •ˆ q ≤ g −q •1+q − 2q−1 |• − •˜ | •q − •˜ q . (6.15)
1+q
|• | q
decreasing, we then have − •˜ • − •˜ = (• − •˜ ) • − •˜ , and (6.15) becomes
q
1
•˜ •ˆ q ≤ g −q •1+q − 2q−1 •1+q +2q−1 • •˜ q + 2q−1 •˜ •q −2q−1 •˜ 1+q . (6.16)
1+q
1 q−1 1+q q
2q−1 •˜ •q = 2q−1 •˜ •q ≤ 2 •˜ + •1+q , (6.17)
1+q 1+q
6.2 Finite-Time Leaderless Consensus Control Under Undirected Topology 103
and
q q
2q−1 • •˜ q = 2q−1 • 2q−1 •˜ 2−(q−1)q = 2(q−1)(1−q) • 2q−1 •˜
q q−1 1+q 1 (q−1)(1−q) 1+q
≤ 2 •˜ + 2 • . (6.18)
1+q 1+q
where 0 < η1 ≤ 1, 0 < η2 < 1, V (t0 ) is known, kd and kv are given in (6.37)
and (6.41), respectively, which are explicitly computable;
104 6 Finite-Time Leaderless Consensus Control for Systems …
(2) the generalized parameter estimate errors c̃ f i and θ̃i converge to a small set Ω1 p
defined by
⎛ 1+q ⎞ 1+q 1
2
k v d
Ω1 p = |c̃ f i | ≤ 2g γ̄1 ⎝ ⎠ ,
η2 η1 k d
⎛ ⎞ 1+q
1
1+q
2
⎝ k v d
⎠
|θ̃i | ≤ 2g γ̄2 , ∀i = 1, . . . , N (6.22)
η2 η1 k d
Proof The proof of the result can be done by the following five steps.
Step 1. Construct the distributed part of the Lyapunov function candidate as
1 T 1
V1 (t) = E ΛE = X T L X (6.23)
2 2
N
N
V̇1 (t) = E T Ẋ = ei ẋi = ei (gi u i + f i + f di ). (6.24)
i=1 i=1
Inserting the control input u i given in (6.7) and u 0i given in (6.8) into (6.24) yields
N
1+q
V̇1 (t) = −ki gi ei + gi ei u ci + ei f i + ei f di
i=1
N
1+q
≤ −ki gi ei + gi ei u ci + |ei |c f i ϕi + |ei |θi (6.25)
i=1
By using the fact that 0 ≤ |s| − s · tanh(s/k) ≤ 0.2785k [5], and by inserting the
compensation control term u ci given in (6.9) into (6.25), we arrive at
6.2 Finite-Time Leaderless Consensus Control Under Undirected Topology 105
N
1+q
V̇1 (t) ≤ − ki gi ei − gi ei ϕi ĉ f i tanh(ei ϕi /τi ) − gi ei θ̂i tanh(ei /τi )
i=1
+ c f i ei ϕi tanh(ei ϕi /τi ) + θi ei tanh(ei /τi ) + 0.2785τi (c f i + θi )
N
1+q
≤ − ki gi ei + (c f i − g ĉ f i )ei ϕi tanh(ei ϕi /τi )
i=1
+ (θi − g θ̂i )ei tanh(ei /τi ) + 0.2785τi (c f i + θi ) . (6.26)
Step 2. Note that in (6.26) the parameter estimation error of the form •˜ = • − g •ˆ is
involved, which motivates us to introduce the generalized weight parameter estima-
tion errors c̃ f and θ̃ as follows,
c̃ f = c f − g ĉ f , θ̃ = θ − g θ̂ (6.27)
1 T −1 1 T −1
V2 (t) = c̃ f Γ1 c̃ f + θ̃ Γ2 θ̃ (6.28)
2g 2g
Now applying the adaptive laws for ĉ f i and θ̂i given in (6.10)–(6.29), we get
N
q q
V̇2 (t) = σ1i c̃ f i ĉ f i − c̃ f i ϕi ei tanh(ei ϕi /τi ) + σ2i θ̃i θ̂i − θ̃i ei tanh(ei /τi ) .
i=1
(6.30)
where V1 (t) and V2 (t) are given in (6.23) and (6.28), respectively.
By combining the derivative of V1 (t) given in (6.26) and the derivative of V2 (t)
given in (6.30), and recalling that c̃ f = c f − g ĉ f and θ̃ = θ − g θ̂ , we then arrive at
106 6 Finite-Time Leaderless Consensus Control for Systems …
N
1+q 1+q 1+q
V̇ (t) ≤ − kd1 ei + kd2 c̃ f i + kd3 θ̃i +d (6.35)
i=1
where
kd1 = kg
σ
kd2 = q 1 2q−1 − 2(q−1)(1+q)
g (1 + q)
σ
kd3 = q 2 2q−1 − 2(q−1)(1+q)
g (1 + q)
N
1 q 1
2−(q−1) (1+q)
2
d= 0.2785τi (c f i + θi ) + q 1 − 2q−1 + +
g (1 + q) 1+q 1+q
i=1
1+q 1+q
× σ1i c f i + σ2i θi < ∞, (6.36)
N
1+q 1+q 1+q
V̇ (t) ≤ −kd ei + c̃ f i + θ̃i + d. (6.38)
i=1
Step 4. We prove that there exists a finite time T ∗ > 0 that can be explicitly expressed
and a bounded constant 0 < ζ < ∞ such that V (t) < ζ when t ≥ T ∗ in the sequel.
Note that
λmax (Λ) 2
N
1
V1 (t) = E T ΛE ≤ ei , (6.39)
2 2 i=1
1 2 1 2
N N
V2 (t) ≤ c̃ f i + θ̃ , (6.40)
2γ 1 g i=1 2γ 2 g i=1 i
λmax (Λ) 1 1
kv = max{ , , }, (6.41)
2 2γ 1 g 2γ 2 g
N
V (t) ≤ kv ei2 + c̃2f i + θ̃i2 . (6.42)
i=1
# N $ 1+q
1+q 1+q 2
1+q
N
1+q 1+q 1+q
V (t) 2 ≤ kv 2
ei + c̃ f i + θ̃i
2 2 2
≤ kv 2 ei + c̃ f i + θ̃i .
i=1 i=1
(6.43)
η1 k d
Let c̃ = 1+q (kd and kv are given in (6.37) and (6.41), respectively, and 0 < η1 ≤ 1).
2
kv
By combining (6.38) and (6.43), it thus follows that
1+q
V̇ (t) ≤ −c̃V (t) 2 + d. (6.44)
2
Let Θ = {X : V (t) < ( ηd2 c̃ ) 1+q , 0 < η2 < 1}. According to Theorem 5.2 in [6], for
2 1+q
any X ∈ / Θ for all t ∈ [0, tx ], it holds that V (t) ≥ (d/η2 c̃) 1+q i.e., d ≤ η2 c̃V (t) 2 ,
for all t ∈ [0, tx ]. This fact, together with (6.44), implies that
1+q 1+q 1+q
V̇ (t) ≤ −c̃V (t) 2 + η2 c̃V (t) 2 = −(1 − η2 )c̃V (t) 2 (6.45)
108 6 Finite-Time Leaderless Consensus Control for Systems …
2
for all t ∈ [0, tx ]. Note that V (t) ≥ (d/η2 c̃) 1+q > 0 for t ∈ [0, tx ], it thus follows
1+q
V (t0 )1− 2
from (6.45) that tx < (1−η2 )c̃(1− 1+q )
according to Lemma 6.1. Therefore for ∀t ≥ T ∗ ,
2
∗
with T satisfying
1+q
V (t0 )1− 2
T∗ ≤ , (6.46)
(1 − η2 )c̃(1 − 1+q
2
)
we have
d 1+q 2
V (t) < ( ) = ζ. (6.47)
η2 c̃
i=1
λmin (Λ)
1
2V (t) 2 d 1+q
≤ ≤ . (6.48)
λmin (Λ) λmin (Λ) η2 c̃
and
1
d 1+q
|θ̃i | ≤ 2g γ̄2 (6.50)
η2 c̃
and the generalized parameter estimation errors will converge to the region Ω1 p ,
1
1
d 1+q d 1+q
Ω1 p = |c̃ f i | ≤ 2g γ̄1 , |θ̃i | ≤ 2g γ̄2 , ∀i = 1, . . . , N
η2 c̃ η2 c̃
(6.52)
Note that if we take the value of the fraction power q as 1, the control scheme
(6.7)–(6.10) reduces to the following regular state feedback-based infinite-time
control
With such regular state feedback-based control, the following result is derived.
Theorem 6.2 Consider system (6.5) under Assumption 6.1 and undirected con-
nected topology condition. If controlled by the adaptive control law given in (6.53)–
(6.54), the cooperative uniformly ultimately bounded (UUB) leaderless consensus is
achieved in that the leaderless consensus errors converge to a set Ω2 defined by
( )
2kv d
Ω2 = |ei | ≤ , ∀i = 1, . . . , N , (6.55)
λmin (Λ)η2 η1 kd
and the generalized parameter estimate errors c̃ f i and θ̃i converge to a set Ω2 p given
as
⎧ ⎫
⎨ 2g γ̄1 kv d 2g γ̄2 kv d ⎬
Ω2 p = c̃ f i ≤ , θ̃i ≤ , ∀i = 1, . . . , N , (6.56)
⎩ η2 η1 k d η2 η1 k d ⎭
respectively, where 0 < η1 ≤ 1, 0 < η2 < 1, V (t0 ) is known, kd and kv are given,
respectively, in (6.37) and (6.41) with q = 1, which are explicitly computable.
110 6 Finite-Time Leaderless Consensus Control for Systems …
Proof Following the same line as in the proof of Theorem 6.1 and by setting q = 1,
it can be derived that
kd
V̇ (t) ≤ − V (t) + d (6.57)
kv
where kd , kv , and d are defined the same as in Theorem 6.1 associated with q = 1.
Define
kv d
Θ̄ = X : V (t) < , 0 < η2 < 1 (6.58)
η2 k d
η2 kd V (t)
Since d ≤ kv
when X ∈
/ Θ̄, it follows from (6.57) that
kd η2 k d
V̇ (t) ≤ − V (t) + V (t) < 0. (6.59)
kv kv
Hence, V̇ (t) < 0 once X ∈ / Θ̄. Note that Θ̄ is a global attractive region due to the
fact that Θ̄ is a level set of the Lyapunov function, that is, the states would not escape
from Θ̄ after entering it.
In addition, it can be readily derived that under the control laws (6.53)–(6.54)
the leaderless consensus errors converge to the set Ω2 specified by (6.55) and the
generalized estimation errors converge to Ω2 p given in (6.56), respectively.
6.2.5 Notes
It is seen that by choosing the control gains ki large enough, all convergence
regions, i.e., Ω1 and Ω1 p in the proposed finite-time control scheme, Ω2 and Ω2 p in
the regular state feedback-based control scheme, can be reduced as small as desired.
Nevertheless, due to control saturation constraint, ki are not allowed to be set too
large. While in the proposed method one can choose the fractional power q properly
to enhance the disturbance rejection performance and increase the control precision
without the need for excessively large ki .
The main contributions of this section are summarized as follows. First, the dis-
tributed adaptive finite-time control scheme is established based upon a fractional-
order local state negative feedback and fractional power-based adaptive updated law,
allowing the leaderless consensus to be achieved in finite time with sufficient accu-
racy. Second, by introducing the generalized parameter estimation error, the unknown
and time-varying control gain inherent in the systems is dealt with gracefully. Third,
with the norm-bounding skill the lumped uncertainties of each agent are converted
into a simplified relation that only involves a virtual parameter to be estimated and a
computable scalar function with core information, thus facilitating the online com-
putations and control design, and the unknown and non-parametric uncertainties are
explicitly accommodated.
In this section, we address the finite-time leaderless consensus problem for networked
multi-agent systems with first-order dynamics under directed graph topology. We
first introduce the Lyapunov function design for the stability analysis under directed
topology, and then we start with controller design and stability analysis to explain
the fundamental idea and the technical development of the proposed method.
The focus of this section is to show how to tackle the technical difficulty arising
from the asymmetric Laplacian matrix under the directed communication topology
condition in the finite-time leaderless consensus problem, so here we consider the
first-order normal-form system (6.5) under the directed communication topology
condition in the case that the control gain gi is known and nonzero, and f i (z i , t),
f di (z i , t) are known.
Standard assumptions for the existence of unique solutions and global controlla-
bility of system are made, e.g., f i and f di are either continuously differentiable or
Lipschitz.
112 6 Finite-Time Leaderless Consensus Control for Systems …
In this subsection, we introduce the Lyapunov function design for the finite-time sta-
bility analysis under the strongly connected directed topology. In the next subsection,
we will show how to apply such Lyapunov function in the Lyapunov analysis of the
finite-time leaderless consensus problem for multi-agent systems under the directed
topology condition.
Before moving on, we first present several useful lemmas. It is important to note
that the Laplacian matrix L is no longer symmetric under the one-way directed
topology, which imposes significant challenge for the finite-time leaderless consen-
sus control design because one cannot use such L to construct Lyapunov function
directly. To circumvent the technical difficulty in constructing Lyapunov function
arising from asymmetric property of the original Laplacian matrix L under directed
graph, we introduce a new matrix Q [7],
x T Qx n
0 < min T
≤ λi (Q). (6.61)
x =c1n x x i=2
6.3 Finite-Time Leaderless Consensus Control Under Directed Topology 113
(E q )T Q E q
≥ km . (6.62)
(E q )T E q
N
Proof Note that for p T E = L X = 0, i.e., i=1 pi ei = 0, and pi > 0 according
to [8], from which we know that for E = 0 and i = 1, . . . , N , it is impossible that
sgn(ei ) = 1 (or sgn(ei ) = −1). Therefore, E = c1 N with c being a nonzero constant.
q
Note that sgn(ei ) = sgn(ei ) (i = 1, . . . , N ), it is straightforward that E q = c1 N .
(E q )T Q E q
According to Lemma 6.8, there exists a constant km = min (E q )T E q
> 0 such that
q E =0 N
(E q )T Q E q
(E q )T E q
≥ km > 0.
According to the above analysis, we construct the Lyapunov function candidate as
1 1+q T 1+q
V = E 2 diag( p)E 2 , (6.63)
1+q
1+q
1+q
1+q T
T
where E 2 = e1 2 , . . . , e N2 . Hereafter, we let E h = e1h , . . . , ehN with
h ∈ R.
The control objective of this section is to design a finite-time control strategy under
the directed topology condition such that the leaderless consensus errors uniformly
converge to zero in finite-time, and meanwhile, to give the strict stability analysis.
To this end, the control input for each ith (i = 1, . . . , N ) agent is designed as
1 q
ui = − kei + f i + f di , (6.64)
gi
where 0 < q = q1 /q2 < 1, q1 , q2 are positive odd integers, and k > 0 is a design
parameter chosen by the designer.
Theorem 6.3 (Distributed Finite-Time Control for Leaderless Consensus under
Directed Topology) Consider the nonlinear MAS as described by (6.5) under the
assumptions that gi is known and nonzero and f i (z i , t), f di (z i , t) are known. Let
the communication topology be directed and strongly connected. If the distributed
control law (6.64) is applied, then finite-time leaderless consensus is achieved in that
114 6 Finite-Time Leaderless Consensus Control for Systems …
q q T
with E q = e1 , . . . , e N . Upon using Lemma 6.9, we have
Note that
1 1+q p̄ 1+q
N
T 1+q
V (t) = E 2 diag( p)E 2 ≤ e . (6.69)
1+q 1 + q i=1 i
! N " 1+q
2q
2q 2q N
2q p̄ 1+q
1+q p̄ 1+q
2q
V (t) 1+q ≤ ei ≤ ei (6.70)
1+q i=1
1+q i=1
2q
Let c̃ = 21 η1 kkm ( 1+q
p̄
) 1+q (0 < η1 ≤ 1). It thus follows from (6.68) and (6.70) that
2q
V̇ (t) ≤ −c̃V (t) 1+q . (6.71)
6.3 Finite-Time Leaderless Consensus Control Under Directed Topology 115
Then according to Lemma 6.1, we get from (6.71) that, there exists a finite-time
constant T ∗ , which satisfies,
2q
V (t0 )1− 1+q
T∗ ≤ , (6.72)
c̃ 1 − 1+q 2q
such that for any given initial state X (t0 ) ∈ R N /{0}, limt→T ∗ V (X, t) = 0 and
V (X, t) = 0 for t ≥ T ∗ , which further implies that
E → 0 as t → T ∗− ,
E = 0 when t ≥ T ∗ . (6.73)
This implies that the leaderless consensus is achieved in the finite time T ∗ under the
proposed control (6.64). In addition, by substituting c̃ into (6.72), we further get that,
2q 1−q
The earlier theoretical analysis has declared that the nonlinear system (6.75) can
achieve finite-time leaderless consensus under the control scheme proposed in (6.7)–
(6.10). To set up the proposed controller, we only need to select the design parameters
ki , γi , and σi (i = 1, 2, 3, 4) and does not need to take any time-consuming analytical
derivation for choosing design parameters. The simulation runs for 0.6s. The initial
condition are X (0) = [2, 1, −1, −2]T . In addition, the initial values of the param-
eter estimates are chosen as ĉ f i (0) = θ̂i (0) = 0 for i = 1, 2, 3, 4. The simulation
is conducted by applying the control laws given in (6.7)–(6.10), where the design
parameters are taken as: ki = 1 (i = 1, 2, 3, 4), γi = 0.01, and σi = 0.01 (i = 1, 2),
ε = 0.01. In addition, the core functions ϕi (·) (i = 1, 2, 3, 4) are easily taken as
ϕ1 = |x1 |, ϕ2 = x22 , ϕ3 = x32 , and ϕ4 = |x4 | according to the core information of the
system.
Figure 6.2 presents the position trajectories of all the four agents, and Fig. 6.3
shows the neighborhood position synchronization errors of all the four agents, both
2 x1 x2 x3 x4
0
X
−1
−2
0 0.1 0.2 0.3 0.4 0.5
Time (s)
5 e1 e2 e3 e4
0
E
−5
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5
Time (s)
Fig. 6.3 Neighborhood errors ei (i = 1, 2, 3, 4) of the four agents under the proposed finite-time
control scheme (6.7)
3 u1 u2 u3 u4
0
U
−1
−2
−3
0 0.1 0.2 0.3 0.4 0.5 0.6
Time (s)
of which verify that the position synchronization is achieved in finite time. Figure 6.4
shows the control input signals of the four agents u i (i = 1, 2, 3, 4), from which
we observe that the control input signals of all the four agents are continuous and
bounded.
To show that better performance is achieved with the proposed finite-time con-
trol scheme, we also tested the convergence property between the proposed finite-
time control scheme (6.7)–(6.10) and the typical infinite-time-based adaptive scheme
(6.53)–(6.54). Both the two control laws are applied to system (6.75) by using the
same design parameters. It is observed from Figs. 6.3, 6.5, and 6.6 that the conver-
gence rate is faster and the error precision is better with the finite-time controller
compared with the infinite-time controller.
118 6 Finite-Time Leaderless Consensus Control for Systems …
6 e1 e2 e3 e4
0
E
−2
−4
−6
0 0.1 0.2 0.3 0.4 0.5 0.6
Time (s)
Fig. 6.5 Neighborhood errors ei (i = 1, 2, 3, 4) of the four agents under the infinite-time control
scheme (6.53)
5
e1 under finite-time controller
e1 under infinite-time controller
4
e3 under infinite-time controller
e3 under infinite-time controller
3
2
E
−1
0 0.1 0.2 0.3 0.4 0.5 0.6
Time (s)
Fig. 6.6 Neighborhood error convergence comparison of agent 1 and 3 under the two different
control schemes
References
1. Bhat, S.P., Bernstein, D.S.: Continuous finite-time stabilization of the translational and rotational
double integrators. IEEE Trans Autom. Control 43(5), 678–682 (1998)
2. Qian, C., Lin, W.: Non-Lipschitz continuous stabilizer for nonlinear systems with uncontrollable
unstable linearization. Syst. Control Lett. 42(3), 185–200 (2001)
3. Hardy, G., Littlewood, J., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
4. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Fault-tolerant finite time consensus for multiple
uncertain nonlinear mechanical systems under single-way directed communication interactions
and actuation failures. Automatica 63, 374–383 (2016)
5. Polycarpout, M.M., Ioannout, P.A.: A robust adaptive nonlinear control design. In: American
Control Conference, pp. 1365–1369 (1993)
References 119
6. Bhat, S.P., Bernstein, D.S.: Finite-time stability of continuous autonomous systems. SIAM J.
Control Optim. 38(3), 751–766 (2000)
7. Zhang, H., Lewis, F.L., Qu, Z.: Lyapunov, adaptive, and optimal design techniques for coop-
erative systems on directed communication graphs. IEEE Trans. Ind. Electron. 59, 3026–3041
(2012)
8. Qu, Z.: Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles.
Springer, London (2009)
Chapter 7
Finite-Time Consensus for Systems
with Second-Order Uncertain Dynamics
Under Undirected Topology
In this section, we formulate the leaderless consensus control problem for networked
multi-agent systems with second-order dynamics. The agent dynamics are subject
to unknown time-varying gain and unknown non-parametric uncertainties, meaning
that the parameters are unknown and time-varying and the dynamics are not allowed
to appear in the control protocols.
We consider a group of N agents with scalar second-order dynamics
where xi ∈ R, vi ∈ R, and u i ∈ R are the position state, velocity state, and control
input of the ith (i = 1, 2, . . . , N ) agent, respectively, gi denotes the control effective-
ness gain, possibly time-varying and unavailable for controller design, f i denotes the
system nonlinearities, and f di denotes the non-vanishing uncertainties ( f i and f di are
either continuously differentiable or Lipschitz). In addition, z i = j∈N i i {x j , v j }.
Standard assumptions for existence of unique solutions and global controllability
of system are made.
Assumption 7.1 a. The control gain gi is unknown and time-varying and is sign-
definite (w. l. o. g. here sgn(gi ) = +1). In addition, 0 < g i ≤ |gi (·)| ≤ ḡi < ∞
with g i , ḡi being unknown finite constants, which ensures the global controlla-
bility of the system.
b. Certain crude structural information is available to allow the unknown and
non-parametric uncertainty f i (z i , t) satisfy | f i (z i , t)| ≤ c f i ϕi (z i ) for all t ≥ t0 ,
where c f i ≥ 0 is an unknown finite constant and ϕi (z i ) is a known scalar func-
tion, and ϕi (z i ) is bounded for all z i (i = 1, . . . , N ).
c. The unknown and non-vanishing f di (z i , t) is bounded by some unknown finite
constant θi , that is, | f di (z i , t)| ≤ θi < ∞.
7.1 Formulation of Finite-Time Consensus for Second-Order Uncertain Systems 123
It is assumed for ease of notation that the agents’ states are scalars, i.e., xi ∈ R,
vi ∈ R. If the states are vectors, i.e., xi ∈ Rn and vi ∈ Rn , the results of this chapter
can be extended by using the standard method involving the Kronecker products.
The local neighborhood state error for node i is
ei = ai j (xi − x j ) (7.2)
j∈N i
In this section, we represent some useful lemmas for the finite-time stability analysis.
c(1−α)
, such that for any given initial state
x(t0 ) ∈ U0 /{0}, limt→T ∗ V (x, t) = 0 and V (x, t) = 0 for t ≥ T ∗ .
Lemma 7.3 ([2]) If 0 < h = h 1 / h 2 ≤ 1, where h 1 , h 2 > 0 are odd integers, then
|x h − y h | ≤ 21−h |x − y|h .
Lemma 7.4 ([2]) For x, y ∈ R, if c, d > 0, then |x|c |y|d ≤ c/(c + d)|x|c+d + d/
(c + d)|y|c+d .
N
Lemma 7.5 ([3]) For xi ∈ R, i = 1, 2, . . . , N , 0 < h ≤ 1, then ( i=1 |xi |)h ≤
N N
i=1 |x i | ≤ N ( i=1 |xi |)h .
h 1−h
Lemma 7.7 ([5]) For a connected undirected graph G , the Laplacian matrix L has
the following properties: (1) L is semi-definite. (2) 0 is a simple eigenvalue of L
and 1 is the associated eigenvector. (3) Assuming the eigenvalue of L is denoted as
0, λ2 (L), . . . , λ N (L) satisfying 0 ≤ λ2 (L) ≤ · · · ≤ λ N (L), then the second smallest
eigenvalue λ2 (L) > 0. Furthermore, if 1TN X = 0, then X T L X ≥ λ2 (L)X T X .
E T E ≥ λ2 (L)X T L X (7.3)
that
T
E T E = L 1/2 X L L 1/2 X ≥ λ2 (L)X T L X. (7.4)
Lemma 7.9 For the generalized weight parameter estimation error •˜ = • − g •ˆ and
the constant 0 < q = q1 /q2 < 1 (q1 and q2 are positive odd integrators), it holds
that
q −q 1 (q−1)(1−q)
•˜ •ˆ ≤ g 2 − 2q−1 •˜ 1+q
1+q
q 1
2−(q−1) (1+q) •1+q .
2
+ 1 − 2q−1 + + (7.5)
1+q 1+q
This section represents the basic structure of the distributed adaptive finite-time
control protocols for the second-order uncertain multi-agent systems, allowing the
leaderless consensus to be achieved in finite time in spite of the unknown time-
varying gain and unknown non-parametric uncertainties. We show how to realize
7.3 Distributed Adaptive Finite-Time Control for Second-Order Uncertain Systems 125
The control objective of this section is to design distributed adaptive finite-time con-
troller such that the impacts arisen from the time-varying control gain, unmodeling
nonlinearities, and non-vanishing uncertainties can be compensated and meanwhile
the leaderless consensus of the networked multi-agent system is ensured in finite
time.
Before design the controller, we first introduce the virtual control of vi as
vi∗ = −c2 ei ,
q
(7.6)
where 0 < q = q1 /q2 < 1, q1 , q2 are positive odd integers, and c2 > 0 is an arbitrar-
ily finite constant. We also introduce the virtual error as
1
1
δi = viq − (vi∗ ) q . (7.7)
The control input for each ith (i = 1, . . . , N ) agent is designed to consist of two
parts: (1) the negative feedback control term u 0i and (2) the compensation control
term u ci , which is of the following form
u i = u 0i + u ci , (7.8)
where δi is defined by (7.7), 0 < q = q1 /q2 < 1, q1 , q2 are positive odd integers,
c1 , c2 > 0 are design parameters, ĉ f i and θ̂i are, respectively, the estimations of c f i
and θi (the parameters to be estimated), ϕi (·) is the scalar and readily computable
function as given in Assumption 7.1, and ki , τi , γ1i , γ2i , σ1i , and σ2i are positive finite
design parameters chosen by the designer.
1 12 (q+1)
2kv d 1+q c
Ω1 = |ei | ≤ , |vi − v j | ≤ 2 2q q −1
λmin (Λ) η2 η1 k d q 2 22
⎛ ⎞ q
q 1+q
2
1+q
2 2
⎝ dkv ⎠ , ∀i, j ∈ {1, . . . , N } ,
+ c2 (7.12)
λmin (Λ) η2 η1 k d
where 0 < η1 ≤ 1, 0 < η2 < 1, V (t0 ) is known, kd and kv are given respectively
in (7.42) and (7.46), which are explicitly computable;
(2) the generalized parameter estimate errors c̃ f i and θ̃i converge to a small set Ω1 p
defined by
1
d 1+q
Ω1 p = |c̃ f i | ≤ 2kγ g γ̄1 ,
η2 c̃
1
d 1+q
|θ̃i | ≤ 2kγ g γ̄2 , ∀i ∈ {1, . . . , N } (7.14)
η2 c̃
Proof The proof of the result can be done by the following six steps.
Step 1. Construct the distributed part of the Lyapunov function candidate as
1 T 1
V1 (t) = E ΛE = X T L X (7.15)
2 2
N
V̇1 (t) = E T Ẋ = ei vi . (7.16)
i=1
N
N
N
N
ei vi∗ vi∗ ) ei (vi − vi∗ ).
1+q
V̇1 (t) = + ei (vi − = −c2 ei + (7.17)
i=1 i=1 i=1 i=1
1
1
By recalling that δi = viq − (vi∗ ) q , we get from Lemma 7.3 that
N
N
ei (vi − vi∗ ) ≤ |ei ||vi − vi∗ |
i=1 i=1
1 q
N
q
N
= |ei | viq ∗ q1
− (vi ) ≤ 21−q
|ei ||δi |q . (7.18)
i=1 i=1
21−q 1+q
N N
1+q 1+q
V̇1 (t) ≤ − c2 ei + ei + qδi . (7.20)
i=1
1 + q i=1
128 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
Step 2. Define the second part of the Lyapunov function candidate by adding a
power integrator [2]
N
vi 1
1 1 2−q
V2 (t) = 1+1/q
ς q − (vi∗ ) q dς (7.21)
21−q c2 i=1 vi∗
which is positive semi-definite and C 1 [2]. Taking the derivative of V2 (t) yields
N 1
2−q
1 1
V̇2 (t) = 1+1/q
viq − (vi∗ ) q v̇i
21−q c2 i=1
1 1
vi 1 1−q d(−(vi∗ ) q )
+ (2 − q) ς q − (vi∗ ) q dς ·
vi∗ dt
2−q
N vi 1
1 1 1−q
1
= 1+1/q
δi v̇i + (2 − q) ς q − (vi∗ ) q dς · c2 e˙i
q
21−q c2 i=1 vi
∗
N vi
1 1 1 1−q
ς q − (vi∗ ) q
2−q
= 1+1/q
δi v̇i + (2 − q) dς
21−q c2 i=1 vi∗
1
Since
vi 1 1 1−q
1 1−q
vi − vi∗ = |δi |1−q vi − vi∗
1
ς q − (vi∗ ) q dς ≤ viq − (vi∗ ) q
vi∗
≤ |δi |1−q 21−q |δi |q = 21−q |δi | (7.23)
N
1 1
2−q vi 1 1−q
1+1/q
ς q − (vi∗ ) q dς · c2q ai j (vi − v j )
21−q c2 i=1 vi∗ j∈N i
2−q
N
≤
|δi | ai j (vi − v j ) . (7.24)
c2 i=1 j∈N i
Let ā = max∀i∈{1,...,N } { ai j }, b̄ = max∀i, j{1,...,N } {ai j }, and N̄ denoting the
j∈N i
maximum number of the out-degree of all the ith (i ∈ {1, . . . , N }) agents in the
graph G . We then see that
7.3 Distributed Adaptive Finite-Time Control for Second-Order Uncertain Systems 129
⎛ ⎞
2−q 2−q
N N
|δi | ai j (vi − v j ) ≤ |δi | ⎝ā|vi | + b̄ |v j |⎠
c2 i=1 j∈N i c2 i=1
j∈N i
2−q
N
≤ |δi | ā|vi | + b̄ N̄ |vi | . (7.25)
c2 i=1
N
1 1
2−q vi 1 1−q
1+1/q
ς q − (vi∗ ) q dς · c2q ai j (vi − v j )
21−q c2 i=1 vi∗ j∈N i
N
2−q c2 1+q c2 1+q
≤ (ā + b̄ N̄ ) 21−q + δi + e . (7.27)
c2 i=1
1+q 1+q i
By applying the control laws given in (7.8)–(7.10) to the first term of the right
hand of (7.22), we have
N
2−q
N
2−q
δi v̇i = δi (gi u i + f i + f di )
i=1 i=1
N
1+q 2−q 2−q 2−q 2−q
≤ − c1 gi δi − δi gi ĉ f i ϕi tanh δi ϕi /τi − δi gi θ̂i tanh δi /τi
i=1
2−q 2−q
+ |δi |c f i ϕi + |δi |θi
N
1+q 2−q 2−q 2−q 2−q
≤ − c1 gδi − g ĉ f i δi ϕi tanh δi ϕi /τi − g θ̂i δi tanh δi /τi
i=1
2−q 2−q 2−q 2−q
+ c f i δi ϕi tanh δi ϕi /τi + 0.2785τi c f i + θi δi tanh δi /τi + 0.2785τi θi
N
1+q 2−q 2−q
= − c1 gδi + 0.2785τi (c f i + θi ) + c f i − g ĉ f i δi ϕi tanh δi ϕi /τi
i=1
2−q 2−q
+ θi − g θ̂i δi tanh δi /τi (7.28)
where we have used the fact that 0 ≤ |s| − s · tanh(s/k) ≤ 0.2785k [6].
130 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
N
1+q
N
1+q
N
1
V̇2 (t) ≤ k1 δi + k2 ei + 1+1/q
0.2785τi c f i + θi
i=1 i=1 21−q c2 i=1
2−q 2−q 2−q 2−q
+ cfi − g ĉ f i δi ϕi tanh δi ϕi /τi + θi − g θ̂i δi tanh δi /τi
(7.29)
where
c1 g 2−q c2
k1 = − + (ā + b̄ N̄ ) 21−q + ,
21−q c2
1+1/q c2 1+q
2−q
k2 = (ā + b̄ N̄ ). (7.30)
1+q
Step 3. Note that in (7.29) the parameter estimation error of the form •˜ = • −
g •ˆ is involved, which motivates us to introduce the generalized weight parameter
estimation errors c̃ f i (i ∈ {1, . . . , N }) and θ̃i as follows:
with which we introduce the third part of the Lyapunov function candidate as
N
c̃2f i
N
θ̃i2
V3 (t) = + . (7.32)
i=1
2kγ gγ1i i=1
2kγ gγ2i
1+1/q
where kγ = 21−q c2 .
By applying the adaptive laws for ĉ f i and θ̂i given in (7.11), we get the derivative
of V3 as
ĉ˙ f i θ̂˙i
N N
c̃ f i θ̃i
V̇3 (t) = − + −
i=1
kγ γ1i k
i=1 γ
γ2i
c̃ f i
N
q 2−q 2−q
= σ1i ĉ f i − δi ϕi tanh(δi ϕi /τi )
i=1
kγ
θ̃i
N
q 2−q 2−q
+ σ2i θ̂i − δi tanh(δi /τi )
k
i=1 γ
7.3 Distributed Adaptive Finite-Time Control for Second-Order Uncertain Systems 131
N
σ1i q
N
σ2i q
= c̃ f i ĉ f i + θ̃i θ̂i
i=1
kγ i=1
kγ
1
N
2−q 2−q
− c f i − g ĉ f i δi ϕi tanh δi ϕi /τi
i=1
kγ
1
N
2−q 2−q
− θi − g θ̂i δi tanh δi /τi . (7.33)
k
i=1 γ
where V1 (t), V2 (t), and V3 (t) are given in (7.15), (7.21), and (7.32), respectively.
By combining (7.20), (7.29), and (7.33), we then arrive at
N
1+q
N
1+q
N
σ1i q
V̇ (t) ≤ − k3 δi − k4 ei + c̃ f i ĉ f i
i=1 i=1 i=1
kγ
N
σ2i q
N
0.2785τi (c f i + θi )
+ θ̃i θ̂i + (7.35)
i=1
kγ i=1
kγ
where
21−q q c1 g 2−q c2
k3 = − + − (ā + b̄ N̄ ) 21−q + ,
1+q 1−q
2 c2
1+1/q c2 1 + q
21−q 2−q
k4 = c2 − − (ā + b̄ N̄ ). (7.36)
1+q 1+q
1+1/q −1 21−q q
Thus, c1 and c2 can be chosen as c1 > 21−q c2 g + 2−q (ā + b̄ N̄ )
1−q
1+q c2
2 1−q
+ 1+q and c2 > 1+q 2
c2 1
+ (2 − q)(ā + b̄ N̄ ) such that k3 and k4 > 0.
Upon using Lemma 7.9, it is straightforward that
q 1 (q−1)(1−q) 1+q
c̃ f i ĉ f i ≤ 2 − 2q−1 c̃ f i
g (1 + q)
q
q 1
2−(q−1) (1+q) c f i ,
2 1+q
+ 1 − 2q−1 + + (7.37)
1+q 1+q
q 1 (q−1)(1−q) 1+q
θ̃i θ̂i ≤ q 2 − 2q−1 θ̃i
g (1 + q)
q 1
2−(q−1) (1+q) θi
2 1+q
+ 1 − 2q−1 + + . (7.38)
1+q 1+q
132 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
N
1+q
N
1+q
N
1+q
N
1+q
V̇ (t) ≤ −k3 δi − k4 ei − k5 c̃ f i − k6 θ̃i +d (7.39)
i=1 i=1 i=1 i=1
where
σ 1 2(q−1)(1−q) − 2q−1
k5 = 1+1/q
,
21−q c2 g q (1 + q)
(q−1)(1−q)
σ2 2 − 2q−1
k6 = 1+1/q q
,
21−q c2 g (1 + q)
N 1+q 1+q
q 1 (σ1i c f i + σ2i θi )
2−(q−1) (1+q) ·
2
d= 1 − 2q−1 + +
i=1
1+q 1+q 21−q c2
1+1/q q
g (1 + q)
0.2785τi c f i + θi
+ 1+1/q
< ∞, (7.40)
21−q c2
(q−1)(1−q)
with σ 1 = min{σ
1−q11 , . . ., σ1N } and σ 2 = min{σ21 , . . . , σ2N }. Note that 2 −
2 q−1
=2 q−1
2 − 1 > 0, and thus, k5 > 0 and k6 > 0. We further represent
(7.39) as
N
1+q 1+q 1+q 1+q
V̇ (t) ≤ −kd δi + ei + c̃ f i + θ̃i +d (7.41)
i=1
where
kd = min{k3 , k4 , k5 , k6 }. (7.42)
Step 5. We prove that there exists a finite time T ∗ > 0 and a bounded constant
0 < ζ < ∞ such that V (t) < ζ when t ≥ T ∗ in the sequel.
According to Lemma 7.8, we get
1 T 1 1 N
V1 (t) = X LX ≤ ET E = e2 . (7.43)
2 2λ2 (L ) 2λ2 (L ) i=1 i
N
vi 2−q
1 1 1
V2 (t) = 1+1/q
ς q − (vi∗ ) q dς
21−q c2 i=1 vi∗
N 1
2−q
1 q
vi − vi∗
1
≤ vi − (vi∗ ) q
21−q c2
1+1/q
i=1
1
N
1
N
≤ 1+1/q
|δi |2−q · 21−q |δi |q = 1+1/q
δi2 . (7.44)
21−q c2 i=1 c2 i=1
From the definition of V3 (t) given in (7.32), it is not hard to see that
1
N
1
N
V3 (t) ≤ 1+1/q
c̃2f i + 1+1/q
θ̃i2 , (7.45)
22−q c2 gγ1m i=1 22−q c2 gγ2m i=1
N
V (t) ≤ kv δi2 + ei2 + c̃2f i + θ̃i2 . (7.47)
i=1
1+q
N
1+q 1+q 1+q 1+q 1+q
V (t) 2 ≤ kv 2 ei + δi + c̃ f i + θ̃i . (7.48)
i=1
η1 k d
Let c̃ = 1+q (kd and kv are given in (7.42) and (7.46), respectively, and 0 < η1 ≤ 1).
2
kv
It thus follows from (7.41) and (7.48) that
1+q
V̇ (t) ≤ −c̃V (t) 2 + d. (7.49)
1+q
2
Let Θ = (xi , vi ) : V (t) < d
η2 c̃
, 0 < η2 < 1 . According to Theorem 5.2
2
in [7], for any (xi , vi ) ∈
/ Θ for all t ∈ [0, tx ], it holds that V (t) ≥ (d/η2 c̃) 1+q , i.e.,
1+q
d ≤ η2 c̃V (t) 2 , for all t ∈ [0, tx ]. This fact, together with (7.49), implies that
1+q 1+q 1+q
V̇ (t) ≤ −c̃V (t) 2 + η2 c̃V (t) 2 = −(1 − η2 )c̃V (t) 2 (7.50)
134 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
2
for all t ∈ [0, tx ]. Note that V (t) ≥ (d/η2 c̃) 1+q > 0 for t ∈ [0, tx ], it thus follows
1+q
V (t0 )1− 2
from (7.50) that tx < according to Lemma 7.1. Therefore for ∀t ≥ T ∗ ,
(1−η2 )c̃ 1− 1+q
2
with T ∗ satisfying
1+q
V (t0 )1− 2
T∗ = , (7.51)
(1 − η2 )c̃ 1 − 1+q
2
we have
2
d 1+q
V (t) < = ζ. (7.52)
η2 c̃
According to Lemma 7.2, we have |ς 1/q − (vi∗ )1/q | ≥ 21−1/q |ς − vi∗ |1/q , and thus,
if vi ≥ vi∗ , it holds that
N
1 vi 1/q 2−q
V2 (t) ≥ 1+1/q
21−1/q ς − vi∗ dς
21−q c2 i=1 vi∗
N
1 vi 2 −1
= 1+1/q
2(1−1/q)(2−q) ς − vi∗ q dς
21−q c2 i=1 vi∗
q21− q
2 N
2
= 1+1/q
vi − vi∗ q . (7.54)
c2 i=1
N q2
2 2
q
2
|vi − vi∗ | = vi − vi∗ q ≤ (vi − vi∗ ) q
i=1
1+1/q
q2 1
(q+1) 1
(q+1) q
c2 c22 q c22 d 1+q
≤ V2 (t) = V (t) ≤
−1 2
2 . (7.55)
η2 c̃
q q q q
q21−2/q q 2 22 q 2 2 2 −1
⎣ c2 2 ⎦ d
2 1+q
|vi − v j | ≤ |vi | + |v j | ≤ 2 + c2 . (7.58)
λmin (Λ) η2 c̃
q q
q 2 2 2 −1
and
1
d 1+q
|θ̃i | ≤ 2kγ g γ̄2 , (7.60)
η2 c̃
1 12 (q+1)
2kv d 1+q c
Ω1 = |ei | ≤ , |vi − v j | ≤ 2 2q q −1
λmin (Λ) η2 η1 k d q 2 22
⎛ ⎞ q
q 1+q
2
1+q
2 2
⎝ dk v
⎠ , ∀i, j ∈ {1, . . . , N } ,
+ c2 (7.61)
λmin (Λ) η2 η1 k d
1
d 1+q
Ω1 p = |c̃ f i | ≤ 2kγ g γ̄1 ,
η2 c̃
1
d 1+q
|θ̃i | ≤ 2kγ g γ̄2 , ∀i ∈ {1, . . . , N } (7.62)
η2 c̃
where Mk = diag{m x,k , m y,k , m z,k } denotes the mass matrix; rk = [xk , yk , z k ]T ,
vk = [vx,k , v y,k , vz,k ]T , and u k = [u x,k , u y,k , u z,k ]T denote the position, velocity, and
control input vector, respectively; Dk is environment disturbance, and f k (rk , vk ) rep-
resents coriolis, centripetal, and hydrodynamic damping forces and torques acting
on the body, where
⎡ ⎤ ⎡ ⎤
A x,k + A|x,k| |vx,k | −m y,k vz,k 0 vx,k
f k (rk , vk ) = ⎣ m x,k vz,k B y,k + B|y,k| |v y,k | 0 ⎦ · ⎣v y,k ⎦
0 0 C z,k + C|z,k| |vz,k | vz,k
(7.64)
In the simulation, the physical parameters are taken as: Mk = diag{600 + 6(−1)k
+ 6Δm(t), 1000 + 10(−1)k + 10Δm(t), 800 + 8(−1)k + 8Δm(t)} (Δm(t) = sin
(π t/50 − π )), A x,k = −1 + 0.1(−1)k , A|x,k| = −25 + 2.5(−1)k , B y,k = −10
+ (−1)k , B|y,k| = −200 + 20(−1)k , C z,k = −0.5 + 0.05(−1)k , and C|z,k| = −1500
+ 150(−1)k for k = 1, 2, 3, 4. The external disturbance is taken as Dk = [3 +
7.4 Numerical Simulations 137
1.5
0.5
−0.5
−1.5 −1 −0.5 0 0.5 1 1.5 2
Fig. 7.2 Trajectory of each ASV from the initial position to the final position
138 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
0.2
0.1
Ex
−0.1
−0.2
0 2 4 6 8 10
Time (s)
(a) E in x-direction.
0.3 ey,1 ey,2 ey,3 ey,4
0.2
0.1
0
Ey
−0.1
−0.2
−0.3
−0.4
0 2 4 6 8 10
Time (s)
(b) E in y-direction.
ez,1 ez,2 ez,3 ez,4
0.3
0.2
0.1
Ez
−0.1
−0.2
0 2 4 6 8 10
Time (s)
(c) E in z-direction.
Fig. 7.3 Position error convergence of the four ASVs under the proposed finite-time control scheme
7.4 Numerical Simulations 139
0.2
ėx,1 ėx,2 ėx,3 ėx,4
0.1
0
Ėx
−0.1
−0.2
0 2 4 6 8 10
Time (s)
(a) Ė in x-direction.
0.1
Ėy
−0.1
−0.2
0 2 4 6 8 10
Time (s)
(b) Ė in y-direction.
0.2
ėz,1 ėz,2 ėz,3 ėz,4
0.1
0
Ėz
−0.1
−0.2
0 2 4 6 8 10
Time (s)
(c) Ė in z-direction.
Fig. 7.4 Velocity error convergence of the four ASVs under the proposed finite-time control scheme
140 7 Finite-Time Consensus for Systems with Second-Order Uncertain Dynamics …
1000
Ux
−1000
−2000
0 2 4 6 8 10
Time (s)
(a) U in x-direction.
2000 uy,1 uy,2 uy,3 uy,4
1000
Uy
−1000
−2000
0 2 4 6 8 10
Time (s)
(b) U in y-direction.
2000 uz,1 uz,2 uz,3 uz,4
1500
1000
500
0
Uz
−500
−1000
−1500
−2000
0 2 4 6 8 10
Time (s)
(c) U in z-direction.
Fig. 7.5 Control inputs of the four ASVs under the proposed finite-time control scheme
7.4 Numerical Simulations 141
0.2
Ex 0
0.1
−0.1
0 2 4 6 8 10
Time (s)
(b) Ė in x-direction.
Fig. 7.6 Error convergence comparison with x-direction under the finite-time control scheme with
different control parameters
Remark 7.1 It should be mentioned that the control parameter c1 is set relatively
large as compared with c2 in the simulation. This is because max{m x,k , m y,k , m z,k } =
1010, leading to the equivalent control gain 1/1010, thus in order to have enough
power to steer the system, the designed control parameter c1 has to be chosen large
enough to counteract the small control gain 1/1010.
7.5 Notes
The majority of the research on leaderless consensus control of nonlinear MAS has
been focused on the systems with nonlinearities that can be linearly parameterized,
and the convergence time is not finite. The work in this chapter explicitly addressed
the finite-time leaderless consensus control of nonlinear MAS with second-order
dynamics in the presence of unknown time-varying gain and non-parametric uncer-
tainties. It is shown that under the proposed control scheme, not only the finite-
time convergence is realized but also the unknown time-varying gain and the non-
parametric uncertainties are compensated successfully.
Not considered in this chapter is the local directed communication topology con-
dition, which obviously further complicates the underlying problem significantly. For
agents with second-order dynamics in the presence of non-parametric uncertainties
under local and one-way directed communication topology, the finite-time leaderless
consensus control is still a challenging problem, thus worthy of further studying. We
give a solution to this problem in the next chapter.
References
1. Bhat, S.P., Bernstein, D.S.: Continuous finite-time stabilization of the translational and rotational
double integrators. IEEE Trans. Autom. Control 43(5), 678–682 (1998)
2. Qian, C., Lin, W.: Non-Lipschitz continuous stabilizer for nonlinear systems with uncontrollable
unstable linearization. Syst. Control Lett. 42(3), 185–200 (2001)
3. Hardy, G., Littlewood, J., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
4. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Fault-tolerant finite time consensus for multiple
uncertain nonlinear mechanical systems under single-way directed communication interactions
and actuation failures. Automatica 63, 374–383 (2016)
5. Olfati-Saber, R., Murray, R.: Consensus problems in networks of agents with switching topology
and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
6. Polycarpout, M.M., Ioannout, P.A.: A robust adaptive nonllinear control design. In: American
Control Conference, pp. 1365–1369 (1993)
7. Bhat, S.P., Bernstein, D.S.: Finite-time stability of continuous autonomous systems. SIAM J.
Control Optim. 38(3), 751–766 (2000)
8. Almeida, J., Silvestre, C., Pascoal, A.M.: Cooperative control of multiple surface vessels with
discrete-time periodic communications. Int. J. Robust Nonlinear Control 22(4), 398–419 (2012)
Chapter 8
Finite-Time Consensus for Systems
with Second-Order Uncertain Dynamics
Under Directed Topology
Part of Sect. 8.2 has been reproduced from Wang, Y. J., Song, Y. D., Krstic, M., and Wen, C. Y.:
Fault-tolerant finite time consensus for multiple uncertain nonlinear mechanical systems under
single-way directed communication interactions and actuation failures. Automatica, vol. 63, pp.
374–383, 2016 © 2016 Elsevier Ltd., reprinted with permission.
analysis for the second-order uncertain multi-agent systems under directed topology,
in which the technical difficulties arising from the non-symmetric property of the
Laplacian matrix are circumvented in the finite-time stability analysis. Section 8.4
conducts numerical simulation to confirm the effectiveness of the theoretical results
obtained in the previous sections. Section 8.5 gives some notes on the finite-time
control of the second-order uncertain multi-agent systems.
In this section, we formulate the leaderless consensus control problem for networked
multi-agent systems with second-order uncertain dynamics under directed topology,
where the agent dynamics are subjected to unknown time-varying gain and unknown
non-parametric uncertainties. In the next section, we will introduce the Lyapunov
function design for the finite-time stability analysis under directed topology, and then
we start with controller design and stability analysis to explain the fundamental idea
and the technical development of the proposed method.
The focus of this section is to address the finite-time leaderless consensus problem
of second-order dynamic multi-agent systems with unknown time-varying gain and
non-parametric uncertainties under the directed topology.
We consider the system described by
where xi ∈ R, vi ∈ R, and u i ∈ R are the position state, velocity state, and control
input of the ith (i = 1, 2, . . . , N ) agent, respectively, gi denotes the control gain,
possibly time-varying and unavailable for controller design, f i denotes the system
nonlinearities,
and f di denotes the non-vanishing uncertainties. In addition, z i =
j∈N i i {x j , v j }.
8.2 Preliminaries
The following lemmas are useful for establishing the finite-time stability results of
the MAS.
Lemma 8.1 ([1]) Suppose there exists a continuously differentiable function
V (x, t) : U × R+ → R (U ⊂ R N is an open neighborhood of the origin), a real
number c > 0 and 0 < α < 1, such that V (x, t) is positive definite and V̇ (x, t) +
cV (x, t)α ≤ 0 on U0 (U0 ⊂ U), then V (x, t) is locally in finite-time convergent with
a finite settling time satisfying T ∗ ≤ V (x(0))
1−α
c(1−α)
, such that for any given initial state
x(t0 ) ∈ U0 /{0}, limt→T ∗ V (x, t) = 0 and V (x, t) = 0 for t ≥ T ∗ .
146 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
3q−1
3q−1 1−3q 3q−1
•˜ •ˆ 1+q = •˜ g −1 (• − •˜ )
1+q
= g 1+q •˜ (• − •˜ ) 1+q . (8.4)
4q 4h+1 −1
3× 4h−1
Note that 1+q
=1+ 3q−1
1+q
and 3q−1
1+q
= 1+ 4h−1
= 2h−1
2h
(h ∈ Z+ ), we thus see
4h+1
3q−1
that both the function g(s) = s (s ∈ R) and function f (s) = s 1+q (s ∈ R) are non-
decreasing, and then we have
4q 3q−1 3q−1
(• − •˜ ) 1+q = (• − •˜ ) (• − •˜ ) 1+q = |• − •˜ | |• − •˜ | 1+q , (8.6)
3q−1 1 + q 1+q
4q 3q−1
•˜ (• − •˜ ) 1+q ≤ • − |• − •˜ | |• − •˜ | 1+q . (8.7)
4q
8.2 Preliminaries 147
1 + q 1+q 3q−1
3q−1 4q 2q−2 3q−1
•˜ (• − •˜ ) 1+q ≤ • − 2 1+q |• − •˜ | • 1+q − •˜ 1+q . (8.8)
4q
3q−1
Similarly, by noting that the function g(s) = s (s ∈ R) and function f (s) = s 1+q
3q−1 3q−1
(s ∈ R) are non-decreasing, we then have |• − •˜ | • 1+q − •˜ 1+q
3q−1 3q−1
= (• − •˜ ) • 1+q − •˜ 1+q , and (8.8) becomes
3q−1 1+q 4q 2q−2 4q 2q−2 3q−1
•˜ (• − •˜ ) 1+q ≤ • 1+q −2 1+q • 1+q +2 1+q • 1+q •˜
4q
2q−2 3q−1 2q−2 4q
+ 2 1+q • •˜ 1+q − 2 1+q •˜ 1+q . (8.9)
2q−2 3q−1
2q−2 3q−1 1 + q 2q−2 1+q
4q
3q − 1 1+q
4q
2 1+q •˜ • 1+q = 2 1+q •˜ • 1+q ≤ 2 1+q •˜ + • , (8.10)
4q 4q
and
2 1+q
3q − 1 2q−2 1+q
4q
1+q
4q
−4 q−1
≤ 2 1+q • + 2 1+q •˜ . (8.11)
4q 4q
In this subsection, we introduce the Lyapunov function design for the finite-time
stability analysis under strongly connected directed topology. In the next subsection,
we will show how to apply such Lyapunov function in the Lyapunov analysis of
the finite-time leaderless consensus problem for multi-agent systems under directed
topology.
Before moving on, we first present several useful lemmas. It is important to note
that the Laplacian matrix L is no longer symmetric under the one-way directed
topology, which imposes a significant challenge for the finite-time leaderless consen-
sus control design because one cannot use such L to construct Lyapunov function
directly. To circumvent the technical difficulty in constructing Lyapunov function
arising from asymmetric property of the original Laplacian matrix L under directed
graph, we introduce a new matrix Q [5],
Lemma 8.8 ([4]) For a strongly connected digraph G with Laplacian L , let Q be
defined as in (8.13), then ∀x = 0 N , x T Qx = 0 if and only if x = c1 N , where c = 0
T
is a constant. Moreover, min xx TQx
x
exists and
x =c1 N
x T Qx N
0 < min ≤ λi (Q). (8.14)
x =c1 N x T x
i=2
(E q )T Q E q
≥ km . (8.15)
(E q )T E q
8.2 Preliminaries 149
1 1+q T 1+q
V = E 2 diag( p)E 2 , (8.16)
1+q
1+q
1+q
1+q T
T
where E 2 = e1 2 , . . . , e N2 . Hereafter, we let E h = e1h , . . . , ehN with
h ∈ R+ .
u i = u 0i + u ci , (8.17)
(8.20)
150 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
1
1
where δi = viq − (vi∗ ) q with vi∗ = −c2 ei and q = 4h−1
q
4h+1
(h ∈ Z+ ), c1 , c2 > 0 are
design parameters, ĉ f i and θ̂i are, respectively, the estimations of c f i and θi (the
parameters to be estimated), ϕi (·) is the scalar and readily computable function as
given in Assumption 8.1, and τi , γ1i , γ2i , σ1i , and σ2i are positive design parameters
chosen by the designer.
1+q
1
2q1 1+1/q 1+q
q
1+q d c2 (1 + q)
Ω1 = |ei | ≤ kv , |vi − v j | ≤ 2
p η2 η1 k d 2q−1/q q
1+q
q 2q
1+q dkv1+q
+ c2 , ∀i, j ∈ {1, . . . , N } , (8.21)
p η2 η1 k d
where 0 < η1 ≤ 1, 0 < η2 < 1, V (t0 ) is known, and kd and kv are given, respec-
tively, in (8.49) and (8.54), which are explicitly computable.
(2) The generalized parameter estimate errors c̃ f i and θ̃i converge to a small set
Ω1 p defined by
1+q
1+1/q d 4q
Ω1 p = |c̃ f i | ≤ 2 c2
2−q g γ̄1 kv ,
η2 η1 k d
1+q
1+1/q d 4q
|θ̃i | ≤ 2 c2
2−q g γ̄2 kv , ∀i ∈ {1, . . . , N } (8.23)
η2 η1 k d
Proof The proof of the result can be done by the following six steps.
Step 1. Construct the distributed part of the Lyapunov function candidate as
1 1+q T 1+q
V1 (t) = E 2 diag( p)E 2 . (8.24)
1+q
1 1
where ji is the ( j, i)th element of diag( p)L. By recalling that δi = (vi ) q − (vi∗ ) q ,
we get from Lemmas 8.3 and 8.4 that
N
N
N
N
vi − vi∗
q
ji e j ≤ 21−q |δi |q | ji ||e j |
q
N
c2 km 2q
N
e + 2−q N
2q 2q
V̇1 (t) ≤ − max δi + ei . (8.28)
2 i=1 i i=1
152 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
Step 2. Define the second part of the Lyapunov function candidate by adding a
power integrator
N $
vi
1 1 1
V2 (t) = 1+1/q
ς q − (vi∗ ) q dς (8.29)
21−q c2 i=1 vi∗
which is positive semi-definite and C 1 [2]. Taking the derivative of V2 (t) yields
N 1
1 1
V̇2 (t) = 1+1/q
viq − (vi∗ ) q v̇i
21−q c2 i=1
$ vi 1
1 1 1−1 d(−(vi∗ ) q )
+ ς q − (vi∗ ) q dς ·
vi∗ dt
1
N
1
= 1+1/q
δi v̇i + vi − vi∗ · c2q ėi
21−q c2 i=1
⎡ ⎤
1 N
1
= ⎣δi v̇i + vi − vi∗ · c2q ai j (vi − v j )⎦ . (8.30)
1+1/q
21−q c2 i=1 j∈N i
Upon using Lemma 8.3, the second term of the right side of (8.30) becomes
1
N
1
1+1/q
vi − vi∗ · c2q ai j (vi − v j )
21−q c2 i=1 j∈N i
1
1
N
q
≤ 1+1/q
2 1−q
|δi | · c2
q
ai j (vi − v j )
1−q
2 c2 i=1 j∈N i
1 q
N
= |δi | ai j (vi − v j ) . (8.31)
c2 i=1 j∈N i
Let ā = max∀i∈{1,...,N } { ai j } and b̄ = max∀i, j{1,...,N } {ai j }. We then see that
j∈N i
⎛ ⎞
1 N
1 N
|δi |q ai j (vi − v j ) ≤ |δi |q ⎝ā|vi | + b̄ |v j |⎠ . (8.32)
c2 i=1
j∈N i c2 i=1 j∈N i
ā + b̄ N̄ 1−q c2
N
c2
= 2 + |δi |2q + |ei |2q , (8.34)
c2 2 2
i=1
where N̄ denotes the maximum number of the in-degree and out-degree of each ith
agent for all i ∈ {1, . . . , N }. By combining (8.31), (8.32), and (8.34), the second
term of the right side of (8.30) can be further written as
1
N
1
1+1/q
vi − vi∗ · c2q ai j (vi − v j )
21−q c2 i=1 j∈N i
ā + b̄ N̄
N c2 2q c2 2q
≤ 21−q + |δi | + |ei | . (8.35)
c2 i=1
2 2
By applying the control laws given in (8.17)–(8.19) to the first term of the right
hand of (8.30), we have
N
N
δi v̇i = δi (gi u i + f i + f di )
i=1 i=1
N
2q
≤ − c1 gi δi − δi gi ĉ f i ϕi tanh(δi ϕi /τi ) − δi gi θ̂i tanh(δi /τi )
i=1
where we have used the fact that 0 ≤ |s| − s · tanh(s/k) ≤ 0.2785k [6].
By substituting (8.35) and (8.36) into (8.30), we arrive at
N
2q
N
2q
N
1
V̇2 (t) ≤k1 δi + k2 ei + 0.2785τi c f i + θi
1−q c1+1/q
i=1 i=1 i=1 2 2
+ c f i − g ĉ f i δi ϕi tanh(δi ϕi /τi ) + θi − g θ̂i δi tanh(δi /τi ) (8.37)
where
c1 g ā + b̄ N̄ 1−q c2
k1 = − 1+1/q
+ 2 + ,
21−q c2 c2 2
ā + b̄ N̄
k2 = . (8.38)
2
Step 3. Note that in (8.37) the parameter estimation error of the form •˜ = • −
g •ˆ is involved, which motivates us to introduce the generalized weight parameter
estimation errors c̃ f i (i ∈ {1, . . . , N }) and θ̃i as follows
with which we introduce the third part of the Lyapunov function candidate as
N
c̃2f i
N
θ̃i2
V3 (t) = + (8.40)
i=1
2kγ gγ1i i=1
2kγ gγ2i
1+1/q
where kγ = 21−q c2 .
By applying the adaptive laws for ĉ f i and θ̂i given in (8.20), we get the derivative
of V3 as
ĉ˙ f i θ̂˙i
N N
c̃ f i θ̃i
V̇3 (t) = (− ) + (− )
i=1
kγ γ1i k
i=1 γ
γ2i
8.3 Distributed Adaptive Finite-Time Control Design and Stability Analysis … 155
N
c̃ f i 3q−1
= i − δi ϕi tanh(δi ϕi /τi )
σ1i ĉ f1+q
i=1 γ
k
N
θ̃i 3q−1
= i +
c̃ f i ĉ f1+q θ̃i θ̂i 1+q
i=1
kγ i=1
kγ
1
N
− c f i − g ĉ f i δi ϕi tanh(δi ϕi /τi )
k
i=1 γ
1
N
− θi − g θ̂i δi tanh(δi /τi ). (8.41)
k
i=1 γ
where V1 (t), V2 (t), and V3 (t) are given in (8.24), (8.29), and (8.40), respectively.
By combining (8.28), (8.37), and (8.41), we then arrive at
N
2q
N
2q
N
σ1i 3q−1
V̇ (t) ≤ − k3 δi − k4 ei + c̃ f i ĉ f1+q
i
i=1 i=1 i=1
kγ
N
σ2i 3q−1 N
0.2785τi (c f i + θi )
+ θ̃i θ̂i 1+q + (8.43)
i=1
kγ i=1
kγ
where
c1 g ā + b̄ N̄ 1−q c2
k3 = −2−q N max + 1+1/q
− 2 + ,
21−q c2 c2 2
c2 km ā + b̄ N̄
k4 = − 2−q N max − . (8.44)
2 2
1+1/q −1 −q
Thus, c1 and c2 can be chosen as c1 > 21−q c2 g 2 N max +
1−q c2
−q
ā+b̄ N̄
c2
2 + 2 and c2 > km 2 N max + 2
2 ā+b̄ N̄
such that k3 and k4 > 0.
Upon using Lemma 8.7, it is straightforward that
4q
3q−1
1 + q 1−3q 8q(q−1) 2(q−1)
c̃ f i ĉ f1+q
i ≤ g 1+q 2 (1+q)2 − 2 1+q c̃ 1+q
fi
4q
156 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
⎛ −16q(q−1)2
⎞
3q − 1 (1 + q)2 (1+q)3 4q
+ ⎝1 − 2 ⎠ c 1+q
2q−2
1+q + + fi , (8.45)
4q 4q
4q
3q−1
1 + q 1−3q 8q(q−1) 2(q−1)
θ̃i θ̂i 1+q
≤ g 1+q 2 (1+q)2 − 2 1+q θ̃i1+q
4q
⎛ −16q(q−1)2
⎞
3q − 1 (1 + q)2 (1+q)3 4q
+ ⎝1 − 2 1+q + ⎠ θi 1+q .
2q−2
+ (8.46)
4q 4q
N
2q
N
2q
N 4q
N 4q
V̇ (t) ≤ −k3 δi − k4 ei − k5 c̃ f i − k6
1+q
θ̃i 1+q + d (8.47)
i=1 i=1 i=1 i=1
where
1−3q
2(q−1) 8q(q−1)
σ 1 (1 + q)g 1+q 2 1+q − 2 (1+q)2
k5 = 1+1/q
,
23−q c2 q
1−3q
2(q−1) 8q(q−1)
σ 2 (1 + q)g 1+q 2 1+q − 2 (1+q)2
k6 = 1+1/q
,
23−q c2 q
⎛ ⎞
N
−16q(q−1)2
⎝1 − 2 1+q + 3q − 1 + (1 + q)2
(1+q)3
⎠ g 1+q
2q−2 1−3q
d=
i=1
4q 4q
4q 4q
f i + σ2i θi
(1 + q)(σ1i c 1+q 1+q
) 0.2785τi c f i + θi
× 1+1/q
+ 1+1/q
< ∞, (8.48)
23−q c2 q 21−q c2
kd = min{k3 , k4 , k5 , k6 }, (8.49)
N
4q 4q
2q 2q
V̇ (t) ≤ −kd δi + ei + c̃ 1+q
f i + θ̃i
1+q
+ d. (8.50)
i=1
Step 5. We prove that there exists a finite time T ∗ > 0 and a bounded constant
0 < ζ < ∞ such that V (t) < ζ when t ≥ T ∗ in the sequel.
8.3 Distributed Adaptive Finite-Time Control Design and Stability Analysis … 157
1 1+q T p̄ 1+q
N
1+q
V1 (t) = E 2 diag( p)E 2 ≤ e , (8.51)
1+q 1 + q i=1 i
N 1
1 q
V2 (t) ≤ v − (v∗ ) q1 vi − v∗
1+1/q i i i
21−q c2 i=1
1
N
1
N
1+q
≤ 1+1/q
|δi | · 21−q |δi |q = 1+1/q
δi . (8.52)
21−q c2 i=1 c2 i=1
From the definition of V3 (t) given in (8.40), it is not hard to see that
1
N
1
N
V3 (t) ≤ 1+1/q
c̃2f i + 1+1/q
θ̃i2 , (8.53)
22−q c2 gγ 1 i=1 22−q c2 gγ 2 i=1
N
1+q 1+q
V (t) ≤ kv δi + ei + c̃2f i + θ̃i2 . (8.55)
i=1
2q N
4q 4q
2q
2q 2q
V (t) 1+q ≤ kv1+q δi + ei + c̃ 1+q
fi + θ̃i
1+q
. (8.56)
i=1
η1 k d
Let c̃ = 2q (kd and kv are given in (8.49) and (8.54), respectively, and
1+q
kv
0 < η1 ≤ 1). It thus follows from (8.50) and (8.56) that
2q
V̇ (t) ≤ −c̃V (t) 1+q + d. (8.57)
158 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
1+q
Let Θ = {(xi , vi ) : V (t) < ( ηd2 c̃ ) 2q , 0 < η2 < 1}. According to Theorem 5.2 in
1+q
[7], for any (xi , vi ) ∈/ Θ for all t ∈ [0, tx ], it holds that V (t) ≥ (d/η2 c̃) 2q , i.e.,
2q
d ≤ η2 c̃V (t) 1+q , for all t ∈ [0, tx ]. This fact, together with (8.57), implies that
2q 2q 2q
V̇ (t) ≤ −c̃V (t) 1+q + η2 c̃V (t) 1+q = −(1 − η2 )c̃V (t) 1+q (8.58)
1+q
for all t ∈ [0, tx ]. Note that V (t) ≥ (d/η2 c̃) 2q > 0 for t ∈ [0, tx ], and it thus follows
2q
1−
V (t0 ) 1+q
from (8.58) that tx < 2q
according to Lemma 8.1. Therefore for ∀t ≥ T ∗ ,
(1−η2 )c̃ 1− 1+q
with T ∗ satisfying
2q
we have
1+q
d 2q
V (t) < = ζ. (8.60)
η2 c̃
N $
1 vi 1/q
V2 (t) ≥ 1+1/q
21−1/q ς − vi∗ dς
21−q c2 i=1 vi∗
21−1/q 1 +1 v
N
1
=1 × ς − vi∗ q vi∗
q
+ 1 21−q c2
1+1/q
i=1
i
2q− q q
1
N
1+ 1
= 1+1/q
vi − vi∗ q . (8.62)
c2 (1 + q) i=1
8.3 Distributed Adaptive Finite-Time Control Design and Stability Analysis … 159
" N # 1+1/q
1
1+1/q
1
|vi − vi∗ | = vi − vi∗ (vi − vi∗ )1+1/q
1+1/q
≤
i=1
" 1+1/q
# 1+1/q
1 " 1+1/q
# 1+q
q
21
c2 (1 + q) c2 (1 + q) d
≤ V2 (t) ≤ . (8.63)
2 q−1/q q 2 q−1/q q η2 c̃
and
1+q
d 4q
|θ̃i | ≤ 2kγ g γ̄2 , (8.68)
η2 c̃
From the above analysis, we conclude that under the proposed finite-time control
scheme (8.17)–(8.20), the position and velocity errors between neighbor agents will
converge to a small region Ω1 , defined by
1+q
1
2q1 1+1/q 1+q
q
1+q d c2 (1 + q)
Ω1 = |ei | ≤ kv , |vi − v j | ≤ 2
p η2 η1 k d 2q−1/q q
1+q
q 2q
1+q dkv1+q
+ c2 , ∀i, j ∈ {1, . . . , N } , (8.69)
p η2 η1 k d
1+q
1+1/q d 4q
Ω1 p = |c̃ f i | ≤ 22−q c2 g γ̄1 kv ,
η2 η1 k d
1+q
1+1/q d 4q
|θ̃i | ≤ 22−q c2 g γ̄2 kv , ∀i ∈ {1, . . . , N } (8.70)
η2 η1 k d
Note that if we take the value of the fraction power q as 1, the control scheme (8.17)–
(8.20) reduces to the following regular state feedback-based infinite-time control
Theorem 8.2 The second-order uncertain MAS (8.1) under Assumption 8.1 and
directed strongly connected topology with the control scheme (8.71)–(8.72) achieves
cooperative uniformly ultimately bounded (UUB) leaderless consensus in that the
8.3 Distributed Adaptive Finite-Time Control Design and Stability Analysis … 161
and the generalized parameter estimate errors c̃ f i and θ̃i converge to a small set Ω1 p
defined by
'
2c22 g γ̄1 kv d
Ω1 p = |c̃ f i | ≤ ,
η2 η1 k d
'
2c22 g γ̄2 kv d
|θ̃i | ≤ , ∀i ∈ {1, . . . , N } (8.74)
η2 η1 k d
where 0 < η1 ≤ 1, 0 < η2 < 1, V (t0 ) is known, and kd and kv are given, respectively,
in (8.49) and (8.54), which are explicitly computable. In addition, all signals in the
closed-loop system remain uniformly bounded.
Proof The proof can be done by letting q = 1 and following the same line as in the
proof of Theorem 8.1.
in which Mk = diag{m x,k , m y,k , m z,k } denotes the mass matrix; rk = [xk , yk , z k ]T ,
vk = ṙk = [vx,k , v y,k , vz,k ]T , and u k = [u x,k , u y,k , u z,k ]T denote the position, veloc-
ity, and control input vector, respectively; Dk = [dx,k , d y,k , dz,k ]T is environment
162 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
disturbance; and f k = [ f x,k , f y,k , f z,k ]T represents coriolis, centripetal, and hydro-
dynamic damping forces and torques acting on the body, where
f k = Δ · vk
with
⎡ ⎤
A x,k + A|x,k| |vx,k | −m y,k vz,k 0
Δ=⎣ m x,k vz,k B y,k + B|y,k| |v y,k | 0 ⎦.
0 0 C z,k + C|z,k| |vz,k |
3 1
4
8.4 Numerical Simulations 163
2.5
1.5
0.5
−0.5
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 2.5
Fig. 8.2 Trajectory of each ASV from the initial position to the final position
from the initial position to the finial position. The position error convergence results
in x-direction, y-direction, and z-direction under the finite-time control scheme pro-
posed in (8.17)–(8.20) are represented in Fig. 8.3. In addition, the velocity error
convergence results in x-direction, y-direction, and z-direction under the proposed
finite-time control scheme are given in Fig. 8.4. From both Figs. 8.3 and 8.4, we see
that the consensus is achieved under the proposed finite-time control scheme with
high accuracy and fast convergence rate. Figure 8.5 shows the control input signals
of the four ASVs under the proposed finite-time control scheme.
To show the effectiveness of our proposed scheme, we make a comparison on
convergence time between the proposed control scheme (8.17)–(8.20) and the typ-
ical infinite-time-based adaptive scheme (8.71)–(8.72). The two control schemes
are applied to the same group of ASVs (8.75) with the same unknown parameters
mentioned above. The convergence comparison results are shown in Fig. 8.6. It is
observed from the comparison results that the convergence rates of the four ASVs,
including the position error convergence rates and velocity error convergence rates,
are faster under the finite-time controller compared with the infinite-time controller.
On the other hand, to see the effects of the control parameters on the error con-
vergence time, we consider two groups of control parameters: s = 2, c1 = 2000
and c2 = 3; s = 2, c1 = 5000 and c2 = 4, respectively. The position and velocity
error convergence comparison results are depicted in Fig. 8.7, which indicates that
the finite-time T ∗ specified in (8.22) can be adjusted smaller by choosing larger
controller parameters c1 and c2 , but it will result in larger initial control effort.
164 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
0.2
Ex
−0.2
−0.4
0 5 10 15
Time (s)
(a) E in x-direction.
0.2 ey,1 ey,2 ey,3 ey,4
0.1
Ey
−0.1
−0.2
0 5 10 15
Time (s)
(b) E in y-direction.
ez,1 ez,2 ez,3 ez,4
0.2
0.1
Ez
−0.1
−0.2
0 5 10 15
Time (s)
(c) E in z-direction.
Fig. 8.3 Position error convergence of the four ASVs under the proposed finite-time control scheme
8.4 Numerical Simulations 165
0.3
ėx,1 ėx,2 ėx,3 ėx,4
0.2
Ėx 0.1
−0.1
−0.2
0 5 10 15
Time (s)
(a) Ė in x-direction.
0.2
ėy,1 ėy,2 ėy,3 ėy,4
0.1
Ėy
−0.1
−0.2
0 5 10 15
Time (s)
(b) Ė in y-direction.
0.2
ėz,1 ėz,2 ėz,3 ėz,4
0.1
Ėz
−0.1
−0.2
0 5 10 15
Time (s)
(c) Ė in z-direction.
Fig. 8.4 Velocity error convergence of the four ASVs under the proposed finite-time control scheme
166 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
2000
Ux 1000
−1000
−2000
−3000
0 5 10 15
Time (s)
(a) U in x-direction.
3000 uy,1 uy,2 uy,3 uy,4
2000
1000
Uy
−1000
−2000
−3000
0 5 10 15
Time (s)
(b) U in y-direction.
2000 uz,1 uz,2 uz,3 uz,4
1000
Uz
−1000
−2000
0 5 10 15
Time (s)
(c) U in z-direction.
Fig. 8.5 Control inputs of the four ASVs under the proposed finite-time control scheme
8.4 Numerical Simulations 167
0.3
ex,2 under finite-time control scheme
ex,3 under finite-time control scheme
0.2 ex,2 under traditional infinite-time control scheme
ex,3 under traditional infinite-time control scheme
0.1
Ex
−0.1
−0.2
0 5 10 15
Time (s)
(a) E in x-direction.
0.15
ėx,2 under finite-time control scheme
ėx,3 under finite-time control scheme
0.1
ėx,2 under traditional infinite-time control scheme
ėx,3 under traditional infinite-time control scheme
0.05
Ėx
−0.05
−0.1
0 5 10 15
Time (s)
(b) Ė in x-direction.
Fig. 8.6 Error convergence comparison with x-direction under the two control schemes
8.5 Notes
The work in this chapter explicitly addressed the finite-time leaderless consensus
control of nonlinear MAS with second-order dynamics in the presence of unknown
time-varying gain and non-parametric uncertainties under the one-way directed com-
munication topology. It is shown that under the proposed control scheme, not only
the finite-time convergence is realized but also the unknown time-varying gain and
the non-parametric uncertainties are compensated successfully.
The main contributions of the work in this chapter are summarized as follows:
(1) The finite-time consensus control scheme is derived for a group of networked
nonlinear systems with second-order uncertain dynamics under the directed commu-
nication topology. It is shown that all the internal signals are ensured to be uniformly
bounded and the consensus configuration error uniformly converges to a small resid-
ual set in finite time. (2) The one-way directed communication condition is taken
168 8 Finite-Time Consensus for Systems with Second-Order Uncertain …
0.2
Ex 0
0.1
−0.1
0 2 4 6 8 10
Time (s)
(b) Ė in x-direction.
Fig. 8.7 Error convergence comparison with x-direction under the finite-time control scheme with
different control parameters
into consideration. The technical difficulty arising from the directed topology is tack-
led by deriving the general algebraic connectivity properties established in Lemmas
8.8–8.9 with the newly defined Laplacian matrix Q. (3) By introducing the skill-
fully defined weighting parameter estimate error and by establishing an important
inequality in Lemma 8.7, the lumped uncertainties in the system with unknown and
time-varying control gains are compensated gracefully.
References
1. Bhat, S.P., Bernstein, D.S.: Continuous finite-time stabilization of the translational and rotational
double integrators. IEEE Trans. Autom. Control 43(5), 678–682 (1998)
2. Qian, C., Lin, W.: Non-Lipschitz continuous stabilizer for nonlinear systems with uncontrollable
unstable linearization. Syst. Control Lett. 42(3), 185–200 (2001)
References 169
3. Hardy, G., Littlewood, J., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
4. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Fault-tolerant finite time consensus for multiple
uncertain nonlinear mechanical systems under single-way directed communication interactions
and actuation failures. Automatica 63, 374–383 (2016)
5. Zhang, H., Lewis, F.L., Qu, Z.: Lyapunov, adaptive, and optimal design techniques for coop-
erative systems on directed communication graphs. IEEE Trans. Ind. Electron. 59, 3026–3041
(2012)
6. Polycarpout, M.M., Ioannout, P.A.: A robust adaptive nonllinear control design. In: American
Control Conference, pp. 1365–1369 (1993)
7. Bhat, S.P., Bernstein, D.S.: Finite-time stability of continuous autonomous systems. SIAM J.
Control Optim. 38(3), 751–766 (2000)
8. Almeida, J., Silvestre, C., Pascoal, A.M.: Cooperative control of multiple surface vessels with
discrete-time periodic communications. Int. J. Robust. Nonlinear Control 22(4), 398–419 (2012)
Chapter 9
Finite-Time Leaderless Consensus
Control for Systems with High-Order
Uncertain Dynamics
The majority of the research on finite-time consensus control has been focused on
MAS described by single or double integrator under undirected topology. This work
explicitly addressed the problem of finite-time consensus for MAS with high-order
nonlinear uncertain dynamics under directed communication constraints. Finite-time
leaderless consensus for networked multi-agent systems (MAS) with high-order non-
linear uncertain dynamics under local communication condition is an challenging
problem due to the involvement of high-order nonlinear uncertain dynamics, local
communication constraints, and unknown time-varying control effectiveness gain.
In this chapter, based upon the locally defined consensus error and fractionally com-
posed virtual error, a number of useful intermediate results are derived, with which,
the finite-time consensus solutions are established for networked MAS with high-
order uncertain dynamics under single-way directed communication topology. By
including fraction power integration as part of the Lyapunov function candidate and
by using inductive analysis, it is shown that the proposed distributed solution is able
to achieve consensus in finite time with sufficient accuracy. The benefits and effec-
tiveness of the developed algorithm are also confirmed by numerical simulations.
Section 9.1 addresses the finite-time leaderless consensus control problem for
the high-order multi-agent systems with unknown non-affine dynamics under local
directed communication topology. Section 9.2 gives some useful lemmas and also
derives a number of useful intermediate results that are related to the finite-time
stability analysis for the high-order uncertain multi-agent systems. In Sect. 9.3, the
locally defined neighborhood error and the fractionally composed virtual error are
introduced into the control scheme, where the fraction power feedback law and
fraction power adaptive updated law for the parameter estimation are designed. The
main control results are given in Sect. 9.4, in which rigorous proof of the stability is
carried out by inductive analysis upon adding the fraction power integration term to
Part of this chapter has been reproduced from Wang, Y. J., Song, Y. D., Krstic, M., Wen, C. Y.:
Adaptive finite time coordinated consensus for high-order multi-agent systems: adjustable fraction
power feedback approach. Information sciences, vol. 372, pp. 392–406, 2016 © 2016 Elsevier Inc.,
reprinted with permission.
the Lyapunov function candidate. Section 9.5 shows the comparison results between
the infinite-time method and the finite-time method. Section 9.6 gives two simulation
examples to verify the effectiveness of the developed algorithm. Section 9.7 gives
a discussion on the finite-time consensus control problem of high-order uncertain
MAS.
ẋi,m = xi,m+1 , m = 1, . . . , n − 1
ẋi,n = f i (x̄i , u i ) + f di (x̄i , t),
yi = xi,1 , i = 1, . . . , N , (9.1)
which can be made sufficiently small, and meanwhile, all the internal signals in the
closed-loop systems are bounded.
Note that by non-affine dynamics, the control action enters into the system through
an implicit and uncertain way, making the controller design much more challenging.
To proceed, the non-affine dynamic model (9.1) is first transformed into an affine
form by using the mean value theorem [2], that is, there exists a constant ξi ∈ (0, u i )
(i ∈ {1, . . . , N }) such that
∂ f i (x̄i , ξi )
f i (x̄i , u i ) = f i (x̄i , 0) + ui . (9.3)
∂u i
The following fundamental assumptions are in order for the controller design.
Assumption 9.1
a. The directed communication network G is strongly connected.
b. The control effectiveness gain gi (·) is unknown and time-varying but bounded
away from zero, that is, there exist unknown constants gli and gui such that
0 < gli ≤ |gi (·)| ≤ gui < ∞ and gi (·) is sign-definite (we assume sgn(gi ) = +1
in this paper without loss of generality).
c. For the lumped uncertainties L f i (·), there exists an unknown constant αi ≥ 0 and
a known scalar function ψi (x̄i ) ≥ 0 such that |L f i (·)| ≤ αi ψi (·). In addition, if
x̄i is bounded, so is ψi (x̄i ).
It should be addressed that in Assumption 9.1-b, although gli is unknown, we can
always estimate its lower bound, i.e., g < gli for some constant g > 0. In addition,
Assumption 9.1-b is commonly imposed in most existing works in addressing the
tracking control problem, for instance [3–8]. Assumption 9.1-c is related to the
extraction of the core information from the nonlinearities of the system, which can
be readily done for any practical system with only crude model information [9].
In this section, we represent some useful lemmas and derive a number of useful
intermediate results that play a crucial role in the finite-time stability analysis for the
high-order uncertain multi-agent systems.
Lemma 9.1 ([10]) Suppose there exists a continuously differentiable function
V (x, t) : U × R+ → R (U ⊂ R N is an open neighborhood of the origin), a real
174 9 Finite-Time Leaderless Consensus Control for Systems …
number c > 0 and 0 < α < 1, such that V (x, t) is positive definite and V̇ (x, t) +
cV (x, t)α ≤ 0 on U0 (U0 ⊂ U), then V (x, t) is locally in finite-time convergent with
a finite settling time satisfying T ∗ ≤ V (x(0))
1−α
c(1−α)
, such that for any given initial state
x(t0 ) ∈ U0 /{0}, limt→T ∗ V (x, t) = 0 and V (x, t) = 0 for t ≥ T ∗ .
Lemma 9.2 ([11]) Let c, d be positive real numbers and γ (x, y) > 0 a real-valued
−c/d
function. Then, |x|c |y|d ≤ cγ (x,y)|x| + dγ (x,y)c+d |y| .
c+d c+d
c+d
Lemma 9.4 ([11]) If 0 < h = h 1 / h 2 ≤ 1, where h 1 , h 2 > 0 are odd integers, then
|x h − y h | ≤ 21−h |x − y|h .
N
Lemma 9.5 ([12]) For xi ∈ R, i = 1, 2, . . . , N , 0 < h ≤ 1, then ( i=1 |xi |)h ≤
N N
i=1 |x i | ≤ N ( i=1 |xi |) .
h 1−h h
(E s )T Ξ E s ≥ ks (E s )T E s , (9.5)
Proof Before moving on, we first give an important property on Ξ , which has been
proved in our previous work [7]: ∀X = 0 N , X T Ξ X = 0 if and only if X = c1 N with c
XT Ξ X
being a nonzero constant, and moreover, 0 < min XT X
≤ λ2 (Ξ ) (we denote
X =c1 N ,X =0 N
by λi (Ξ ) the eigenvalue of Ξ ). In the following, we prove that indeed E s = c1 N , and
then min (E(E h) )TΞEEh > 0. Let ks = min (E(E h) )TΞEEh , then it holds that (E h )T Ξ E h ≥
h T h h T h
E h =0 N E h =0 N
ks (E h )T E h . Note that p T E = p T L(y − ) = 0, i.e., p1 e1,1 + · · · + p N e N ,1 = 0,
thus for E = 0 N , it is impossible that sgn(ei,1 ) = 1 (or sgn(ei,1 ) = −1) for all i =
1, 2, . . . , N due to the fact that pi > 0 ([13]). Hence, E = c1 N with c being a nonzero
constant. Note that sgn(ei,1 ) = sgn(ei,1 h
) for i = 1, . . . , N , it is readily established
that E h = c1 N .
Then there exists a finite time T ∗ (called the settling time) satisfying
V (x, 0)1−α
T∗ ≤ , 0 < μ1 < 1 (9.7)
(1 − μ1 )c̃(1 − α)
Proof Let Δ = {x : V (x, t) < ( μς1 c̃ ) α , 0 < μ1 < 1}. According to Theorem 5.2 in
1
1
[14] for any x ∈ / Δ for all t ∈ [0, tx ], it holds that V (x, t) ≥ (ς/μ1 c̃) α , i.e., ς ≤
α
μ1 c̃V (x, t) , for all t ∈ [0, tx ]. This fact, together with (9.6), implies that
for all t ∈ [0, tx ]. Note that V (x, t) ≥ (ς/η1 c̃)α > 0 for t ∈ [0, tx ]. According to
V (x,0)1−α
Lemma 9.1 and (9.9), we know tx < (1−μ 1 )c̃(1−α)
= T ∗ . Thus (9.8) holds for ∀t ≥ T ∗ .
Proof The assertion is vacuously true if ς (t) ≡ 0. In fact, in this case (9.10) becomes
where T̄ = |ϑ(0)|
1−h
kϑ (1−h)
, which implies that ϑ(t) ≥ 0 for ∀t ≥ 0 and any given bounded
initial condition ϑ(0) ≥ 0.
We now consider the case that ς (t) is not always equal to 0. If there exists some
time constant t1 > 0 such that ς (t1 ) = 0, then by continuity there exists a small
neighborhood [t1 , t1 + Δt1 ) such that ϑ(t) ≥ 0 on [t1 , t1 + Δt1 ) (Δt1 > 0) from
the above analysis; if there exists some time constant t2 > 0 such that ς (t2 ) > 0
176 9 Finite-Time Leaderless Consensus Control for Systems …
h1
2)
and ϑ(t2 ) > qς(t kϑ
> 0, then by continuity there exists a small neighborhood
[t2 , t2 + Δt2 ) such that ϑ(t) > 0 on [t2 , t2 + Δt2 ) (Δt2 > 0); if there exists some time
h1
3)
constant t3 > 0 such that ς (t3 ) > 0 and ϑ(t3 ) = qς(t kϑ
> 0, then by (9.10) it holds
h1 h
3)
that ϑ̇(t3 ) = −kϑ qς(t kϑ
+ qς (t3 ) = 0, and by continuity there exists a small
h1
3)
neighborhood [t3 , t3 + Δt3 ) such that ϑ(t) = qς(t kϑ
> 0 on [t3 , t3 + Δt3 ) (Δt3 >
0); and if there exists some time constant t4 > 0 such that ς (t4 ) > 0 and 0 < ϑ(t4 ) <
1 1 h
qς(t4 ) h qς(t4 ) h
kϑ
, it follows from (9.10) that ϑ̇(t 4 ) > −k ϑ kϑ
+ qς (t4 ) = 0, and
then there exists a small neighborhood [t4 , t4 + Δt4 ) such that ϑ(t) > ϑ(t4 ) > 0 on
[t4 , t4 + Δt4 ) (Δt4 > 0) by continuity. By global continuity of the function ϑ(t),
we have ϑ(t) ≥ 0 ∀t ≥ 0 for any given bounded initial condition ϑ(0) ≥ 0 in this
case.
Proof Upon using Lemma 9.6, it is deduced from Lemma 9.4 that
3s−1 1+s
1+s 1+s 4s
4s
ζ̃ ζ − ζ̃ ≤ ζ 1+s − ζ − ζ̃
4s
1+s 4s
3s−1
1+s
= ζ 1+s − ζ − ζ̃ ζ − ζ̃
4s
1+s 4s 2s−2 3s−1 3s−1
≤ ζ 1+s − 2 1+s ζ − ζ̃ ζ 1+s − ζ̃ 1+s . (9.14)
4s
3s−1
1+s
ζ̃ ζ − ζ̃
1+s 4s 2s−2 4s 2s−2 3s−1 2s−2 3s−1 2s−2 4s
≤ ζ 1+s − 2 1+s ζ 1+s + 2 1+s ζ̃ ζ 1+s + 2 1+s ζ ζ̃ 1+s − 2 1+s ζ̃ 1+s
4s
2s−2 4s
(1 + s) 2 1+s ζ̃
1+s 4s
1+s 4s 2s−2 4s (3s − 1)ζ 1+s
≤ ζ 1+s −2 1+s ζ 1+s + +
4s 4s 4s
s−1 2
4s 2s−2
4s
(1 + s) 2−4( 1+s ) ζ
1+s 1+s
(3s − 1) 2 1+s ζ̃ 2s−2 4s
+ + − 2 1+s ζ̃ 1+s
4s 4s
⎡ ⎛ ⎞ ⎤
−16s(s−1)2
1 + s ⎢ 8s(s−1) 2(s−1) 4s ⎜ 2s−2 3s − 1 (1 + s)2 (1+s)3 4s ⎥
⎟ 1+s
≤ ⎣ 2 (1+s)2 − 2 1+s ζ̃ 1+s + ⎝1 − 2 1+s + + ⎠ζ ⎦.
4s 4s 4s
(9.15)
The focus in this section is on deriving the finite-time output consensus control
scheme for MAS with dynamics (9.1). We first introduce the neighborhood error
and local virtual error and then conduct the inductive control design and stability
analysis.
To develop the distributed finite-time control scheme for the high-order MAS on
graph, we define the following local position error ei,1 and local virtual errors ei,m
(m = 2, . . . , n) as
ei,1 = ai j (yi − i − yj + j ), i, j ∈ {1, . . . , N }
j∈N i
1/q ∗1/q
ei,m = xi,m m − xi,m m , i ∈ {1, . . . , N }, m = 2, . . . , n (9.16)
where i are constants denoting the final consensus configuration such that yi −
y j = i − j (i, j ∈ {1, . . . , N }); qm = (4ln + 3 − 2m)/(4ln + 1) > 0 (l ∈ Z + );
∗ ∗ qm
xi,m (m = 2, . . . , n) is the virtual control given by xi,m = −βi,m−1 ei,m−1 , where
βi,m−1 is positive constant to be designed. Denote y = [y1 , . . . , y N ] ∈ R ,
T N
=
[ 1 , . . . , N ]T ∈ R N , and E = [e1,1 , . . . , e N ,1 ]T ∈ R N , then it holds that E =
L(y − ).
It is noted that unlike the existing method [15] in defining the fraction power qm ,
here we introduce the integer l into qm . Such treatment leads to the fraction power
feedback control capable of adjusting the control precision and finite convergence
time, as shown in sequel.
With the intermediate results and lemmas as represented in Sect. 9.2, we are ready
to address the finite-time adaptive consensus control design for the high-order non-
affine MAS (9.1).
178 9 Finite-Time Leaderless Consensus Control for Systems …
1 1+s 1+s
V1 (x1 ) = (E 2 )T P E 2 , (9.17)
(1 + s)ks
where s and ks are defined as in Lemma 9.7. With simple computation, it is obtained
that
1 s T 1
V̇1 (x1 ) = (E ) P Ė = (E s )T P L x2
ks ks
1 s T 1
= (E ) P L x2∗ + (E s )T P L(x2 − x2∗ ), (9.18)
ks ks
β1 s T 1
V̇1 (x1 ) = − (E ) P L E s + (E s )T P L(x2 − x2∗ )
ks ks
1
N N
β1 ∗
= − (E s )T Ξ E s + (xi,2 − xi,2 ) ji (e j,1 )s (9.19)
ks ks i=1 j=1
1 1 1−s
N N N N
∗
(xi,2 − xi,2 ) ji (e j,1 )s ≤ 2 |ei,2 |s | ji ||e j,1 |s
ks i=1 j=1
k s i=1 j=1
2 N 2
1 1
N N N
≤2 max
1−s
|ei,2 | s
|e j,1 | ≤
s
|ei,1 | s
+ C̃2 |ei,2 | s
ks i=1 j=1
2N i=1 i=1
1
N N
≤ (ei,1 )2s + C2 (ei,2 )2s (9.20)
2 i=1 i=1
2
N
N
in which the fact xi ≤N xi2 has been used, and C2 = N C̃2 is a fixed
i=1 i=1
constant.
In light of Lemma 9.7 and (9.20), it is deduced from (9.19) that
9.3 Inductive Controller Design 179
N
1
N N
V̇1 (x1 ) ≤ −β1 (ei,1 )2s + (ei,1 )2s + C2 (ei,2 )2s . (9.21)
i=1
2 i=1 i=1
with
N
xi,2 1+s−q2
1 ∗ q1
W2 (x1 , x2 ) = τ q2 − xi,22 dτ. (9.23)
∗
i=1 xi,2
∂ W2 1+s−q
= ei,2 2 = ei,2 ,
∂ xi,2
∗ q1
∂ W2 ∂ xi,22 xi,2 1 ∗ q1
s−q2
= −(1 + s − q2 ) τ q2 − xi,22 dτ
∂ x j,1 ∂ x j,1 ∗
xi,2
∗ q1
∂ xi,22 !
=− ∗
xi,2 − xi,2 , j ∈ N¯i = Ni ∪ i. (9.24)
∂ x j,1
1/q2
N
21−q2 β1 |ei,2 |q2 ai j (xi,2 − x j,2 )
i=1 j∈N i
⎛ ⎞
N
|ei,2 |q2 ⎝r1 |xi,2 | + r2 |x j,2 |⎠
1/q
≤21−q2 β1 2
i=1 j∈N i
N
1/q2
≤21−q2 β1 r1 |ei,2 |2q2 + r1 β1 |ei,2 |q2 |ei,1 |q2
i=1
+ r2 |ei,2 |q2 (|e j,2 |q2 + β1 |e j,1 |q2 ) . (9.27)
j∈N i
Note that
2(1+1/q2 ) 2 1
r1 |ei,2 |q2 |ei,1 |q2 ≤ 22(1−q2 ) β1
1+1/q2
21−q2 β1 r1 |ei,2 |2q2 + |ei,1 |2q2 ,
4
|e j,2 |q2 ≤ 2−q2 β1 2 r2
1/q 1/q
21−q2 β1 2 r2 |ei,2 |q2 (|ei,2 |2q2 + |e j,2 |2q2 ),
j∈N i j∈N i
1+1/q2
2 1−q2
β1 r2 |ei,2 |q2 |e j,1 |q2
j∈N i
2(1+1/q2 ) 2 1
≤ (22(1−q2 ) β1 r2 cN |ei,2 |2q2 + |e j,1 |2q2 ), (9.28)
4cN
j∈N i
in which cN = maxi∈{1,...,N } {dim{Ni }} with dim{Ni } being the number of the ele-
ments in Ni .
By substituting (9.28) into (9.27) we have
1/q2
N 1 2q2
N 2q N
21−q2 β1 |ei,2 |q2 · ai j (xi,2 − x j,2 ) ≤ ei,1 + C̄2 ei,22 (9.29)
i=1
2 i=1 i=1
j∈N i
2(1+1/q ) 2(1+1/q2 )
with C̄2 = 21−q2 β1 2 r1 + 22(1−q2 ) β1 r12 + 21−q2 β1 2 r2 cN +22(1−q2 ) β1
1/q 2 1/q
2 2
r2 cN .
By combining (9.22), (9.21), (9.25), and (9.29), we see that
N
N
V̇2 ≤ − (β1 − 1) (ei,1 )2s + (C2 + C̄2 ) (ei,2 )2s
i=1 i=1
N
∗ ∗
+ ei,2 (xi,3 − xi,3 ) + ei,2 xi,3 . (9.30)
i=1
9.3 Inductive Controller Design 181
Note that q3 = q2 − 2/(4ln + 1), and then 1 + q3 = 2q2 = 2s. Thus by choosing
∗
β1 > n − 1 + kc with kc > 0 being a design parameter and the virtual control xi,3 =
q3
−βi,2 ei,2 with βi,2 ≥ n − 2 + kc + C2 + C̄2 , we get
N
2
N
∗
V̇2 ≤ −(n − 2 + kc ) (ei,m )2s + ei,2 (xi,3 − xi,3 ). (9.31)
i=1 m=1 i=1
N
Vk−1 (·) ≤ k̄b (ei,1
1+s
+ · · · + ei,k−1
1+s
) (9.32)
i=1
such that
N
k−1
N
1+s−qk−1 ∗
V̇k−1 (·) ≤ −(n − k + 1 + kc ) 2s
ei,m + ei,k−1 (xi,k − xi,k ). (9.33)
i=1 m=1 i=1
We claim that (9.32) and (9.33) also hold at step k. To prove this, consider
with
N
xi,k 1+s−qk
1 ∗ q1
Wk (x1 , . . . , xk ) = τ qk − xi,k k dτ. (9.35)
∗
i=1 xi,k
∂ Wk 1+s−q
= ei,k k ,
∂ xi,k
∗ q1
∂ Wk ∂ xi,k k xi,k 1 ∗ q1
s−qk
= −(1 + s − qk ) τ qk − xi,k k dτ, m = 1, . . . , k − 1,
∂ xi,m ∂ xi,m ∗
xi,k
(9.36)
N
Therefore, Vk (·) is C 1 , positive definite and satisfies Vk (·) ≤ k̄b i=1 (ei,1
1+s
+ ··· +
1+s
ei,k ).
By recalling (9.33), we derive the derivative of Vk (·) as
182 9 Finite-Time Leaderless Consensus Control for Systems …
N
k−1
N
!
1+s−qk−1 ∗
V̇k (·) ≤ − (n − k + 1 + kc ) 2s
ei,m + ei,k−1 xi,k − xi,k
i=1 m=1 i=1
⎛ ⎞
N N
k−1
∂ W ∂ Wk
+
1+s−q
ei,k k xi,k+1 + ⎝ k
ẋi,m + ẋ j,1 ⎠ . (9.37)
∂ x i,m ¯
∂ x j,1
i=1 i=1 m=2 j∈N i
To continue, we examine the second term and the fourth term on the right-hand
side of (9.37). First, according to Lemma 9.4, it holds that
2s
1+s−qk−1 ∗
ei,k−1
ei,k−1 (xi,k − xi,k ) ≤ 21−qk |ei,k−1 |1+s−qk−1 |ei,k |qk ≤ + Ci,k ei,k
2s
(9.38)
2
with Ci,k being a constant. As for the fourth term on the right-hand side of (9.37),
we have
⎛ ⎞
N
k−1
∂ Wk ∂ Wk
⎝ ẋi,m + ẋ j,1 ⎠
∂ x i,m ¯
∂ x j,1
i=1 m=2 j∈N i
∗ 1
∗ 1
N
k−1
∂ xi,k k
q
∂ xi,kqk
≤ (1 + s − qk )21−qk |ei,k |s · ẋi,m + ẋ j,1 . (9.39)
∂ xi,m ¯
∂ x j,1
i=1 m=2 j∈N i
for a constant ρki,m ≥ 0. This is done by inductive argument. First of all, it is deduced
from (9.24)–(9.26) that
∗ 1 2
N
∂ xi,22
q
N
1/q
N
ẋ j,1 ≤ β1 2 ai j (xi,2 − x j,2 ) ≤ ρ2i,m |ei,m | s
,
i=1 j∈N ¯i
∂ x j,1 i=1 i=1 m=1
j∈N i
(9.41)
∗ 1
∗ 1 k−1
N
k−2
∂ xi,k−1
qk−1
∂ xi,k−1
qk−1
N
ẋi,m + ẋ j,1 ≤ ρ(k−1)i,m |ei,m | s
(9.42)
∂ xi,m ∂ x j,1
i=1 m=2 j∈N ¯i i=1 m=1
9.3 Inductive Controller Design 183
∗1/qm 1/q
xi,m = −βi,m−1
m
ei,m−1 , (9.43)
qm
∗1/qm
|xi,m | ≤ ei,m + xi,m ≤ |ei,m |qm + βi,m−1 |ei,m−1 |qm , (9.44)
∗ 1
∗ 1
N
k−1
∂ xi,k k
q
∂ xi,kqk
ẋi,m + ẋ j,1
∂ xi,m ∂ x j,1
i=1 m=2 j∈N ¯i
⎛ ⎞
N
1/qk ⎝
k−1
∂e ∂e
ẋ j,1 ⎠
i,k−1 i,k−1
= −βi,k−1 ẋi,m +
∂ x i,m ¯
∂ x j,1
i=1 m=2 j∈N i
1
−1 ∗ 1
∗ 1
N
1/qk
qk−1
xi,k−1
k−2
∂ xi,k−1
qk−1
∂ xi,k−1
qk−1
N
1/q 1 1−q
1
−1 1−q
≤ βi,k−1 · ei,k−1k−1 + βi,k−2
k−1 q
k
ei,k−2k−1
i=1
qk−1
k−1
· (|ei,k |qk + |ei,k−1 |qk βi,k−1 ) + ρ(k−1)i,m |ei,m |s
m=1
N
k
≤ ρki,m |ei,m |s . (9.45)
i=1 m=1
Therefore,
⎛ ⎞
N
k−1
∂ W ∂ Wk
⎝ k
ẋi,m + ẋ j,1 ⎠
∂ x i,m ∂ x j,1
i=1 m=2 j∈N ¯i
k
N
≤ (1 + s − qk )2 1−qk
|ei,k | s
ρki,m |ei,m | s
i=1 m=1
1
N
k−1
N
≤ 2s
ei,m + 2s
C̄i,k ei,k (9.46)
2 i=1 m=1 i=1
N
k−1
N
! 2s
V̇k (·) ≤ − (n − k + kc ) 2s
ei,m + Ci,k + C̄i,k ei,k
i=1 m=1 i=1
N
! N
1+s−qk ∗ 1+s−q ∗
+ ei,k xi,k+1 − xi,k+1 + ei,k k xi,k+1 . (9.47)
i=1 i=1
∗ q
By introducing the virtual control xi,k+1 = −βi,k ei,kk+1 with βi,k ≥ n − k + kc +
Ci,k + C̄i,k > 0, we get from (9.47) that
N
k
N
!
1+s−qk ∗
V̇k (·) ≤ − (n − k + kc ) 2s
ei,m + ei,k xi,k+1 − xi,k+1 . (9.48)
i=1 m=1 i=1
with
N
xi,n 1+s−qn
1 ∗ 1
N
Clearly, Vn (·) so defined is C 1 , positive definite and satisfies Vn (·) ≤ k̄b i=1 (ei,1
1+s
+
· · · + ei,n
1+s
).
From the above inductive argument, one can conclude that
N
n−1
N
1+s−qn
N
! 2s
V̇n (·) ≤ −kc 2s
ei,m + ei,n ẋi,n + Ci,n + C̄i,n ei,n . (9.51)
i=1 m=1 i=1 i=1
q ζ̂i 2 1+s−qn
u i = −βi,n ei,nn+1 − ψ e (9.52)
ηi2 i i,n
σi
ζ̂˙i = −σi γi ζ̂i 1+s + 2 ψi2 ei,n
3s−1
2(1+s−qn )
, (9.53)
ηi
In this section, we give the main control result and conduct the finite-time stability
analysis for the uncertain non-affine multi-agent systems (9.1).
Theorem 9.1 Consider the networked high-order non-affine uncertain MAS (9.1)
under Assumption 9.1. If the distributed adaptive control scheme (9.52)–(9.53) with
∗
the virtual control xi,m (m = 1, . . . , n) is applied, then for any initial conditions sat-
isfying ζ̂i (0) ≥ 0 and V (0) ≤ μ (μ > 0 is a finite constant), the finite-time leaderless
consensus for system (9.1) is achieved in that
(1) the neighborhood error E converges to a small residual set Θ0 , namely
⎧ 2s1 ⎫
⎨ [(1 + s)ks kb ]
2s
1+s ς ⎬
Θ0 = E ≤ , (9.54)
⎩ μ1 μ2 ka ⎭
where
) 2(s−1) * ) *
1+s 8s(s−1) g
ka = min kc , gγi 2 1+s − 2 (1+s)2
, kb = max k̄b , ,
4s 2σi
⎛ −16s(s−1)2
⎞
N
ηi
2 N
1+s 3s − 1 (1 + s)2 (1+s)3 4s
gγi ⎝1 − 2 1+s + ⎠ ζi 1+s
2s−2
ς= + +
i=1
4 i=1
4s 4s 4s
(2) all of the signals in the controlled system are semi-globally uniformly ultimately
bounded.
N
g
V = Vn + ζ̃i2 . (9.58)
i=1
2σi
N
n−1
N
1+s−qn !
V̇ (·) ≤ − kc 2s
ei,m + ei,n gi u i + L f i
i=1 m=1 i=1
N
! 2s N
g
+ Ci,n + C̄i,n ei,n + ζ̃i − ζ̂˙i . (9.59)
i=1 i=1
σi
According to Assumption 9.1 and Young’s inequality, we have, for any ηi > 0,
that
Let ζi = g −1 αi2 . By using (9.52) and (9.60), it is deduced from (9.59) that
N
n−1
N
! 2s
V̇ (·) ≤ − kc 2s
ei,m − gi βi,n − Ci,n − C̄i,n ei,n
i=1 m=1 i=1
N
gi ζ̂i 2(1+s−qn ) gζi 2(1+s−qn )
+ − 2 ψi2 ei,n + 2 ψi2 ei,n
i=1
ηi ηi
N
η2
N
g ˙
+ i
+ ζ̃i − ζ̂i . (9.61)
i=1
4 i=1
σi
According to Lemma 9.9 and (9.53), we see that ζ̂i (t) ≥ 0 for any given initial
estimate ζ̂i (0) ≥ 0. If βi,n is chosen such that βi,n g − Ci,n − C̄i,n > kc , it thus follows
from (9.61) that
N
n
N
g 2(1+s−qn )
V̇ (·) ≤ −kc 2s
ei,m + ψi2 ei,n (ζi − ζ̂i )
i=1 m=1 i=1
ηi2
N
η2
N
g ˙
+ i
+ ζ̃i (− ζ̂i ). (9.62)
i=1
4 i=1
σi
9.4 The Finite-Time Stability Analysis for the Uncertain High-Order MAS 187
By applying the adaptive law for ζ̂i given in (9.53), one has
N
n
N 3s−1
N
η2
V̇ (·) ≤ −kc 2s
ei,m + gγi ζ̃i ζ̂i 1+s
+ i
. (9.63)
i=1 m=1 i=1 i=1
4
2(s−1) 8s(s−1)
where 2 1+s − 2 (1+s)2 > 0. Let
⎛ −16s(s−1)2
⎞
N
η2
N
1+s 3s − 1 (1 + s)2 (1+s)3 4s
gγi ⎝1 − 2 ⎠ ζi 1+s .
2s−2
ς= i
+ 1+s + +
i=1
4 i=1
4s 4s 4s
(9.65)
N
n
N
1+s 2(s−1) 8s(s−1) 4s
V̇ (·) ≤ −kc 2s
ei,m − gγi 2 1+s − 2 (1+s)2 ζ̃i 1+s + ς. (9.66)
i=1 m=1 i=1
4s
By denoting that
) 2(s−1) *
1+s 8s(s−1)
ka = min kc , gγi 2 1+s − 2 (1+s)2 , (9.67)
i∈{1,...,N } 4s
In the sequel, we prove that there exists a finite time T ∗ > 0 and a bounded constant
∗
cV such that V (t) < cV when t g≥T .
Let kb = maxi∈{1,...,N } k̄b , 2σi , and thus,
+ N n ,
N 2 1+s
V (·) ≤ kb 1+s
ei,m + ζ̃i 1+s
(9.69)
i=1 m=1 i=1
188 9 Finite-Time Leaderless Consensus Control for Systems …
μ2 k a
Let c̃ = 2s (0 < μ2 ≤ 1). It is straightforward from (9.68) and (9.70) that
kb1+s
2s
V̇ (·) ≤ −c̃V 1+s (·) + ς. (9.71)
Upon using Lemma 9.8, it is seen that there exists a finite time T ∗ satisfying
2s
∗ V (0)1− 1+s
T ≤ , (9.72)
(1 − μ1 )c̃(1 − 2s
1+s
)
- ⎡ 1+s
2s ⎤ 1+s
4s
2σmax ⎣ 2σ max k b ς ⎦
ζ̃ ≤ V (·) ≤ . (9.75)
g g μ1 μ2 ka
Thus, it has been established that under the proposed finite-time control scheme,
the neighborhood error converges to a small region Θ0 given as
⎧ 2s1 ⎫
⎨ [(1 + s)ks kb ]
2s
1+s ς ⎬
Θ0 = E ≤ , (9.76)
⎩ μ1 μ2 ka ⎭
∗
xi,m = −βi,m−1 ei,m−1 , (9.78)
ζ̂i 2
u i = −βi,n ei,n − ψ ei,n (9.79)
ηi2 i
Remark 9.1 It is seen that in these two control schemes, i.e., (9.52)–(9.53) and
(9.79)–(9.80), the steady-state errors are controlled by the convergence regions,
i.e., Θ0 , Θ1 , Θ2 , and Θ3 , respectively, all of which can be reduced as small as
desired by choosing the control parameters. Nevertheless, due to control satura-
tion constraint, the control parameters are not allowed to be set too large. While in
the proposed method, one can choose the fractional power s = (4ln − 1)/(4ln + 1)
properly to enhance the disturbance rejection performance and increase the control
precision without the need for excessively large control gain. For instance, suppose
2s
[(1+s)ks kb ] 1+s ς
μ1 μ2 k a
< 1 is satisfied (this is allowed because all the parameters in ka and
kb , i.e., kc , γi , and σi are free design parameters), note that 1/s is much larger than
2s
1
2s 21
[(1+s)ks kb ] 1+s ς
1, which makes μ1 μ2 k a
μ2k1 μb k2skςa , thus leading to better control pre-
cision as compared with regular state feedback-based infinite-time control method.
Remark 9.2 It is worth noting that the proposed finite-time control method is essen-
tially different from the regular state feedback-based UUB control method, here the
feedback error and the adaptive compensation are not used directly in building the
control scheme and the adaptive updated law, instead the fractional power of the
3s−1
q
feedback error of the form ei,mm
and the fractional power of adaptive term ζ̂i 1+s are
embedded into the algorithm, it is such special treatment that makes it possible to
achieve sufficient control precision in finite time by the adaptive approach. In other
words, for the proposed control method, the convergence precision is adjustable and
the convergence time is easily adjustable without the need for high feedback gain
to reach the given precision, whereas for regular state-based UUB control, although
it can reach a bound in a finite time, both the bound and the finite time cannot be
prescribed and one can only enlarge the control gain to get a better control precision.
Remark 9.4 Compared with the finite-time control for the system with second-order
dynamics, the work proposed in this chapter extends the result to high-order case,
which poses significant technical challenge. In fact, the main hindrance stems from
the fact that in the presence of high-order dynamics, the commonly used filtering
technique [18] cannot be used with Babarlat lemma or UUB theory to derive finite
9.5 Comparison with Regular State Feedback-Based Infinite-Time Method 191
time convergence because the convergence of the filtered error to zero or to a small
value cannot ensure the finite-time convergence of the original error. Compared
with the other two works [19, 20] on adaptive finite-time consensus for nonlinear
MAS, where (i) the systems are second-order; (ii) the communication is undirected;
and (iii) the uncertainties are assumed to exhibit the linear parametric property, the
work proposes in this chapter gives an adaptive distributed control solution to the
problem of the cooperative consensus of nonlinear MAS with general high-order
dynamics involving non-parametric uncertainties and non-vanishing disturbances
under directed communication, by focusing on achieving consensus in finite time
with sufficient accuracy.
In order to demonstrate the feasibility of the proposed finite-time control, two numer-
ical examples are given.
The simulation runs for 20 s. The initial conditions are x1 (0) = [−0.2, −0.3, 0,
0.2]T , x2 (0) = [0.2, 0.3, 0, −0.2]T , and x3 (0) = 04 . The simulation is conducted
by applying the control laws given in (9.52)–(9.53), where the control parameters
are taken as: l = 1, β1 = 4, βi,2 = 12, βi,3 = 40, σi = 1, γi = 1, and ηi = 0.8. The
scalar function ψi (x̄i ) = 0.2 + xi,1
2
+ xi,2
2
+ xi,3
2
. In addition, the initial values of the
estimates are chosen as ζ̂i (0) = 0.5 for i = 1, 2, 3, 4. The error convergence result of
the four agents is depicted in Fig. 9.2. Figure 9.3 represents the parameter estimation
ζ̂i (i = 1, 2, 3, 4).
To show that better performance is achieved with the proposed control scheme,
we also tested the convergence property between the proposed finite-time adaptive
control scheme (9.52)–(9.53) and the typical infinite-time-based adaptive scheme
(9.79)–(9.80). Both the two control laws are applied to system (9.83) by using the
same design parameters. It is observed from Fig. 9.4 that the convergence rate is
faster and the error precision is better with the finite-time controller compared with
the infinite-time controller.
192 9 Finite-Time Leaderless Consensus Control for Systems …
0.05
e11 e21 e31 e41
e i,1
−0.05
0 2 4 6 8 10 12 14 16 18 20
Time (s)
5
χ1 χ2 χ3 χ4
4
3
χi
0
0 5 10 15 20
Time (s)
0.03
e21 under finite time control
e41 under finite time control
0.02
e21 under infinite time control
e41 under infinite time control
0.01
e i,1
−0.01
−0.02
0 2 4 6 8 10 12 14 16 18 20
Time (s)
Fig. 9.4 Position neighborhood errors under the two different controllers
for i = 1, 2, 3, 4, where qi , q̇i , and q̈i denote the link angular position, velocity,
and acceleration of the ith robot, respectively; f (u i ) = u i + 0.5cos(u i ) is the driv-
ing torque in which u i is the motor current, G g (t) = −0.1 sin(t) is the external
disturbance. For convenience, we consider the same communication condition as
in Example 1 with each edge weight being 0.1. We set the final consensus con-
figuration i as = 0.15[π/2, 5π/8, 3π/4, 7π/8]T . The initial conditions are
x1 (0) = [−0.1, −0.2, 0, 0.1]T , x2 (0) = 04 , and ζ̂ (0) = 0.514 .
Figure 9.5 is the position trajectories of the four robots, and Fig. 9.6 is the neighbor-
hood errors. For comparison, we also compare the convergence property of the pro-
posed control with the typical infinite-time-based control (9.79)–(9.80). Figure 9.7
demonstrates that the convergence property including the convergence rate and the
error precision is better with the finite-time controller as compared with the infinite-
time method, as theoretically predicted.
9.7 Notes
0.5
Robot 1 Robot 2 Robot 3 Robot 4
xi,1
−0.5
0 2 4 6 8 10 12 14 16 18 20
Time (s)
Fig. 9.5 Position trajectories of the four agents under the finite-time controller
0.02
e11 e21 e31 e41
0.01
e i,1
−0.01
−0.02
0 2 4 6 8 10 12 14 16 18 20
Time (s)
0.02
e11 under finite time contol
e21 under finite time control
e11 under infinite time control
0.01
e21 under infinite time control
e i,1
−0.01
−0.02
0 2 4 6 8 10 12 14 16 18 20
Time (s)
Fig. 9.7 Position neighborhood errors under the two different controllers
9.7 Notes 195
high-order nonlinear dynamics are scarce, and extending the finite-time control meth-
ods for single or double integrator to higher-order case encounters significant tech-
nical challenge. The main hindrance stems from the fact that in the presence of high-
order dynamics, the commonly used filtering technique [18] cannot be used with
Babarlat lemma or uniformly ultimately bounded (UUB) theory to derive finite-time
convergence because the convergence of the filtered error to zero or to a small value
cannot ensure the finite-time convergence of the original error.
The underlying problem becomes even more challenging when non-parametric
uncertainties and unknown time-varying control effectiveness gains (or non-affine
dynamics) are involved. In fact, the existence of non-parametric uncertainties liter-
ally makes it impossible to use continuous control to achieve zero steady-state error
in finite time even for non-networked (single) system. Although zero error conver-
gence is no longer feasible for such situation, convergence with sufficient steady-state
accuracy is acceptable for most practical applications. Motivated by the work of [14],
where it is shown that the finite-time convergence systems with nonlinearities possess
many good features including faster convergence rate, better disturbance rejection,
and robustness against uncertainties, it is thus practically meaningful and plausible
to pursue achieving finite-time convergence with sufficient accuracy. However, new
issues and challenges arise along with this effort. One is that if the control effec-
tiveness gain is unknown and time-varying, literally any designed protocol will be
polluted or disguised, making the control impact on the agent uncertain and unclear
such that the widely used negative feedback control method is inapplicable for direct
cancelation. Furthermore, to guarantee global finite-time stable control with suffi-
cient accuracy for high-order nonlinear MAS, the derivative of the Lyapunov function
V (x, t) must satisfy the relation of V̇ (x, t) ≤ −cV (x, t)α + ς for suitable constants
c > 0, 0 < α < 1 and bounded constant ς > 0, which brings about another tech-
nical difficulty to adaptive control design because it is non-trivial to synthesize the
adaptive compensation to fulfill such relation. The problem under consideration is
made further complicated by the local communication topology, especially the local
one-way directed communication topology, which imposes significant challenge to
extend existing finite-time adaptive control methods to distributed consensus control
of networked MAS. As such, the problem of distributed finite-time consensus con-
trol of MAS with high-order nonlinear dynamics has not been well addressed; this is
particularly true when there involve non-parametric uncertainties and disturbances
in the model and the communication is local and especially one-way directed.
In this chapter, we present a solution to such problem by focusing on achieving
consensus of MAS in finite time with sufficient accuracy. To circumvent the afore-
mentioned technical obstacles, we first introduce the locally defined neighborhood
error and the fractionally composed virtual error, which are embedded into the con-
trol scheme; and then, we design the fraction power feedback law and fraction power
adaptive updated law for the parameter estimation, which renders the crucial relation
V̇ (x, t) ≤ −cV (x, t)α + ς to be satisfied. To carry out rigorous proof of the stability
196 9 Finite-Time Leaderless Consensus Control for Systems …
by inductive analysis, we add the fraction power integration term to the Lyapunov
function candidate. By integrating the adjustable fractional power feedback con-
trol method with adaptive control method, not only the inherent uncertainties with
unknown and time-varying control gains can be effectively compensated but also the
cooperative consensus can be achieved in finite time with sufficient accuracy.
References
1. Olfati-Saber, R., Murray, R.: Consensus problems in networks of agents with switching topol-
ogy and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
2. Oldham, K.B.: The fractional calculus. Elsevier (1974)
3. Gao, R.Z., Wang, Y.J., Lai, J.F., Gao, H.: Neuro-adaptive fault-tolerant control of high speed
trains under traction-braking failures using self-structuring neural networks. Inf. Sci. 367–368,
449–462 (2016)
4. Meng, W., Yang, Q., Jagannathan, S., Sun, Y.: Adaptive neural control of high-order uncertain
nonaffine systems: a transformation to affine systems approach. Automatica 23(2), 1473–1480
(2014)
5. Song, Y.D., Wang, Y.J., Wen, C.Y.: Adaptive fault-tolerant PI tracking control with guaranteed
transient and steady-state performance. IEEE Trans. Autom. Control 62(1), 481–487 (2017)
6. Wang, Y.J., Song, Y.D., Lewis, F.L.: Robust adaptive fault-tolerant control of multi-agent
systems with uncertain non-identical dynamics and undetectable actuation failures. IEEE Trans.
Ind. Electron. 62(6), 3978–3988 (2015)
7. Wang, Y.J., Song, Y.D., Krstic, M., Wen, C.Y.: Fault-tolerant finite time consensus for multiple
uncertain nonlinear mechanical systems under single-way directed communication interactions
and actuation failures. Automatica 63, 374–383 (2016)
8. Wang, Y.J., Song, Y.D.: Fraction dynamic-surface-based neuroadaptive finite-time containment
control of multiagent systems in nonaffine pure-feedback form. IEEE Trans. Neural Netw.
Learn. Syst. 28(3), 678–689 (2016)
9. Song, Y.D., Huang, X.C., Wen, C.Y.: Tracking control for a class of unknown nonsquare MIMO
nonaffine systems: A deep-rooted information based robust adaptive approach. IEEE Trans.
Autom. Control 61(10), 3227–3233 (2016)
10. Bhat, S.P., Bernstein, D.S.: Continuous finite-time stabilization of the translational and rota-
tional double integrators. IEEE Trans. Autom. Control 43(5), 678–682 (1998)
11. Qian, C., Lin, W.: Non-Lipschitz continuous stabilizer for nonlinear systems with uncontrol-
lable unstable linearization. Syst. Control Lett. 42(3), 185–200 (2001)
12. Hardy, G., Littlewood, J., Polya, G.: Inequalities. Cambridge University Press, Cambridge
(1952)
13. Qu, Z.: Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles.
Springer, London (2009)
14. Bhat, S.P., Bernstein, D.S.: Finite-time stability of continuous autonomous systems. SIAM J.
Control Optim. 38(3), 751–766 (2000)
15. Huang, X., Lin, W., Yang, B.: Global finite-time stabilization of a class of uncertain nonlinear
systems. Automatica 41, 881–888 (2005)
16. Hong, Y.: Finite-time stabilization and stabilizability of a class of controllable systems. Syst.
Control Lett. 46, 231–236 (2002)
17. Huang, J., Wen, C., Wang, W., Song, Y.D.: Design of adaptive finite-time controllers for nonlin-
ear uncertain systems based on given transient specifications. Automatica 69, 395–404 (2016)
18. Slotine, J.E., Sastry, S.S.: Tracking control of nonlinear systems using sliding surfaces with
application to robot manipulators. Int. J. Control 38(2), 132–135 (1983)
References 197
19. Yu, H., Shen, Y., Xia, X.: Adaptive finite-time consensus in multi-agent networks. Syst. Control
Lett. 62(10), 880–889 (2013)
20. Huang, J., Wen, C.Y., Wang, W., Song, Y.D.: Adaptive finite-time consensus control of a group
of uncertain nonlinear mechanical systems. Automatica 51, 292–301 (2015)
21. Chen, M., Tao, G., Jiang, B.: Dynamic surface control using neural networks for a class of
uncertain nonlinear systems with input saturation. IEEE Trans. Neural Netw. Learn. Syst.
26(9), 2086–2097 (2015)
22. Xiao, F., Wang, L., Chen, J., Gao, Y.: Finite-time formation control for multi-agent systems.
Automatica 45(11), 2605–2611 (2009)
23. Wang, L., Xiao, F.: Finite-time consensus problems for networks of dynamic agents. IEEE
Trans. Autom. Control 55(4), 950–955 (2010)
24. Li, S., Du, H., Lin, X.: Finite-time consensus algorithm for multi-agent systems with double-
integrator dynamics. Automatica 47(8), 1706–1712 (2011)
25. Zhang, Y., Yang, Y.: Finite-time consensus of second-order leader-following multi-agent sys-
tems without velocity measurements. Phys. Lett. A 337(3–4), 243–249 (2013)
26. Cao, Y., Ren, W.: Finite-time consensus for multi-agent networks with unknown inherent
nonlinear dynamics. Automatica 50(10), 2648–2656 (2014)
27. Li, C.Y., Qu, Z.H.: Distributed finite-time consensus of nonlinear systems under switching
topologies. Automatica 50(6), 1626–1631 (2014)
28. Du, H., He, Y., Cheng, Y.: Finite-time synchronization of a class of second-order nonlinear
multi-agent systems using output feedback control. IEEE Trans. Circuits Syst. I 61(6), 1778–
1788 (2014)