Sage Journals: Discover world-class research

Abstract

This article studies the leaderless consensus control problem of multiple nonholonomic chained systems. Two smooth time-invariant static distributed controllers are derived based on Lyapunov method, graph theory, and LaSalle invariance principle. Both of the proposed controllers guarantee that the states of the multiple nonholonomic systems globally asymptotically converge to a common vector, provided that the interconnection topology is undirected and connected. In particular, the second control scheme can reduce the size of the control inputs via saturated control and is more applicable in real engineering. Several numerical simulations are implemented for kinematic models of four nonholonomic unicycle mobile robots, demonstrating the effectiveness of the proposed control schemes.

Keywords

Nonholonomic chained systems leaderless consensus control saturated control LaSalle invariance principle

Introduction

In the past few years, distributed cooperative control of multiagent systems has attracted a lot of attention due to its widespread applications, including flocking, swarming, formation control, and so forth.^1

–6 As a classical nonlinear system, nonholonomic system has received increasing interest of researchers.^{7

–15} Two consensus control problems have been taken into account for nonholonomic systems. The first one is the leaderless consensus control problem, where controllers are derived to make the states of the multiple nonholonomic systems converge to a common configuration. The second one is the consensus tracking control problem with a leader, where controllers are designed to steer the multiple nonholonomic systems to track the leader.¹⁶

For any individual nonholonomic system, there exists no continuous time-invariant static controller that asymptotically stabilizes the state of system to a fixed point,¹⁷ and hence, only the time-varying or discontinuous controller¹⁸ can achieve asymptotic stabilization. For multiple leaderless consensus case, most of the published references still focus on the design of time-varying, discontinuous, or dynamic controller, see the literatures^{19

–29} which achieve the leaderless consensus/formation control of multiple nonholonomic systems. In addition, it was reported in the study by Zhai et al.³⁰ that the smooth time-invariant static distributed control law can realize the asymptotic leaderless consensus of the nonholonomic chained systems over undirected connected graph. However, the Lyapunov-like function candidate in the study by Zhai et al.³⁰ is only shown to be positive semidefinite, and hence, the system stability requires further analysis. Moreover, Zhai et al.³⁰ do not take into account the input saturation. Therefore, it is deserved to develop a new smooth time-invariant static distributed control law for leaderless consensus control of multiple nonholonomic systems subject to input saturation.

This article investigates the leaderless consensus control problem of networked nonholonomic chained systems. A Lyapunov function is firstly constructed based on the Laplacian matrix of the associated communication graph, which is proved to be nonnegative and equal to zero only at the point of zero consensus error in the case of undirected connected communication graph. With the aid of the carefully constructed Lyapunov function, the first smooth time-invariant distributed controller is designed ensuring that the Lyapunov function is non-increasing under the undirected connected communication graph. According to LaSalle invariance principle, the consensus error of the nonholonomic systems is shown to globally asymptotically decay to zero. Modifying the first control scheme, the second saturated smooth time-invariant static control law is obtained, which not only achieves the global asymptotic consensus control but also satisfies the input saturation condition. Comparing to the related works,^{19

–29} the proposed control strategies are smooth and time-invariant. Comparing to the work of Zhai et al.,³⁰ the second control law can realize the consensus goal in the presence of input saturation.

The rest of this article is arranged as follows. The problem formulation is firstly presented, and then, the two controllers are constructed. Effectiveness of the proposed saturated control strategy is illustrated in “Simulation” section. Finally, the conclusion is included.

Problem statement

Consider that there are N nonholonomic chained systems, and the nonlinear model of the i th system is given by

[\begin{matrix} {\dot{x}}_{i 1} \\ {\dot{x}}_{i 2} \\ {\dot{x}}_{i 3} \end{matrix}] = \underset{≜ B_{i}}{\underset{︸}{[\begin{matrix} 1 & 0 \\ 0 & 1 \\ x_{i 2} & 0 \end{matrix}]}} \underset{≜ u_{i}}{\underset{︸}{[\begin{matrix} u_{i 1} \\ u_{i 2} \end{matrix}]}} = B_{i} u_{i}

