A continuous integral terminal sliding mode control approach for a class of uncertain nonlinear systems

Abstract

In this article, the continuous integral terminal sliding mode control problem for a class of uncertain nonlinear systems is investigated. First of all, based on homogeneous system theory, a global finite-time control law with simple structure is proposed for a chain of integrators. Then, inspired by the proposed finite-time control law, a novel integral terminal sliding mode surface is designed, based on which an integral terminal sliding mode control law is constructed for a class of higher order nonlinear systems subject disturbances. Furthermore, a finite-time disturbance observer-based integral terminal sliding mode control law is proposed, and strict theoretical analysis shows that the composite integral terminal sliding mode control approach can eliminate chattering completely without losing disturbance attenuation ability and performance robustness of integral terminal sliding mode control. Simulation examples are given to illustrate the simplicity of the new design approach and effectiveness.

Keywords

Integral terminal sliding mode homogeneous systems finite-time control finite-time disturbance observer

Introduction

Sliding mode control (SMC) is a nonlinear control strategy, which usually demonstrates fine robust properties with respect to parameter uncertainties and disturbances.¹ SMC has been widely used in many practical systems such as robotic systems,² spacecraft systems,³ maglev suspension systems,⁴ mechanical systems,⁵ and piezoelectric-driven motion system.^6,7 The conventional SMC methods could render the linear sliding mode manifold be reached in finite time.

Different to SMC scheme, a nonlinear sliding mode manifold is employed in nonsingular terminal sliding mode control (NTSMC),^8,9 which makes that NTSMC not only keeps the main advantages of conventional SMC but also can guarantee that the states trajectories converge to the equilibrium in finite time. Compared to asymptotical stability, besides faster convergence rate, the closed-loop systems under finite-time control (FTC) law usually demonstrate higher accuracy and better disturbance rejection properties.¹⁰ In view of these advantages, FTC problems have received a lot of attention recently.^11–34 Due to the superior properties of NTSMC, NTSMC has attracted significant interests from the control field.^{8,9,16,35–37} Recently, based on Bhat and Bernstein,¹¹ NTSMC is developed to a class of higher order nonlinear systems.^38,39 Despite NTSMC possesses significant theoretical and practical values, the study of NTSMC for higher order nonlinear systems is still quite underdeveloped, and further research is needed.

This article is devoted to develop a novel NTSMC approach, that is, an integral terminal sliding mode control (ITSMC) approach, for a class of higher order nonlinear systems. More specifically, inspired by Bhat and Bernstein¹¹ and Qian and Li²¹ and the ITSMC approach in Xu,⁴⁰ a novel global FTC law is proposed for a chain of integrators based on weighted homogeneity theory^41,42 first. Then, based on the proposed FTC law, a novel ITSMC approach is introduced for a class of higher order nonlinear systems subject disturbances (hereafter the disturbances may include parameter uncertainties and external disturbances). Note that the discontinuity of the proposed ITSMC may lead to significant chattering. Although adaptive control has some robust ability and will not bring chattering, it is often ineffective when the considered system subject to strong disturbances^43–51 is designed to estimate the disturbances; then a continuous composite ITSMC control law is proposed for the considered nonlinear systems. Within our methodology, it is easy to tune the control law parameters for the desired performances; thus, it is more suitable for practical applications. Simulation examples are carried out to show the validation of the proposed methods.

The outline of this article is as follows. In the “Preliminaries” section, preliminaries are given. The “Main results” section displays the control strategies for higher order nonlinear systems. Finally, concluding remarks are given in the “Conclusion” section.

Notations

Throughout this article, $R$ and $R^{n}$ denote real numbers and n-dimensional Euclidean space, respectively. A function $f (\cdot) \in C^{k}$ represents that $f (\cdot)$ is $k - times$ continuously differentiable on its domain, and $[\cdot]^{k} = | \cdot |^{k} sign (\cdot)$ . Let $A$ be a set, $\partial A$ denote the boundary of $A$ .

Preliminaries

In this section, we will introduce several useful lemmas, which will be used throughout the article.

Definition 2.1

Weighted homogeneity: For fixed coordinates $(x_{1}, \dots, x_{n})^{T} \in R^{n}$ and real numbers $r_{i} > 0, i = 1, \dots, n$ , (a) the dilation $Δ_{ε} (x) = (ε^{r_{1}} x_{1}, \dots, ε^{r_{n}} x_{n}), \forall ε > 0$ , with $r_{i}$ being called as the weights of the coordinates (for simplicity of notation, we define dilation weight $Δ = (r_{1}, \dots, r_{n})$ ); (b) a function $V \in C (R^{n}, R)$ is said to be homogeneous of degree $τ$ if there is a real number $τ \in R$ such that $\forall x \in R \ {0}, ε > 0, V (Δ_{ε} (x)) = ε^{τ} V (x_{1}, \dots, x_{n})$ ; (c) a vector field $f \in C (R^{n}, R^{n})$ is said to be homogeneous of degree $τ$ if there is a real number $τ \in R$ such that for $i = 1, \dots, n$ , $\forall x \in R \ {0}, ε_{i} > 0, f_{i} (Δ_{ε} (x)) = ε^{τ + r_{i}} f_{i} (x_{1}, \dots, x_{n})$ .^21,42,52

Lemma 2.1