where $X_{i} = {[x_{i 1}, x_{i 2}, x_{i 3}]}^{T} \in R^{3} and u_{i} = [u_{i 1}, u_{i 2}]^{T} \in R^{2}$ are the state and control input of system i, respectively. Any kinematic completely nonholonomic systems with three states and two inputs can be converted to the form (1).³¹

Suppose that the N nonholonomic systems are interconnected via some equipments such that they can exchange information. The information flow between them can be expressed by a communication graph $G (V, E, A)$ . To be more precise, the N systems are treated as N nodes with the index set denoted by $V = {1, 2, \dots, N}$ , and if system i can access the state of system j, then we say the ordered pair $(i, j) \in E and a_{i j} = 1, otherwise a_{i j} = 0, where a_{i j}$ is the entry of the adjacent matrix $A = [a_{i j}] \in R^{N \times N}$ . In particular, $a_{i i} = 0$ for all $i \in V$ . Under the graph structure, the induced Laplacian matrix $L = [l_{i j}] \in R^{N \times N}$ plays a key role in analyzing the stability of cooperative control systems. The expression of L is $L = D - A, where D = diag {d_{1}, d_{2}, \dots, d_{N}}$ is a diagonal matrix with $d_{i} = \sum_{j = 1}^{N} a_{i j}$ . Based on this definition, the sum of each row of L equals zero, that is, $L \vec{1} = 0 with \vec{1} = {[1, 1, \dots,1]}^{T} \in R^{N}$ , implying that zero is an eigenvalue of L with eigenvector $\vec{1}$ .

Denote the consensus error between systems i and j by

E_{i j} = X_{i} - X_{j}

Then, the consensus error of the whole N nonholonomic systems can be written as

E = {[E_{1 N}^{T}, E_{2 N}^{T}, E_{3 N}^{T}, \dots, E_{N - 1, N}^{T}]}^{T} \in R^{3 (N - 1)}

The leaderless consensus control problem of networked nonholonomic systems is stated as: design a distributed control law $(u_{i 1} (\cdot), u_{i 2} (\cdot))$ such that the states of the networked nonholonomic systems globally asymptotically converge to a common vector, that is, $lim_{t \to \infty} ∥ E ∥ = 0, where ∥ \cdot ∥$ denotes the Euclidean norm of vectors.

Remark 1

It is well known that the system (1) can not be asymptotically stabilized to a fixed configuration by any continuous time-invariant static state feedback control law. However, the asymptotical leaderless consensus control of equation (1) is not limited by Brockett’s condition, and can be realized by smooth time-invariant static feedback, since the common vector that the system state vectors are required to converge to is not necessarily time-invariant.

Controller development

In this section, two smooth time-invariant distributed controllers are proposed to solve the leaderless consensus problem of networked nonholonomic systems by using LaSalle invariance principle.

Let $X = [X_{1}^{T}, X_{2}^{T}, \dots, X_{N}^{T}]^{T}$ . Taking the derivative of X, the collective model of the networked nonholonomic systems can be written as
$\dot{X} = B U$
3

where
$\begin{array}{l} B = diag {B_{1}, B_{2}, \dots, B_{N}} \in R^{(3 N) \times (2 N)} \\ U = {[u_{1}^{T}, u_{2}^{T}, \dots, u_{N}^{T}]}^{T} \in R^{2 N} \end{array}$

Define the following function
$V_{1} = X^{T} (L \otimes P) X$
4

where L is the Laplacian matrix of the communication graph and $P \in R^{3 \times 3}$ is a constant matrix. Then, we have the following technical lemma.

Lemma 1

If the communication graph is undirected and connected, and the constant matrix P is positive definite and symmetric, then the function in equation (4) satisfies
${\begin{array}{l} V_{1} \geq 0, \forall E \in R^{3 (N - 1)} \\ V_{1} = 0 \Leftrightarrow E = 0 \\ V_{1} \to \infty, if ∥ E ∥ \to \infty . \end{array}$
5

Proof

Since $P = P^{T} and L = L^{T}$ for undirected graph, one has
$\begin{array}{l} V_{1} & = X^{T} (L \otimes P) X = [X^{T} (I_{N} \otimes P)] [(L \otimes I_{3}) X] \\ = X^{T} [\begin{matrix} P & 0 & \dots & 0 \\ 0 & P & \dots & 0 \\ ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & P \end{matrix}] [\begin{matrix} l_{11} I_{3} & l_{12} I_{3} & \dots & l_{1 N} I_{3} \\ l_{21} I_{3} & l_{22} I_{3} & \dots & l_{2 N} I_{3} \\ ⋮ & ⋮ & ⋱ & ⋮ \\ l_{N 1} I_{3} & l_{N 2} I_{3} & \dots & l_{N N} I_{3} \end{matrix}] X \\ = [X_{1}^{T} P, X_{2}^{T} P, \dots, X_{N}^{T} P] [\begin{matrix} \sum_{j = 1}^{N} (a_{1 j} I_{3}) & - a_{12} I_{3} & \dots & - a_{1 N} I_{3} \\ - a_{21} I_{3} & \sum_{j = 1}^{N} (a_{2 j} I_{3}) & \dots & - a_{2 N} I_{3} \\ ⋮ & ⋮ & ⋱ & ⋮ \\ - a_{N 1} I_{3} & - a_{N 2} I_{3} & \dots & \sum_{j = 1}^{N} (a_{N j} I_{3}) \end{matrix}] [\begin{matrix} X_{1} \\ X_{2} \\ ⋮ \\ X_{N} \end{matrix}] \\ = [X_{1}^{T} P, X_{2}^{T} P, \dots, X_{N}^{T} P] [\begin{matrix} \sum_{j = 1}^{N} [a_{1 j} (X_{1} - X_{j})] \\ \sum_{j = 1}^{N} [a_{2 j} (X_{2} - X_{j})] \\ ⋮ \\ \sum_{j = 1}^{N} [a_{N j} (X_{N} - X_{j})] \end{matrix}] \\ = \sum_{i = 1}^{N} \sum_{j = 1}^{N} [a_{i j} X_{i}^{T} P (X_{i} - X_{j})] \end{array}$
6

where I_N and I₃ are the $N \times N and 3 \times 3$ identity matrices, respectively. As $P = P^{T}$ , the following equality holds
$\sum_{i = 1}^{N} \sum_{j = 1}^{N} (a_{i j} Z_{i}^{T} P Z_{j}) = \sum_{i = 1}^{N} \sum_{j = 1}^{N} (a_{i j} Z_{j}^{T} P Z_{i})$
7

Since $\sum_{j = 1}^{N} a_{i j} = \sum_{j = 1}^{N} a_{j i}$ for undirected graph, one gets
$\begin{array}{l} \sum_{i = 1}^{N} \sum_{j = 1}^{N} (a_{i j} X_{i}^{T} P X_{i}) = \sum_{i = 1}^{N} (X_{i}^{T} P X_{i} \sum_{j = 1}^{N} a_{i j}) \\ = \sum_{i = 1}^{N} [X_{i}^{T} P X_{i} \sum_{j = 1}^{N} a_{j i}] = \sum_{j = 1}^{N} [X_{j}^{T} P X_{j} \sum_{i = 1}^{N} a_{i j}] \\ = \sum_{i = 1}^{N} \sum_{j = 1}^{N} (a_{i j} X_{j}^{T} P X_{j}) \end{array}$
8

Substituting equations (7) and (8) into equation (6) results in
$\begin{matrix} V_{1} = \sum_{i = 1}^{N} \sum_{j = 1}^{N} [0.5 a_{i j} (X_{i}^{T} P X_{i} + X_{j}^{T} P X_{j} \\ - X_{i}^{T} P X_{j} - X_{j}^{T} P X_{i})] \\ = 0.5 \sum_{i = 1}^{N} \sum_{j = 1}^{N} [a_{i j} {(X_{i} - X_{j})}^{T} P (X_{i} - X_{j})] \\ = 0.5 \sum_{i = 1}^{N} \sum_{j = 1}^{N} (a_{i j} E_{i j}^{T} P E_{i j}) \end{matrix}$
9

As P > 0 (positive definite) and $a_{i j} \geq 0$ , one has $a_{i j} E_{i j}^{T} P E_{i j} \geq 0 and V_{1} \geq 0$ for any $E \in R^{3 (N - 1)}$ . Moreover, since the communication graph is connected, V₁ in equation (9) is obviously radially unbounded with respect to E, and $V_{1} = 0$ if and only if $E_{i j} = 0$ for any i ≠ j. That is, $V_{1} = 0$ if and only if $E = 0$ . □

Lemma 1 indicates that the constructed function V₁ is positive definite and radially unbounded with respect to the consensus error E, and hence can be taken as a Lypaunov function for the leaderless consensus problem of multi-agent linear/nonlinear systems.

Now, based on Lemma 1, we take V₁ as the Lyapunov function, and compute its derivative as
$\begin{matrix} {\dot{V}}_{1} = X^{T} (L \otimes P) B U + U^{T} B^{T} (L \otimes P) X \\ = 2 X^{T} (L \otimes P) B U \end{matrix}$
10

where $L = L^{T} and P = P^{T}$ are utilized. Design
$U = - k B^{T} (L \otimes P) X$
11

where k is a positive controller parameter. Under the control law in equation (11), equation (10) becomes
${\dot{V}}_{1} = - 2 k X^{T} (L \otimes P) B B^{T} (L \otimes P) X = - 2 k X^{T} (L^{T} \otimes P^{T}) B B^{T} (L \otimes P) X \leq 0$
12

According to
$U = - k B^{T} (L \otimes P) X = - k B^{T} (I_{N} \otimes P) (L \otimes I_{3}) X$

the i th component of U can be easily written as
$u_{i} = - k B_{i}^{T} P \sum_{j = 1}^{N} [a_{i j} (X_{i} - X_{j})]$
13

which is only dependent on the states of system i and its neighbors. In this sense, the derived control law (equation (11) or equation (13)) is distributed.

As ${\dot{V}}_{1}$ is negative semidefinite, the rest work is to determine whether there exists an appropriate matrix P guaranteeing that only E = 0 can stay identically in the invariant set ${X \in R^{3 N} | {\dot{V}}_{1} = 0}$ , and to determine the explicit form of P.

Let us define
$P = [\begin{matrix} p_{1} & 0 & 0 \\ 0 & p_{2} & p_{23} \\ 0 & p_{23} & p_{3} \end{matrix}]$
14

where $p_{1} > 0, p_{2} > 0, and p_{2} p_{3} - p_{23}^{2} > 0$ should be guaranteed such that P > 0. Then, the following results can be obtained:

Theorem 1

The control law in equations (13) and (14) guarantees that the consensus error E globally asymptotically converges to zero, provided that $k > 0, p_{1} > 0, p_{2} > 0, p_{2} p_{3} - p_{23}^{2} > 0, p_{23} \neq 0$ , and the communication graph between systems is undirected and connected.

Proof

Since $p_{1} > 0, p_{2} > 0, and p_{2} p_{3} - p_{23}^{2} > 0$ , hence the matrix P is ensured to be positive definite. Moreover, as the communication graph is undirected and connected, one concludes from Lemma 1 that V₁ is positive definite and radially unbounded with respect to consensus error, and ${\dot{V}}_{1} \leq 0$ . Substituting equation (14) into equation (13), one has
$u_{i} = - k [\begin{matrix} p_{1} & p_{23} x_{i 2} & p_{3} x_{i 2} \\ 0 & p_{2} & p_{23} \end{matrix}] [\begin{matrix} \sum_{j = 1}^{N} [a_{i j} (x_{i 1} - x_{j 1})] \\ \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})] \\ \sum_{j = 1}^{N} [a_{i j} (x_{i 3} - x_{j 3})] \end{matrix}]$