Given the trivial solution $x = 0$ of system $\overset{\cdot}{x} = f (x)$ is asymptotically stable, and $f (x)$ is continuous and homogeneous of degree $α$ with respect to dilation weight $(r_{1}, \dots, r_{n})$ .⁴¹ Then for any positive integer $p$ and any $σ > p \times {r_{1}, \dots, r_{n}}$ , there exists a $C^{p}$ homogeneous Lyapunov function $V (x)$ of degree $σ$ with respect to $(r_{1}, \dots, r_{n})^{T}$ , such that $\overset{\cdot}{V} (x) \leq - c V^{(σ + α) / σ} (x)$ with $c > 0$ .

Consider the following chain of integrators

\begin{matrix} {\overset{\cdot}{x}}_{i} = x_{i + 1}, i = 1, \dots, n - 1 \\ {\overset{\cdot}{x}}_{n} = u \end{matrix}

(1)

where $x = (x_{1}, \dots, x_{n})^{T} \in R^{n}$ and $u \in R$ are the system state and control input, respectively.

For system (1), based on weighted homogeneity theory⁴² and the adding a power integrator technique,⁵³ Qian and Li²¹ proposed an FTC method, while Bhat and Bernstein¹¹ considered FTC design method for system (1) based on geometric homogeneity theory, which can be described by the following two lemmas, respectively.

Lemma 2.2

For any constant $τ \in (- (1 / n), 0)$ , there exists a homogeneous state feedback control law with the form²¹

u = - k_{n} [{[x_{n}]}^{1 / r_{n}} + k_{n - 1}^{1 / r_{n}} [{[x_{n - 1}]}^{1 / (r_{n - 1})} + \dots + k_{2}^{1 / r_{3}} {[{[x_{2}]}^{1 / r_{2}} + k_{1}^{1 / r_{2}} x_{1}] \dots]]}^{r_{n + 1}}

(2)

where $k_{i} > 0, i = 1, \dots, n$ are constants, and

r_{1} = 1, r_{i} = r_{1} + (i - 1) τ, i = 1, \dots, n + 1

(3)

such that the closed-loop systems (1) and (2) are globally finite-time stable.

Remark 2.1

It should be pointed out that due to the nature of adding a power integrator technique, in Lemma 2.2, the control parameters $k_{i} s$ may increase significantly along with the system dimension. Under the control law (2), it is clear that the closed-loop systems (1) and (2) are homogeneous of degree $τ$ with respect to dilation weights $(r_{1}, \dots, r_{n})$ .

Lemma 2.3

Let $k_{1}, \dots, k_{n} > 0$ be such that the polynomial $s^{n} + k_{n} s^{n - 1} + \dots + k_{2} s + k_{1}$ is Hurwitz, then there exists $ε \in (0, 1)$ such that, for every $α \in (1 - ε, 1)$ , the origin is a globally finite-time stable equilibrium for the system (1) under the feedback control law¹¹

u = - k_{1} {[x_{1}]}^{α_{1}} - \dots - k_{n} {[x_{n}]}^{α_{n}}

(4)

where $α_{1}, \dots, α_{n}$ satisfy

α_{i - 1} = \frac{α_{i} α_{i + 1}}{2 α_{i + 1} - α_{i}}, i = 2, \dots, n

(5)

with $α_{n + 1} = 1$ and $α_{n} = α$ .

Remark 2.2

Lemma 2.3 is obtained based on geometric homogeneity theory. Compared to Lemma 2.2, it is easy to choose control parameter $k_{i}$ , $i = 1, \dots, n$ , for control law (4).

Lemma 2.4

Let $X$ and $Y$ be topological spaces with $Y$ compact and consider the product space $X \times Y$ . If $Z$ is an open set of $X \times Y$ containing the slice $τ_{0} \times Y$ of $X \times Y$ , then $Z$ contains some tube $W \times Y$ about $τ_{0} \times Y$ , where $W$ is a neighborhood of $τ_{0}$ in $X$ .^54,55

Inspired by Lemmas 2.2 and 2.3, we have the following result for system (1) based on weighted homogeneity theory, Lemmas 2.1 and 2.4, which will be a key role for the main results of this article.

Theorem 1

There exists $τ \in (- (1 / n), 0)$ such that the system (1) can be globally stabilized in finite time under the homogeneous control law

u = - k_{1} {[x_{1}]}^{r_{n + 1} / r_{1}} - \dots - k_{n} {[x_{n}]}^{r_{n + 1} / r_{n}}

(6)

where $k_{1}, \dots, k_{n} > 0$ are the coefficients of Hurwitz polynomial $s^{n} + k_{n} s^{n - 1} + \dots + k_{2} s + k_{1}$ , and $r_{i}$ , $i = 1, \dots, n + 1$ , is defined in equation (3).

Proof

For each $τ \in (- (1 / n), 0)$ , the closed-loop systems (1) and (6) can be described by the following compact form

\overset{\cdot}{x} = f_{τ} (x)

(7)

where $f_{τ} (\cdot) = (f_{τ 1} (\cdot), f_{τ 2} (\cdot), \dots, f_{τ n} (\cdot))^{T}$ denotes the right-hand side continuous vector functions of the closed-loop system. It is easy to show that system (7) is homogeneous with degree $τ$ with respect to dilation weights $(r_{1}, \dots, r_{n})$ .

As $τ = 0$ , system (7), that is, $\overset{\cdot}{x} = f_{0} (x)$ , is a linear system with the Hurwitz characteristic polynomial $s^{n} + k_{n} s^{n - 1} + \dots + k_{2} s + k_{1}$ . According to Lemma 2.1, there exists a positive definite, radially unbounded homogeneous Lyapunov function $V : R^{n} \to R$ such that $\overset{\cdot}{V} = \sum_{i = 1}^{n} (\partial V / \partial x_{i}) f_{0 i} (x)$ is continuous and negative definite.