Let ${\dot{V}}_{1} \equiv 0, then B^{T} (L \otimes P) X \equiv 0$ , that is $u_{i} = [u_{i 1}, u_{i 2}]^{T} \equiv 0$ . Hence
${\begin{array}{l} f_{i} ≜ p_{1} \sum_{j = 1}^{N} [a_{i j} (x_{i 1} - x_{j 1})] + p_{23} x_{i 2} \times \\ \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})] + p_{3} x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 3} - x_{j 3})] \equiv 0 \\ g_{i} ≜ p_{2} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})] + p_{23} \sum_{j = 1}^{N} [a_{i j} (x_{i 3} - x_{j 3})] \equiv 0 \end{array}$
15

Since $\sum_{i = 1}^{N} \sum_{j = 1}^{N} [a_{i j} (x_{i 1} - x_{j 1})] = {\vec{1}}^{T} L {[x_{11}, x_{21}, \dots, x_{N 1}]}^{T} = 0$ , it follows
$\sum_{i = 1}^{N} f_{i} = p_{23} \sum_{i = 1}^{N} [x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})]] + p_{3} \sum_{i = 1}^{N} [x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 3} - x_{j 3})]] \equiv 0$
16

From the second equation of equation (15) and $p_{23} \neq 0$ , one has
$\sum_{j = 1}^{N} [a_{i j} (x_{i 3} - x_{j 3})] \equiv - \frac{p_{2}}{p_{23}} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})]$
17

Substituting equation (17) into equation (16) results in
$\begin{array}{l} (p_{23} - \frac{p_{2} p_{3}}{p_{23}}) \sum_{i = 1}^{N} [x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})]] \equiv 0 \end{array}$
18

Since $p_{2} p_{3} - p_{23}^{2} > 0 and p_{23} \neq 0$ , it follows that $p_{23} - \frac{p_{2} p_{3}}{p_{23}} \neq 0$ and hence $\sum_{i = 1}^{N} [x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})]] \equiv 0$ . Moreover
$\begin{array}{l} \sum_{i = 1}^{N} [x_{i 2} \sum_{j = 1}^{N} [a_{i j} (x_{i 2} - x_{j 2})]] = 0.5 \sum_{i = 1}^{N} \sum_{j = 1}^{N} [a_{i j} {(x_{i 2} - x_{j 2})}^{2}] \end{array}$
19

holds for undirected communication graph, which is equal to zero, thus $x_{i 2} - x_{j 2} \equiv 0$ for any $(i, j)$ under the connected graph. Based on $x_{i 2} - x_{j 2} \equiv 0$ , it follows from equation (17) that $L {[x_{13}, x_{23}, \dots, x_{N 3}]}^{T} = 0$ , and hence, $x_{i 3} - x_{j 3} \equiv 0$ for any $(i, j)$ . Substituting both $x_{i 2} - x_{j 2} \equiv 0 and x_{i 3} - x_{j 3} \equiv 0$ into the first equation of equation (15), it can be further concluded that $x_{i 1} - x_{j 1} \equiv 0$ for any $(i, j)$ .

The above analysis shows that only E = 0 can stay in the invariant set ${X \in R^{3 N} | {\dot{V}}_{1} = 0}$ . According to LaSalle invariance principle, the consensus error E is globally asymptotically convergent to zero. □

Remark 2

Different from the existing time-varying or discontinuous controllers in the literatures,^{19

–29} which addressed the leaderless consensus/formation control problem of nonholonomic systems, the distributed controller (equation (11) or (13)) is smooth, time-invariant, and static. The achievement of this relies heavily on the Lyapunov function V₁ constructed in equation (4). Firstly, V₁ is dependent on L, which allows us to design the distributed controller (equation (11)). Secondly, V₁ is dependent on the matrix P, not the identity matrix, which ensures ${\dot{V}}_{1} = 0 \Rightarrow E = 0$ .

Note that the size of controller (equation (11) or (13)) may become a little large for big x_i2 or big consensus error, and the convergence rate may be slow for small consensus error. To deal with the two issues, we propose another saturated version for equation (11) or (13)
$\begin{array}{l} U = - k tanh [ε^{- 1} B^{T} (L \otimes P) X] \\ u_{i} = - k tanh {ε^{- 1} B_{i}^{T} P \sum_{j = 1}^{N} [a_{i j} (X_{i} - X_{j})]} \end{array}$
20

where $tanh ([s_{1}, s_{2}, \dots, s_{N}]^{T}) = {[tanh (s_{1}), tanh (s_{2}), \dots, tanh (s_{N})]}^{T}$ and ε is a small positive constant. The usage of $tanh (\cdot)$ ensures
$| u_{i 1} | \leq k, | u_{i 2} | \leq k$

Under the new saturated control law (equation (20)), equation (12) becomes
${\dot{V}}_{1} = - 2 k X^{T} (L^{T} \otimes P^{T}) B \cdot tanh [ε^{- 1} B^{T} (L \otimes P) X] \leq 0$