Let $Ω = V^{- 1} ([0, 1])$ and $Λ = \partial Ω = V^{- 1} ({1})$ . Then both $Ω$ and $Λ$ are compact sets. Define $η : (- 1, 0] \times Λ \to R$ by $η (τ, x) = \sum_{i}^{n} (\partial V / \partial x_{i}) f_{τ i} (x)$ , then $η (\cdot)$ is a continuous function and satisfies $η (0, x) < 0$ for all $x \in Λ$ , that is, $η ({0} \times Λ) \subset (- \infty, 0)$ . Note that $Λ$ is compact and $η (\cdot)$ is continuous; according Lemma 2.4, there exists a $δ > 0$ such that $η ((- δ, 0] \times Λ) \subset (- \infty, 0)$ . Let $ϵ = \min {δ, (1 / n)}$ , it follows that for $τ \in (- ϵ, 0)$ , $η (τ, x)$ is negative on $Λ$ . Therefore, $Ω$ is strictly positively invariant under $f_{τ} (\cdot)$ for every $τ \in (- ϵ, 0]$ , and system (7) is globally asymptotically stable.

As $τ \in (- ϵ, 0)$ , system (7) is homogeneous of degree $τ < 0$ ; it follows that system (7) is globally finite-time stable.

Remark 2.3

Compared to Lemma 2.2, the advantage of Theorem 1 lies in the following aspects: (a) the structure of the control law (6) is more simpler than that of (2), and (b) it is easier to choose control law parameters. Similar to Lemma 2.3, in Theorem 1, we proved that the control law (6) will steer the states of system (1) to the origin in finite time based on geometric homogeneity.¹¹ It is easy to obtain a homogeneous Lyapunov inequality, that is, the positive constant $c$ in $\overset{\cdot}{V} (x) \leq - c V^{(σ + α) / σ} (x)$ is dependent on homogeneous degree.³² Therefore, the disadvantage of Theorem 1 is that one could not provide the convergence time precisely.

Compared to Lemma 2.3, Theorem 1 has the following merits. (a) It is easier to choose parameters for control law (6). Specifically, once $k_{i}, i = 1, \dots, n$ are chosen, one only needs to care about how to choose an appropriate parameter $τ$ by Theorem 1. However there are two parameters need to choose according to Lemma 2.3, that is, one needs to care about how to choose $ε$ and $α$ in Lemma 2.3. (b) In equation (3), once $τ$ is chosen, it is easier to calculate the power of the control law (6), while according to equation (5), it is more complex to calculate $α_{i} s$ with the increase of the dimension of system (1). (c) Both equations (4) and (6) are homogeneous control laws for system (1); it is clear that the closed-loop systems (1) and (6) are homogeneous of degree $τ$ with respect to dilation weights $(r_{1}, \dots, r_{n})$ , while it is not easy to calculate the homogeneous degree and the dilation of the closed-loop systems (1) and (4) with the increase of dimension of system (1).

The effectiveness of the propose control scheme can be shown by the following numerical example.

Example 1

Consider the following triple integrator system for simulation studies

{\overset{\cdot}{x}}_{1} = x_{2}, {\overset{\cdot}{x}}_{2} = x_{3}, {\overset{\cdot}{x}}_{3} = u

(8)

For comparison studies, both Lemma 2.3 and Theorem 1 are employed in the simulation. According to Lemma 2.3 and Theorem 1, we can design the following two control laws

u = - k_{1} {[x_{1}]}^{α_{1}} - k_{2} {[x_{2}]}^{α_{2}} - k_{3} {[x_{3}]}^{α_{3}}

(9)

u = - k_{1} {[x_{1}]}^{r_{4} / r_{1}} - k_{2} {[x_{2}]}^{r_{4} / r_{2}} - k_{3} {[x_{3}]}^{r_{4} / r_{3}}

(10)

for system (8), respectively.

To have a fair comparison, we choose the same control gains $k_{1} = 0.8, k_{2} = 1.5, k_{3} = 1.2$ for control laws (9) and (10). Furthermore, according to Bhat and Bernstein,¹¹ under control law (9), the closed-loop systems (8) and (9) are homogeneous of degree $(α - 1) / α$ . Here, we choose $α = 25 / 27$ and $τ = - 2 / 25$ such that the closed-loop system is homogeneous of degree $- 2 / 25$ under two different control laws (9) and (10). According to Lemma 2.3 and Theorem 1, we obtain that $α_{1} = 25 / 31, α_{2} = 25 / 29, α_{3} = 25 / 27$ and $r_{2} = 23 / 25, r_{3} = 21 / 25, r_{4} = 19 / 25$ . The simulation is conducted with $(x_{1} (0), x_{2} (0), x_{3} (0)) = (1, 0.5, - 1)$ . The response curves of the system (8) under the two different control schemes are shown in Figure 1. It can be observed from Figure 1 that both of the two control laws (9) and (10) can stabilize system (8) rapidly.

Figure 1.

Responses of system (8) under control laws (9) (the dotted line) and (10) (the solid line). (a) The response curve of the state $x_{1}$ ; (b) The response curve of the state $x_{2}$ ; (c) The response curve of the state $x_{3}$ ; (d) The response curves of the two input signals.

Remark 2.4