The small ε here results in a bigger ${\dot{V}}_{1}$ and hence a quicker convergence rate, which brings a better transient performance of the closed-loop nonholonomic consensus error system. According to the proof of Theorem 1, we have ${\dot{V}}_{1} = 0 \Rightarrow B^{T} (L \otimes P) X = 0 \Rightarrow E = 0$ , meaning that the global asymptotic convergence of E can be still guaranteed by equation (20). Thus, the following results can be obtained:

Theorem 2

The saturated control law (equation (20)) guarantees that the consensus error E globally asymptotically converges to zero, provided that that $ε > 0, k > 0, p_{1} > 0, p_{2} > 0, p_{2} p_{3} - p_{23}^{2} > 0, p_{23} \neq 0$ , and the communication graph between systems is undirected and connected.

Remark 3

For the second control scheme, the size of the control inputs u_i1 and u_i2 can be tuned artificially by adjusting k. Compared to the one in the study by Zhai et al.,³⁰ our second control scheme is effective in the case of input saturation and can achieve a quick convergence rate in the small neighborhood of zero consensus errors.

Simulation

In this section, simulation examples are provided to demonstrate the effectiveness of the proposed control schemes. Consider the multiple nonholonomic mobile robots that can be transformed into the nonholonomic chained form. The kinematic model of nonholonomic mobile robots is²⁷
$\begin{array}{l} {\dot{\bar{x}}}_{i} = v_{i} cos θ_{i}, {\dot{\bar{y}}}_{i} = v_{i} sin θ_{i}, {\dot{θ}}_{i} = ω_{i} \end{array}$

where $({\bar{x}}_{i}, {\bar{y}}_{i})$ and θ_i are the position and angle of robot i, respectively, and $(v_{i}, ω_{i})$ are the linear and angular velocities. The following state and input transformations³⁰
$\begin{matrix} x_{i 1} = θ_{i}, x_{i 2} = - {\bar{x}}_{i} cos θ_{i} - {\bar{y}}_{i} sin θ_{i} \\ x_{i 3} = - {\bar{x}}_{i} sin θ_{i} + {\bar{y}}_{i} cos θ \\ u_{i 1} = ω_{i}, u_{i 2} = - v_{i} + ({\bar{x}}_{i} sin θ_{i} - {\bar{y}}_{i} cos θ_{i}) ω_{i} \end{matrix}$

convert the robot model to the form (1). Assume there are four robots (N = 4) connected by the topology depicted in figure 1 of the work of Zhai et al.³⁰ Under this topology, the Laplacian matrix is
$L = [\begin{matrix} 2 & - 1 & - 1 & 0 \\ - 1 & 1 & 0 & 0 \\ - 1 & 0 & 2 & - 1 \\ 0 & 0 & - 1 & 1 \end{matrix}]$

Set the initial states of robots the same as those in the study by Zhai et al.³⁰ Three cases are taken into account for the simulation.
Case 1: Control strategy equation (11) or (13) with k = 3, $p_{1} = 12, p_{2} = 1, p_{3} = 2$ , and $p_{23} = - 1.2$ .

Case 2: Control strategy in the study by Zhai et al. ³⁰ with the controller parameters unchanged.

Case 3: Control strategy (equation (20)) with $ε = 0.3, k = 3, p_{1} = 12, p_{2} = 1, p_{3} = 2$ , and $p_{23} = - 1.2$ .

Simulation results for cases 1 to 3 are obtained in Figures 1 to 3, respectively. From Figures 1 and 2, it can be observed that the control scheme (equation (11)) and the one in the study by Zhai et al.³⁰ are both capable of forcing the state vector of the four robots to a common vector. To see the trajectories of control inputs in the transient process, only the change of control inputs in initial 0.1 s is depicted in Figures 1 and 2, showing that the size of control inputs is too large under the controller (equation (11)) or the one in the study by Zhai et al.³⁰ However, the actuators can not provide such large control signals in real engineering. So, we construct the saturated control law (equation (20)) and draw the simulation results in Figure 3. Obviously, Figure 3 illustrates that the proposed saturated control scheme (equation (20)) can greatly reduce the size of control inputs and simultaneously achieve the leaderless consensus control objective for nonholonomic chained systems. With the introduction of $tanh (\cdot / ε), ε > 0$ , the second saturated law remains smooth and can be easily extended to dynamic case. The trajectory of $tanh (\cdot / ε)$ is similar to that of $sign (\cdot)$ for a small ε, but still remains smooth. Comparing with the first proposed control strategy and the one in the study by Zhai et al.,³⁰ the second proposed control strategy has a saturated input signal (Figures 1 to 3).