In order to guarantee that $r_{i} > 0, i = 1, \dots, n + 1$ , Lemma 2.2 and Theorem 2 demand that $τ \in (- (1 / n), 0)$ , and under the control law (6), the closed-loop system is homogeneous of degree $τ$ . According to Bhat and Bernstein,¹¹ under the control law (4), the closed-loop system is homogeneous of degree with $(α - 1) / α$ . For the same system (1), if $- (1 / n) = τ = (α - 1) / α$ , then we have $α = n / (n + 1)$ . Therefore, according to Lemma 2.3, if one choose $α = n / (n + 1)$ for control law (4), it cannot stabilize system (1) in finite time. This point of view can be supported by simulation example in Bhat and Bernstein:¹¹ Lemma 2.3 does not guarantee the finite-time stability of the triple integrator system (8) as $α = 3 / 4$ . This demonstrates that there exists certain corresponding relationship between weighted homogeneity and geometric homogeneity for homogeneous system.

Main results

Consider the following higher order nonlinear system described by

{\overset{\cdot}{x}}_{i} = x_{i + 1}, i = 1, \dots, n - 1

{\overset{\cdot}{x}}_{n} = u + g (x) + d (t, x)

(11)

where $x = (x_{1}, \dots, x_{n})^{T} \in ϵ^{n}$ and $u \in ϵ$ are the system state and control input, respectively. $g (x)$ is a nonlinear function, and the uncertain term $d (t, x)$ represents disturbance.

Assumption 3.1

The disturbance $d (t, x)$ is bounded, that is, there exists a constant $μ > 0$ such that $| d (t, x) | \leq μ$ .

Due to the appearance of $g (x)$ and $d (t, x)$ , all of the three control laws (2), (4), and (6) cannot guarantee the global finite-time stability of system (11) even in the case $g (x) = 0$ . As $n = 2$ , by using nonsingular terminal sliding mode (NTSM) control method,⁸ one can design an NTSM control law for system (11), while $n \geq 3$ , this method is invalid. Based on Lemma 2.3, Feng et al.³⁸ and Zong et al.³⁹ proposed ITSMC and NTSMC methods for system (11), respectively; both of the two control strategies can guarantee the global finite-time stability of system (11). Inspired by Theorem 1, and Zong et al.³⁸ and Feng et al.,³⁹ we will introduce an ITSMC method for system (11) in this section.

ITSMC for the higher order system (11)

A novel terminal sliding mode surface for system (11) is designed as

s = x_{n} - x_{n} (0) + \int_{0}^{t} \sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}} d θ

(12)

where $r_{i}$ , $i = 1, \dots, n + 1$ , is defined in equation (3); $x_{n} (0)$ is the initial value of $x_{n}$ ; and $k_{1}, \dots, k_{n} > 0$ are selected such that the polynomial $s^{n} + k_{n} s^{n - 1} + \dots + k_{2} s + k_{1}$ is Hurwitz.

Theorem 2

Consider the higher order nonlinear system (11) with the novel terminal sliding mode surface (12); if Assumption 3.1 holds, then system (11) can be globally stabilized in finite time under the following ITSMC law

u = - g (x) - \sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}} - β sign (s)

(13)

where $β > 0$ is a constant and satisfies $β > μ$ .

Proof

For the integral terminal sliding mode surface (12), the derivative of $s$ with respect to time $t$ along system (11) is

\overset{\cdot}{s} = u + g (x) + d (t, x) + \sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}}

(14)

Substituting control law (13) into equation (14) yields

\overset{\cdot}{s} = d (t, x) - β sign (s)

(15)

Consider Lyapunov function $V = s^{2} / 2$ . Taking the derivative of $V$ along system (11) under control law (13) gives

\overset{\cdot}{V} = sd (t, x) - β | s | \leq - (β - μ) | s | = - λ | s |

(16)

where $λ = β - μ > 0$ . Equation (16) implies that the ideal terminal sliding mode surface $s = 0$ can be reached in finite time in spite of uncertainties and disturbances.

The ideal integral terminal sliding mode can be written as

{\overset{\cdot}{x}}_{n} = - k_{1} {[x_{1}]}^{r_{n + 1} / r_{1}} - \dots - k_{n} {[x_{n}]}^{r_{n + 1} / r_{n}}

(17)

Combining equation (11) together with equation (17), we have

\begin{matrix} {\overset{\cdot}{x}}_{i} = x_{i + 1}, i = 1, \dots, n - 1 \\ {\overset{\cdot}{x}}_{n} = - k_{1} {[x_{1}]}^{r_{n + 1} / r_{1}} - \dots - k_{n} {[x_{n}]}^{r_{n + 1} / r_{n}} \end{matrix}

(18)

In Theorem 1, it is easy to show that equation (18) is globally finite-time stable. This completes the proof. □

In what follows, a numerical example is given to show the effectiveness of the proposed ITSMC method.

Example 2

Consider the following system

\begin{matrix} {\overset{\cdot}{x}}_{1} = x_{2} \\ \begin{matrix} {\overset{\cdot}{x}}_{2} = x_{3} \\ {\overset{\cdot}{x}}_{3} = u + x_{2}^{7 / 5} + d (t) \end{matrix} \end{matrix}

(19)

where $d (t) = 0.5 + 0.5 \sin (2 t)$ .

For system (19), we choose $τ = - (2 / 11)$ , from which $r_{1} = 1$ , then we have $r_{2} = 9 / 11, r_{3} = 7 / 11, r_{4} = 5 / 11$ . We choose $k_{1} = 8, k_{2} = 12, k_{3} = 6$ and $β = 2$ , and initial condition $(x_{1} (0), x_{2} (0), x_{3} (0)) = (3, 1, - 3)$ . Obviously, $| 0.5 + 0.5 \sin (2 t) | < 2$ , and Assumption 3.1 holds. According to Theorem 2, the control law can be designed as

u = - x_{2}^{7 / 5} - 8 {[x_{1}]}^{5 / 11} - 12 {[x_{2}]}^{5 / 9} - 6 {[x_{3}]}^{5 / 7} - 2 sign (s)

(20)

where

s = x_{3} - x_{3} (0) + \int_{0}^{t} (8 {[x_{1}]}^{5 / 11} + 12 {[x_{2}]}^{5 / 9} + 6 {[x_{3}]}^{5 / 7}) d θ

(21)

The responses of closed-loop systems (19) and (20) are shown in Figure 2. Figure 2(a) shows that control law (20) can stabilize system (19) rapidly. However, the discontinuity of control law (20) leads to undesired chattering in the control signal, which can be seen from Figure 2(b).

Figure 2.

The responses of the closed-loop systems (19) and (20). (a) The response curves of the states; (b) The response of the input signal.

Remark 3.1

It should be pointed out that if parameter $β$ in control law (13) is larger than the upper bound of disturbance $d (t, x)$ (i.e. $β > μ$ ), the control law not only can suppress the external disturbances and parameter uncertainties but also can guarantee the states of the closed-loop system that reach the sliding mode in finite time. However, the signum function in control law (13) will bring undesired chattering. To reduce chattering, boundary layer method is usually adopted^3,8,56 in the literature. In Yu et al.,⁹ exponential reaching law is used to take place of constant speed reaching law, that is, $sign (\cdot)$ is replaced with $| \cdot |^{κ} sign (\cdot), (0 < κ < 1)$ . However, both of the above two methods can only guarantee the finite-time reachability of the neighborhood of the sliding mode surface when there exist parameter uncertainties and disturbances. Therefore, finite-time stability cannot be guaranteed.

Chattering-free composite ITSMC law design

Finite-time disturbance observer (FTDOB) was first introduced in the study of Levant,⁵⁷ which has a high efficiency in realizing nonlinear dynamical estimation and has been successfully used in missile guidance systems.^58,61 In order to estimate the total disturbance (here, the total disturbance includes parameter uncertainties and external disturbances) by using FTDOB, the following assumption is introduced.

Assumption 3.2

Given $d (t, x) \in C^{2}$ , and there exists a constant $L > 0$ such that $| \overset{\cdot\cdot}{d} (t, x) | \leq L$ .

According to Levant⁵⁷ and Assumption 3.2, we design the following FTDOB for system (11)

\begin{matrix} {\overset{\cdot}{y}}_{0} = z_{0} + u + g (x) \\ z_{0} = - λ_{0} L^{1 / 3} {[z_{0} - x_{n}]}^{2 / 3} + y_{1} \\ {\overset{\cdot}{y}}_{1} = z_{1} \\ z_{1} = - λ_{1} L^{1 / 2} {[y_{1} - z_{0}]}^{1 / 2} + y_{2} \\ {\overset{\cdot}{y}}_{2} = - λ_{2} Lsign (y_{2} - z_{1}) \end{matrix}

(22)

By defining observer errors $e_{1} = y_{0} - x_{n}, e_{2} = y_{1} - d (t, x), e_{3} = y_{2} - \overset{\cdot}{d} (t, x)$ , it follows from equations (11) and (22) that

\begin{matrix} {\overset{\cdot}{e}}_{1} = - λ_{0} L^{1 / 3} {[e_{1}]}^{2 / 3} + e_{2} \\ {\overset{\cdot}{e}}_{2} = - λ_{1} L^{1 / 2} {[e_{2} - {\overset{\cdot}{e}}_{1}]}^{1 / 2} + e_{3} \\ {\overset{\cdot}{e}}_{3} \in - λ_{2} Lsign (e_{3} - {\overset{\cdot}{e}}_{2}) + [- L, L] \end{matrix}

(23)

where $λ_{0}$ , $λ_{1}$ , and $λ_{2}$ are appropriate positive constants.

Theorem 3

Consider the higher order nonlinear system (11) with the novel terminal sliding mode surface (12); if Assumption 3.2 holds, then system (11) can be globally stabilized in finite time under the following ITSMC law

u = - g (x) - \sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}} - y_{1} - β {[s]}^{γ}

(24)

where $β > 0$ and $0 < γ < 1$ are parameters to be determined.

Proof

The proof of this theorem is divided into two steps: Inspired by Li and Tian,⁵⁹ first we will show that under the proposed composite control law (24), the states of the closed-loop systems (11) and (24) are bounded in the time interval $[0, T_{e}]$ , where $T_{e}$ is the convergence time of the observer error system (23). While in the second step, we will show that the closed-loop systems (11) and (24) are globally finite-time stable.

Step I: Taking the derivative of $s$ with respect to time $t$ along system (11) under control law (24) yields

\overset{\cdot}{s} = - e_{2} - β {[s]}^{γ}

(25)

Substituting control law (24) into system (11) leads to

\begin{matrix} {\overset{\cdot}{x}}_{i} = x_{i + 1}, i = 1, \dots, n - 1 \\ {\overset{\cdot}{x}}_{n} = - \sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}} - e_{2} - β {[s]}^{γ} \end{matrix}

(26)

Consider the following finite-time bounded (FTB) function for system (26)

U (s, x) = \frac{1}{2} (s^{2} + \sum_{i = 1}^{n} x_{i}^{2})

(27)

Note that $1 \geq r_{i} > r_{i + 1}, i = 1, \dots, n, 0 < γ < 1$ , then we have $1 < ((r_{i} + r_{n + 1}) / r_{i}) < 2, i = 1, \dots, n, 1 < 1 + γ < 2$ and $| x_{i} |^{r_{i} + r_{n + 1} / r_{i}} < (1 + x_{i}^{2}), | x_{n} |^{1 + γ} < (1 + x_{n}^{2}), | s |^{1 + γ} < (1 + s^{2}), for \forall x_{i} \in R, s \in R$ . Taking the derivative of $U$ along the system (26) yields