Figure 1.
Case 1: Simulation results under the first controller (blue line: robot 1; green line: robot 2; red line: robot 3; and cyan line: robot 4).

Figure 2.
Case 2: Simulation results under the controller in the study by Zhai et al.³⁰ (blue line: robot 1; green line: robot 2; red line: robot 3; and cyan line: robot 4).

Figure 3.
Case 3: Simulation results under the second controller (blue line: robot 1; green line: robot 2; red line: robot 3; and cyan line: robot 4).

What’s more, we further consider the special case: the four robots initially locate in a straight line with opposite orientations, that is, $({\bar{x}}_{1}, {\bar{y}}_{1}, θ_{1}) (0) = (0, 0, 0), ({\bar{x}}_{2}, {\bar{y}}_{2}, θ_{2}) (0) = (2, 0, 0), ({\bar{x}}_{3}, {\bar{y}}_{3}, θ_{3}) (0) = (- 2, 0, π), and ({\bar{x}}_{4}, {\bar{y}}_{4}, θ_{4}) (0) = (- 4, 0, π)$ . Under this initial condition, we implement the second controller with the control parameters $ε = 0.05, k = 1, p_{1} = 12, p_{2} = 1, p_{3} = 2, and p_{23} = - 1.2$ , and get the simulation results in Figure 4. It can be seen from Figure 4 that the second controller can globally asymptotically stabilize the consensus error to zero in this special case.

Figure 4.
Special case: simulation results under the second controller with the initial condition $({\bar{x}}_{1}, {\bar{y}}_{1}, θ_{1}) (0) = (0, 0, 0), ({\bar{x}}_{2}, {\bar{y}}_{2}, θ_{2}) (0) = (2, 0, 0), ({\bar{x}}_{3}, {\bar{y}}_{3}, θ_{3}) (0) = (- 2, 0, π), and ({\bar{x}}_{4}, {\bar{y}}_{4}, θ_{4}) (0) = (- 4, 0, π)$ (blue line: robot 1; green line: robot 2; red line: robot 3; and cyan line: robot 4).

Conclusion

In this article, two new simple smooth time-invariant distributed controllers are proposed to make the states of networked nonholonomic chained systems approach a common vector. Strict stability analysis is presented based on Lyapunov method and LaSalle invariance principle, proving that the consensus error globally asymptotically decays to zero. The obtained results clarify that the smooth time-invariant static controllers can achieve the asymptotic leaderless consensus of nonholonomic systems. Future research may lie on extending our method to the consensus control problem of higher-order nonholonomic chained systems.

Footnotes

Declaration of conflicting interests

The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.

Funding

The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by Fundamental and Frontier Research Project of Chongqing (No. cstc2016jcyjA0404), Fundamental Research Funds for the Central Universities (XDJK2016C038 and SWU115046), and National Nature Science Foundation of China (No. 61573034 and 61327807).

ORCID iD

Wenjing Xie

References

Meng

Jia

. Interval bipartite consensus of networked agents associated with signed digraphs. IEEE Trans Autom Control 2016; 61(12): 3755–3770.

Zhao

Jia

. Neural network-based adaptive consensus tracking control for multi-agent systems under actuator faults. Int J Syst Sci 2016; 47(8): 1931–1942.

Zuo

. Nonsingular fixed-time consensus tracking for second-order multi-agent networks. Automatica 2015; 54: 305–309.

Shen

Xia

. Adaptive finite-time consensus in multi-agent networks. Syst Control Lett 2013; 62(10): 880–889.

Xia

. Adaptive leaderless consensus of agents in jointly connected networks. Neurocomputing 2017; 241: 64–70.

Xia

. Adaptive consensus of multi-agents in networks with jointly connected topologies. Automatica 2012; 48(8): 1783–1790.

Dong

Djapic

. Leader-following control of multiple nonholonomic systems over directed communication graphs. Int J Syst Sci 2016; 47(8): 1877–1890.

Wen

. Finite-time consensus of multiple nonholonomic chained-form systems based on recursive distributed observer. Automatica 2015; 62: 236–242.

Xie