\begin{matrix} \overset{\cdot}{U} = s \overset{\cdot}{s} + \sum_{i = 1}^{n} x_{i} {\overset{\cdot}{x}}_{i} = s (- e_{2} - β sign (s)) + \sum_{i = 1}^{n - 1} x_{i} {\overset{\cdot}{x}}_{i + 1} \\ - x_{n} (\sum_{i = 1}^{n} k_{i} {[x_{i}]}^{r_{n + 1} / r_{i}} + e_{2} + β {[s]}^{γ}) \\ \leq \frac{s^{2}}{2} + \frac{e^{2}}{2} + β | s |^{1 + γ} + \frac{1}{2} (x_{1}^{2} + 2 x_{2}^{2} + \dots + 2 x_{n - 1}^{2} + x_{n}^{2}) \\ + \sum_{i = 1}^{n} \frac{k_{i} r_{i}}{r_{i} + r_{n + 1}} | x_{n} |^{(r_{i} + r_{n + 1}) / r_{i}} \\ + \sum_{i = 1}^{n} \frac{k_{i} r_{n + 1}}{r_{i} + r_{n + 1}} | x_{i} |^{(r_{i} + r_{n + 1}) / r_{i}} + \frac{1}{2} x_{n}^{2} + \frac{1}{2} e_{2}^{2} \\ + \frac{β}{1 + γ} | x_{n} |^{1 + γ} + \frac{β γ}{1 + γ} | s |^{1 + γ} \\ \leq h_{0} s^{2} + (2 + h_{1}) \sum_{i = 1}^{n} x_{i}^{2} + n h_{1} x_{n}^{2} + 2 n h_{1} + e_{2}^{2} \\ \leq h_{2} U + h_{3} \end{matrix}

(28)

where $h_{0} = (1 / 2) + (β / 1 + γ) + β$ , $h_{1} = \max_{i = 1, \dots, n} {(r_{i} + r_{n + 1}) / r_{i}}$ , $h_{2} = 2 \max {h_{0}, 2 + (n + 1) h_{1}}$ , and $h_{3} = 2 n h_{1} + e_{2}^{2}$ (in equation (28), the famous Young’s inequality is used repetitively). According to Levant,⁵⁷ system (23) will converge to the origin in finite time, which implies that $e_{i}, i = 1, 2, 3$ are bounded, and then $h_{3}$ is bounded. It follows from equation (28) and Li and Tian⁵⁹ that the FTB function $U (s, x)$ are bounded in the time interval $[0, T_{e}]$ ; thus, the states of the closed-loop systems (11) and (24) will not escape to infinity as $t \leq T_{e}$ .

Step II: As $t \geq T_{e}$ , $e_{2} = 0$ , then equation (25) reduces to

\overset{\cdot}{s} = - β {[s]}^{γ}

(29)

If follows from equation (29) and $V = (1 / 2) s^{2}$ that

\overset{\cdot}{V} = - β s {[s]}^{γ} = - 2^{(1 + γ) / 2} β V^{(1 + γ) / 2}

(30)

Therefore, under the proposed composite control law (24), the states of the closed-loop systems (11) and (24) will reach $s = 0$ in finite time.

On $s = 0$ , system (26) reduces to system (18). It is derived from Theorem 1 that equation (18) is finite-time stable. □

Example 3

We still take system (19) as an example to show the effectiveness of the control law (24).

According to equation (22), the following FTDOB is designed for system (19)

\begin{matrix} {\overset{\cdot}{y}}_{0} = z_{0} + u + x_{2}^{7 / 5} \\ z_{0} = - λ_{0} L^{1 / 3} {[z_{0} - x_{n}]}^{2 / 3} + y_{1} \\ {\overset{\cdot}{y}}_{1} = z_{1} \\ z_{1} = - λ_{1} L^{1 / 2} {[y_{1} - z_{0}]}^{1 / 2} + y_{2} \\ {\overset{\cdot}{y}}_{2} = - λ_{2} Lsign (y_{2} - z_{1}) \end{matrix}

(31)

Furthermore, in Theorem 3, the following continuous ITSMC is constructed

u = - x_{2}^{2 / 5} - k_{1} {[x_{1}]}^{r_{4} / r_{1}} - k_{2} {[x_{2}]}^{r_{4} / r_{2}} - k_{3} {[x_{3}]}^{r_{4} / r_{3}} - y_{1} - β {[s]}^{γ}

(32)

for system (19).

In simulation, we choose parameter values and initial conditions as $τ = - (2 / 11), r_{1} = 1, r_{2} = 9 / 11, r_{3} = 7 / 11, r_{4} = 5 / 11, k_{1} = 8, k_{2} = 12, k_{3} = 6, β = 2, γ = 3 / 5, λ_{0} = 3, λ_{1} = 1.5, λ_{2} = 1.1$ and $(x_{1} (0), x_{2} (0), x_{3} (0)) = (3, 1, - 3), (y_{0} (0), y_{1} (0), y_{2} (0)) = (- 3, 0, 0)$ . The simulation results are shown in Figures 3 and 4. It can be observed from Figure 3(a) that under the control law (32), the states of system (19) converge to the origin rapidly in spite of the disturbance. Figure 3(b) shows the responses of the input signal, which demonstrates that the proposed control law is chattering free. The responses of the real value and its estimated value of disturbance are shown in Figure 4, and it is observed that FTDOB can estimate the disturbance quickly and efficiently.

Figure 3.

The responses of the closed-loop systems (19) and (32). (a) The response curves of the states; (b) The response curve of the control signal.

Figure 4.

The real value ( $d (t)$ , the solid line) and the estimated value ( $\hat{d} (t)$ , the dotted line) of disturbance.

Conclusion

The ITSMC problem for a class of higher order nonlinear systems has been studied in this article. The main contribution of this article lies in the following aspects: (a) a novel FTC law with a simple structure has been proposed for a chain of integrators by using weighted homogeneity theory; (b) inspired by the proposed novel FTC law, a novel ITSMC law has been proposed for a class of higher order nonlinear systems; and (c) based on FTDOB technique and ITSMC approach, a chattering-free composite control law has been proposed for a class of higher order nonlinear systems in spite of parameter uncertainties and external disturbances.

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

This work is supported by National Natural Science Foundation of China under Grant 61503122, the Foundation of Henan Education Committee under Grant 18A120008, and the Outstanding Youth Science Fund of Scientific and Technological Innovation from Pingdingshan under Grant 2017011(11.5).

ORCID iD

Qixun Lan

References

Utkin

VI.

Sliding modes in control and optimization. Berlin; Heidelberg: Springer, 1992.

Guldner

Utkin

VI.

Sliding mode control for gradient tracking and robot navigation using artificial potential fields. IEEE Trans Robot Automat 1995; 11(2): 247–254.

Zhu

Xia

MY.

Adaptive sliding mode control for attitude stabilization with actuator saturation. IEEE Trans Ind Electr 2011; 58(10): 4898–4907.

Yang

XH.

Sliding-mode control for systems with mismatched uncertainties via a disturbance observer. IEEE Trans Ind Electr 2013; 60(1): 160–169.

Davila

Fridman

Levant

Second-order sliding-mode observer for mechanical systems. IEEE Trans Automat Control 2005; 50(11): 1785–1789.

QS.

Digital integral terminal sliding mode predictive control of piezoelectric-driven motion system. IEEE Trans Ind Electr 2016; 63(6): 3976–3984.

QS.

Piezoelectric positioning control with output-based discrete-time terminal sliding mode control. IET Control Theory Appl 2017; 11(5): 694–702.

Feng

Man

ZH.

Non-singular terminal sliding mode control of rigid manipulators. Automatica 2002; 38(12): 2159–2167.

Shirinzadeh

et al . Continuous finite-time control for robotic manipulators with terminal sliding mode. Automatica 2005; 41: 1957–1964.

10.

Bhat

Bernstein

DS.

Continuous finite-time stabilization of the translational and rotational double integrators. IEEE Trans Automat Control 1998; 43(5): 678–682.

11.

Bhat

Bernstein

DS.

Geometric homogeneity with applications to finite-time stability. Mathemat Control Signals Syst 2005; 17: 101–127.

12.

Hong

YG.

Finite-time stabilization and stabilizability of a class of controllable systems. Syst Control Lett 2002; 46(4): 231–236.

13.

Hong

Jiang

ZP.

Finite-time stabilization of nonlinear systems with parametric and dynamic uncertainties. IEEE Trans Automat Control 2006; 51(2): 1950–1956.

14.

Huang

Lin

Yang

Global finite-time stabilization of a class of uncertain nonlinear systems. Automatica 2005; 41(5): 881–888.

15.

Shen

Xia

XH.

Semi-global finite-time observers for nonlinear systems. Automatica 2008; 44: 3152–3156.

16.

Ding

SH.

Stabilization of the attitude of a rigid spacecraft with external disturbances using finite-time control technique. Aerospace Sci Technol 2009; 13: 256–265.

17.

Levant

Quasi-continuous high-order sliding mode controllers. IEEE Trans Automat Control 2005; 50(11): 1812–1816.

18.

Lin

XZ.

Finite-time consensus algorithm for multi-agent systems with double-integrator dynamics. Automatica 2011; 47: 1706–1712.

19.

SH.

Finite-time attitude stabilization for a spacecraft using homogeneous method. J Guid Control Dyn 2012; 35(3): 740–748.

20.

Qian

Ding

SH.

Global finite-time stabilisation by output feedback for a class of uncertain nonlinear systems. Int J Control 2010; 83(11): 2241–2252.

21.

Qian

Global output feedback stabilization of upper-triangular nonlinear systems using a homogeneous domination approach. Int J Robust Nonlinear Control 2006; 16(9): 441–463.

22.

Hong

Huang

YS.

On an output feedback finite-time stabilization problem. IEEE Trans Automat Control 2001; 46(2): 305–309.

23.

Qian

CJ.

Global finite-time stabilization by dynamic output feedback for a class of continuous nonlinear systems. IEEE Trans Automat Control 2006; 51(5): 879–884.

24.

Sun

Liu

Zhang

XH.

New results on global stabilization for time-delay nonlinear systems with low-order and high-order growth conditions. Int J Robust Nonlinear Control 2015; 25(6): 878–899.

25.

Yin

Khoo

Man

et al . Finite-time stability and instability of stochastic nonlinear systems. Automatica 2011; 47: 2671–2677.

26.

Sun

Xue

Zhang

KM.

A new approach to finite-time adaptive stabilization of high-order uncertain nonlinear system. Automatica 2015; 58: 60–66.

27.

Sun

Yun

A new approach to fast global finite-time stabilization of high-order nonlinear system. Automatica 2017; 81: 455–463.

28.

Wang

Yang