. Global asymptotic trajectory tracking and point stabilization of asymmetric underactuated ships with non-diagonal inertia/damping matrices. Int J Adv Robot Syst 2013; 10(9): 336.

10.

Xie

. Robust global uniform asymptotic stabilization of underactuated surface vessels with unknown model parameters. Int J Robust Nonlin Control 2015; 25(7): 1037–1050.

11.

Xie

. Robust position stabilization of underactuated surface vessels with unknown modeling parameters via simple P/D-like feedback: the center manifold approach. Asian J Control 2015; 17(4): 1222–1232.

12.

Xie

. Universal practical tracking control of a planar underactuated vehicle. Asian J Control 2015; 17(3): 1016–1026.

13.

Xie

Fernando

. A simple robust control for global asymptotic position stabilization of underactuated surface vessels. Int J Robust Nonlin Control 2017; 27(18): 5028–5043.

14.

Xie

Sun

. Global asymptotic tracking of asymmetrical underactuated surface vessels with parameter uncertainties. J Control Theory Appl 2013; 11(4): 608–614.

15.

Zheng

Feroskhan

. Path following of a surface vessel with prescribed performance in the presence of input saturation and external disturbances. IEEE/ASME Trans Mechatronics 2017; 22(6): 2564–2575.

16.

Defoort

Demesure

Zuo

. Fixed-time stabilisation and consensus of non-holonomic systems. IET Control Theory Appl 2016; 10(18): 2497–2505.

17.

Brockett

. Asymptotic stability and feedback stabilization. Differ Geom Control Theory 1983; 27(1): 181–191.

18.

Gao

Zhang

. Saturated finite-time stabilization of uncertain nonholonomic systems in feedforward-like form and its application. Nonlin Dynam 2016; 84(3): 1609–1622.

19.

Børhaug

Pavlov

Panteley

. Straight line path following for formations of underactuated marine surface vessels. IEEE Trans Control Syst Technol 2011; 19(3): 493–506.

20.

Chen

Tian

. Formation tracking and attitude synchronization control of underactuated ships along closed orbits. Int J Robust Nonlin Control 2015; 25(16): 3023–3044.

21.

Dong

Farrell

. Formation control of multiple underactuated surface vessels. IET Control Theory Appl 2008; 2(12): 1077–1085.

22.

El-Hawwary

Maggiore

. Distributed circular formation stabilization for dynamic unicycles. IEEE Trans Autom Control 2013; 58(1): 149–162.

23.

Ghommam

Mnif

. Coordinated path-following control for a group of underactuated surface vessels. IEEE Trans Ind Electron 2009; 56(10): 3951–3963.

24.

Weitnauer

. Distributed extremum seeking and formation control for nonholonomic mobile network. Syst Control Lett 2015; 75: 27–34.

25.

Lin

Francis

Maggiore

. Necessary and sufficient graphical conditions for formation control of unicycles. IEEE Trans Autom Control 2005; 50(1): 121–127.

26.

Wang

. Distributed cooperative control of multiple nonholonomic mobile robots. J Intell Robot Syst 2016; 83(3–4): 525–541.

27.

Xie

. Position centroid rendezvous and centroid formation of multiple unicycle agents. IET Control Theory Appl 2014; 8(17): 2055–2061.

28.

Xie

Fernando

. A new formation control of multiple underactuated surface vessels. Int J Control 2017: 1–12. Available at: https://doi.org/10.1080/00207179.2017.1303849

29.

Tian

Chen

. Output consensus for multiple non-holonomic systems under directed communication topology. Int J Syst Sci 2015; 46(3): 451–463.

30.

Zhai

Takeda

Imae

. Towards consensus in networked non-holonomic systems. IET Control Theory Appl 2010; 4(10): 2212–2218.

31.

Kolmanovsky

McClamroch

. Developments in nonholonomic control problems. IEEE Control Syst 1995; 15(6): 20–36.

Smooth time-invariant control for leaderless consensus of networked nonholonomic systems

Abstract

Keywords

Introduction

Problem statement

Remark 1

Controller development

Lemma 1

Proof

Theorem 1

Proof

Remark 2

Theorem 2

Remark 3

Simulation

Conclusion

Footnotes

Declaration of conflicting interests

Funding

ORCID iD

References