et al . Current sensorless finite-time control for buck converters with time-varying disturbances. Control Eng Pract 2018; 77: 127–137.

29.

Sun

Hou

Zong

et al . Fixed-time attitude tracking control for spacecraft with input quantization. IEEE Trans Aerospace Electr Syst 2018; 55: 124–134.

30.

Sun

Hou

Zong

GD.

Continuous finite time control for static var compensator with mismatched disturbances. Nonlinear Dyn 2016; 85(4): 2159–2169.

31.

Yang

Ding

et al . Continuous finite-time output regulation of nonlinear systems with unmatched time-varying disturbances. IEEE Contr Syst Lett 2018; 2(1): 97–102.

32.

Zhang

Yang

Wen

CY.

Global stabilisation for a class of uncertain nonlinear systems: a novel non-recursive design framework. J Contr Decis 2017; 4(2): 57–69.

33.

Lan

Qian

SH.

Finite-time disturbance observer design and attitude tracking control of a rigid spacecraft. J Dyn Syst Measure Control 2017; 139(6): 061010.

34.

Lan

Niu

Liu

et al . Global output-feedback finite-time stabilization for a class of stochastic nonlinear cascaded systems. Kybernetika 2017; 53(5): 780–802.

35.

Zhao

Gao

A new terminal sliding mode control for robotic manipulators. Int J Control 2009; 82(10): 1804–1813.

36.

Chiu

CS.

Derivative and integral terminal sliding mode control for a class of MIMO nonlinear systems. Automatica 2012; 48: 316–326.

37.

Xia

YQ.

Adaptive attitude tracking control for rigid spacecraft with finite-time convergence. Automatica 2013; 49(12): 3591–3599.

38.

Feng

Han

FL.

On nonsingular terminal sliding-mode control of nonlinear systems. Automatica 2013; 49: 1715–1722.

39.

Zong

Zhao

Zhang

Higher order sliding mode control with self-tuning law based on integral sliding mode. IET Contr Theory Appl 2010; 4(7): 1282–1289.

40.

QS.

Continuous integral terminal third-order sliding mode motion control for piezoelectric nanopositioning system. IEEE/ASME Trans Mechatron 2017; 22(4): 1828–1838.

41.

Ding

Mei

SH.

A new second-order sliding mode and its application to nonlinear constrained systems. IEEE Trans Automat Control. Epub ahead of print August 2018. DOI: 10.1109/TAC.2018.2867163.

42.

Hermes

Homogeneous coordinates and continuous asymptotically stabilizing feedback controls. Different Equat Stabil Control 1991; 109: 249–260.

43.

Sun

Hou

Zong

et al . Composite adaptive anti-disturbance control for MIMO nonlinearly parameterized systems with mismatched general periodic disturbances. Int J Comp Mathemat 2017; 94(10): 2089–2105.

44.

Sun

Zhang

Wang

Adaptive disturbance attenuation for generalized high-order uncertain nonlinear systems. Automatica 2017; 80: 102–109.

45.

Man

Liu

YG.

Global adaptive stabilisation for nonlinear systems with unknown control directions and input disturbance. Int J Control 2016; 89(5): 1038–1046.

46.

Sun

Yang

SH.

A unified time-varying feedback approach and its applications in adaptive stabilization of high-order uncertain nonlinear systems. Automatica 2016; 70: 249–257.

47.

Zhang

Liu

XW.

Further results on global adaptive stabilisation for a class of uncertain stochastic nonlinear systems. Int J Control 2015; 88(3): 441–450.

48.

Sun

Yang

Global adaptive stabilization for high-order uncertain time-varying nonlinear systems with time-delays. Int J Robust Nonlinear Control 2017; 27(13): 2198–2217.

49.

Liu

YG.

General stochastic convergence theorem and stochastic adaptive output-feedback controller. IEEE Trans Automat Control 2017; 62(5): 2334–2349.

50.

Song

Sun

Yang

et al . Global stabilization via nested saturation function for high-order feedforward nonlinear systems with unknown time-varying delays. Int J Robust Nonlinear Control 2016; 26(15): 3363–3387.

51.

Sun

Yang

SH.

Output tracking control for generalized high-order nonlinear system with serious uncertainties. Int J Control 2016; 90(2): 323–333.

52.

Moulay

Stabilization via homogeneous feedback controls. Automatica 2008; 44: 2981–2984.

53.

Qian

Lin

A continuous feedback approach to global strong stabilization of nonlinear systems. IEEE Trans Automat Control 2001; 46(7): 1061–1079.

54.

Munkres

Topology. Englewood Cliffs, NJ: Prentice Hall, 1999.

55.

Moulay

Stability and stabilization of homogeneous systems depending on a parameter. IEEE Trans Automat Control 2009; 54(6): 1382–1385.

56.

Slotine

Applied non-linear control. Englewood Cliffs, NJ: Prentice Hall, 1991.

57.

Levant

Higher-order sliding modes, differentiation and output-feedback control. Int J Control 2003; 76(9): 924–941.

58.

Shtessel

Shkolnikov

Levant

Guidance and control of missile interceptor using second-order sliding modes. IEEE Trans Aerospace Electr Syst 2009; 45(1): 110–123.

59.

Tian

YP.

Finite-time stability of cascaded time-varying systems. Int J Control 2007; 80(4): 646–657.

60.

Khoo

Yin

Man

et al . Finite-time stabilization of stochastic nonlinear systems in strict-feedback form. Automatica 2013; 49: 1403–1410.

61.

Shtessel

Shkolnikov

Levant

Smooth second-order sliding modes: missile guidance application. Automatica 2007; 43(8): 1470–1476.