Adaptive Output Feedback Control for Nonholonomic Chained Systems with Integral Input State Stability Inverse Dynamics

Abstract

This paper investigates a class of nonholonomic chained systems with integral input-to-state stable (iISS) inverse dynamics subject to unknown virtual control directions and parameter uncertainty included in drift terms. First, the system is divided into two interconnected subsystems according to the system’s structure. Second, one controller is designed using a switch strategy for state finite escape. Then, another controller and adaptive law are designed by combining a reduced-order state observer and backstepping method after input-state scaling. Finally, simulation results validate the feasibility of the proposed control algorithm.

1. Introduction

In recent years, the control of nonholonomic systems has drawn considerable attention due to the enormous potential practical values. And nonholonomic systems have penetrated deeply into humans’ daily lives, such as in the case of planar space robots, the knife edge, a rigid spacecraft with two torque actuators, cars towing several trailers and multiple mobile manipulators [1,2,3]. Some classical nonlinear control methods have been developed rapidly in recent years, such as recursive integral backstepping control [4], adaptive output feedback control [5], sliding mode control [6], etc. Control of nonholonomic systems has been booming for several years in the nonlinear control field. However, the stabilization problem for nonholonomic systems, while the systems are subject to nonholonomic constraints, makes it difficult to utilize the classical control methods of nonlinear systems [7]. It is further proved by Brockett’s necessary condition that the equilibrium of a simple nonholonomic system could not be stabilized by any static continuous state feedback control even for a controllable open loop system [8]. Alternatively, time-varying controllers and discontinuous controllers have been developed for nonholonomic systems’ stability. For example, ref. [9] investigated the state feedback and output feedback to address the effects of nonholonomic constraints in event-triggered control. Ref. [10] developed a continuous state feedback control strategy for first-order nonholonomic systems.

It is well-recognized that a lot of nonholonomic systems could be transformed into their corresponding chained forms. Therefore, nonholonomic systems in a chained form as fundamental systems have been taken much more seriously [11]. Furthermore, the design of adaptive controllers for nonholonomic systems with unknown control directions is a considerable concerned problem [12]. The adaptive control problem becomes more difficult when the sign of virtual control is unknown. Robust control is a common strategy for the stability problem of nonholonomic systems with unknown control direction [13]. This method first designs a controller according to the assumed control direction, and then identifies the control direction online. If the actual control direction is the opposite of the assumed direction, then a continuous switching law is applied to modify the controller.

Unlike previous works, in this paper, a class of integral Input state stability (iISS) inverse dynamics is introduced to a canonical chained nonholonomic system with parameter uncertainties, which is shown as follows:

$$\begin{array}{cc}\hfill & \dot{\eta }=q(\eta ,x_0),\hfill \\ \hfill & {\dot{x}}_0=d_0{u}_0+{\varphi }_0^T(\eta ,x_0)\theta ,\hfill \\ \hfill & {\dot{x}}_1=d_1{u}_0{x}_2+{\varphi }_1^T(u_0,\eta ,x_0,x_1)\theta ,\hfill \\ \hfill & {\dot{x}}_i=d_i{u}_0{x}_{i+1}+{\varphi }_i^T(u_0,\eta ,x_0,x)\theta ,\hfill \\ & i=2,\cdots ,n-1\hfill \\ \hfill & {\dot{x}}_n=d_n{u}_1+{\varphi }_n^T(u_0,\eta ,x_0,x)\theta ,\hfill \\ \hfill & y=(x_0,x_1),\hfill \end{array}$$

(1)

where $u_0$ and $u_1$ represent the control inputs; ${[x_0,x^T]}^T={[x_0,x_1,\cdots ,x_n]}^T\in {\Re }^{n+1}$ and $\eta \in {\Re }^q$ are system states; $\eta$ is referred to inverse dynamics and is available to control design; y denotes the measurable output; $q(\eta ,x_0)\in {\Re }^q$ is locally Lipschitz and holds $q(0,0)=0$. ${\varphi }_0(\eta ,x_0)\in {\Re }^l$, ${\varphi }_1(u_0,\eta ,x_0,x_1)\in {\Re }^l$ and ${\varphi }_i(u_0,\eta ,x_0,x)\in {\Re }^l(2\le i\le n)$ are smooth vector functions and satisfy ${\varphi }_0(0,0)=0$, ${\varphi }_i(u_0,0,0,0)=0(1\le i\le n)$; $\theta \in {\Re }^l$ shows a vector of unknown constant parameters; $d_0,\cdots ,d_n$ indicate virtual control directions while $d_1,\cdots ,d_n$ are unknown but bounded.

ilSS was first defined in [14], and is strictly weaker than ISS. The properties of iISS are further ventilated in [15]. ISS is a nonlinear extension on the finite gain of the maximum norm and ${\mathcal{L}}_2$, replacing finite linear gains that require too much general nonlinear control with nonlinear gains. When excited by a uniformly bounded energy signal, a system exhibits a low energy response, which is a highly demanding qualitative characteristic. In this case, a weaker condition iISS is proposed naturally and applied to nonlinear systems with good performance [16,17]. As iISS inverse dynamics are first introduced into nonholonomic systems with unknown control direction and strong drift, two interconnected subsystems are divided according to the system’s structure. Then, one controller is designed by a switch strategy for state finite escape. Another controller is designed by combining a reduced-order state observer and backstepping method after input-state scaling. Generally, the control problem of interest is to design adaptive output feedback controllers $u_0=u_0(\eta ,x_0,\widehat{\Theta }),u_1=u_1(\eta ,x_0,x,\widehat{\Theta },\mu ),\mu =v(\eta ,x_0,x,\widehat{\Theta },\mu )$ to make the components of closed-loop system bounded and $\eta \left(t\right)$, $x_0\left(t\right)$, $x\left(t\right)$ converge to its equilibrium when $t\to \infty$ on the condition that the inverse dynamics $\eta$ is iISS.

The rest of this paper is organized as follows. Section 2 presents the essential preliminary results. An output feedback controller is provided in Section 3 with the aid of Section 3.1 controller design for $u_0$ and Section 3.2 controller design for $u_1$. Section 4 addresses the switch control. Section 5 illustrates the effectiveness of the proposed algorithm.

2. Preliminary Results

Consider the following nonlinear control system

$$\begin{array}{ccc}\hfill \dot{x}& =& f(x,u),x\in {\Re }^n,u\in {\Re }^m\hfill \end{array}$$

(2)

where u denotes the control input, x represents the state and f satisfying $f(0,0)=0$ is a locally Lipschitz function. Next, let us recall several important definitions and propositions.

Definition 1

([18]). A continuous function ${\Psi }_1:[0,a)\to [0,\infty )$ is said to be a $\mathcal{K}$-function if it is strictly increasing and ${\Psi }_1\left(0\right)=0$. The $\mathcal{K}$-function ${\Psi }_1$ is called a ${\mathcal{K}}_{\infty }$-function if $a=\infty$ and ${\Psi }_1\left(r\right)\to \infty$ as $r\to \infty$.

Definition 2

([18]). A continuous function ${\Psi }_2:[0,a)\times [0,\infty )\to [0,\infty )$ is said to be a $\mathcal{KL}$-function if, for every fixed s, the mapping ${\Psi }_2(r,s)$ is a $\mathcal{K}$-function with respect to r and, for every fixed r, the mapping ${\Psi }_2(r,s)$ is decreasing with respect to s and ${\Psi }_2(r,s)\to 0$ as $s\to \infty$.

Definition 3

([19]). System (2) is called integral input-to-state stable (iISS) with respect to u, if for any initial value $x\left(0\right)\in {\Re }^n$ there always exist ${\mathcal{K}}_{\infty }$-functions α, ${\gamma }_{\alpha }$ and a $\mathcal{KL}$-function ${\beta }_{\alpha }$ such that

$$\begin{array}{ccc}\hfill \alpha (|x\left(t\right)|)& \le & {\beta }_{\alpha }(|x\left(0\right)|,t)+{\int }_0^t{\gamma }_{\alpha }(|u\left(\tau \right)|)d\tau .\hfill \end{array}$$

(3)

The definition of iISS could be equivalently illustrated by the Lyapunov function in the following proposition.

Proposition 1

([19]). System (2) is iISS if and only if there is a positive definite and proper function $V\left(x\right)$, referred to an iISS-Lyapunov function, such that

$$\begin{array}{c}\hfill \underline{\alpha }(|x|)\le V\left(x\right)\le \overline{\alpha }(|x|),\\ \hfill \frac{\partial V}{\partial x}\left(x\right)f(x,u)\le -\beta (|x|)+\gamma (|u|),\end{array}$$

(4)

where $\underline{\alpha }$, $\overline{\alpha }$ and γ are ${\mathcal{K}}_{\infty }$-functions, β represents a positive definite continuous function.

Before the following proportion, there is a notation for simplicity that ${\sigma }_1\left(s\right)=\mathcal{O}\left({\sigma }_2\left(s\right)\right)$ denotes ${\sigma }_1\left(s\right)\le c{\sigma }_2\left(s\right)$ for some constant $c>0$ and any s in a small neighborhood of the origin.

Proposition 2

([20]). Consider the system (2) with an iISS-Lyapunov function $V\left(x\right)$ satisfying (4). If any smooth function π with the property ${\pi }^2\left(s\right)=\mathcal{O}\left(\beta \left(s\right)\right)$ is taken. And the additional condition $\underset{s\to \infty }{lim\; sup}\frac{{\pi }^2\left(s\right)}{\beta \left(s\right)}<\infty$ holds when β is bounded. Then there always exists a positive definite function σ and a ${\mathcal{K}}_{\infty }$-function ω such that

$$\begin{array}{ccc}\hfill {\int }_0^t{\pi }^2(|x\left(\tau \right)|)d\tau & \le & \sigma (|x\left(0\right)|)+{\int }_0^t\omega (|u\left(\tau \right)|)d\tau ,\hfill \end{array}$$

(5)

$$\begin{array}{ccc}\hfill {\int }_0^t|u\left(\tau \right)|\pi (|x\left(\tau \right)|)d\tau & \le & \sigma (|x\left(0\right)|)+{\int }_0^t\left(\omega \right(|u\left(\tau \right)|)+\frac{1}{4}{|u\left(\tau \right)|}^2)d\tau .\hfill \end{array}$$

(6)

Furthermore, if the iISS-gain γ satisfies $\gamma \left(s\right)=\mathcal{O}\left(s^2\right)$, so is ω.

Now we start to investigate the nonholonomic system (1). Before the output controller design, there are some commonly used hypotheses.

Assumption A1.

There is a constraint of $d_1,\cdots ,d_n$ that $d_1\cdots d_n=1$. Furthermore, for nonlinear vector function ${\varphi }_0(\eta ,x_0)$, there exists a nonnegative smooth function ${\overline{\varphi }}_0(\eta ,x_0)$ such that $|{\varphi }_0(\eta ,x_0)|\le |x_0|{\overline{\varphi }}_0(\eta ,x_0)$.

Assumption A2.

There exist continuously differential matrix functions ${\overline{\varphi }}_i^T(u_0,\eta ,x_0,\overline{x})\in {\Re }^{1\times m_i}$ $(i=2,\cdots ,n)$ and continuous matrix functions ${\phi }_i(d_1,\cdots ,d_{n-1})\in {\Re }^{m_i\times l}(i=2,\cdots ,n)$, where $\overline{x}=[{\overline{x}}_1,\cdots ,{\overline{x}}_n]$ and

$$\begin{array}{c}\hfill \begin{array}{cc}& {\overline{x}}_1=x_1,\hfill \\ & {\overline{x}}_i=d_1\cdots d_{i-1}{x}_i.i=2,\cdots ,n\hfill \end{array}\end{array}$$

(7)

such that ${\varphi }_i^T(u_0,\eta ,x_0,$ $\overline{x},d_1,\cdots ,d_{n-1})(i=2,\cdots ,n)$ satisfy ${\varphi }_i^T(u_0,\eta ,x_0,\overline{x},d_1,\cdots ,$ $d_{n-1})={\overline{\varphi }}_i^T(u_0,\eta ,x_0,\overline{x})$ ${\phi }_i(d_1,\cdots ,d_{n-1})$.

Remark 1.

Transformation (7) takes a major effect in tackling uncertainties in system (1). However, the unknown parameters are brought into ${\varphi }_i^T(u_0,\eta ,x_0,\overline{x})(i=2,\cdots ,n)$ by (7). There is no doubt that it becomes more complicated to estimate the uncertainties. So Assumption 2 plays an active part in separating uncertainties out from ${\varphi }_i^T(u_0,\eta ,x_0,\overline{x})(i=2,\cdots ,n)$.

According to transformation (7) and Assumption 2, system (1) can be converted into:

$$\begin{array}{c}\hfill \begin{array}{cc}& \dot{\eta }=q(\eta ,x_0),\hfill \\ & {\dot{x}}_0=d_0{u}_0+{\varphi }_0^T(\eta ,x_0)\theta ,\hfill \\ & {\dot{\overline{x}}}_1=u_0{\overline{x}}_2+{\overline{\varphi }}_1^T(u_0,\eta ,x_0,{\overline{x}}_1)\theta ,\hfill \\ & {\dot{\overline{x}}}_i=u_0{\overline{x}}_{i+1}+{\overline{\varphi }}_i^T(u_0,\eta ,x_0,\overline{x}){\Theta }_i,\hfill \\ & i=2,\cdots ,n-1\hfill \\ & {\dot{\overline{x}}}_n=u_1+{\overline{\varphi }}_n^T(u_0,\eta ,x_0,\overline{x}){\Theta }_n,\hfill \end{array}\end{array}$$

(8)

where ${\overline{\varphi }}_1^T(u_0,\eta ,x_0,{\overline{x}}_1)={\varphi }_1^T(u_0,\eta ,x_0,x_1)$, ${\Theta }_i=d_1\cdots d_{i-1}{\phi }_i(d_0,\cdots ,d_{n-1})\theta \in {\Re }^{m_i\times 1}(2\le i\le n)$.

3. Output Feedback Controller

For system (8), an adaptive output feedback controller will be designed via input-state scaling transformation and backstepping technique. In detail, this system will be divided into two subsystems around its inherent structure. First, $u_0$ will be designed to stabilize the $(\eta ,x_0)$-subsystem under the condition that $\eta$ is iISS. And then, the stability of $\overline{x}-$ subsystem is guaranteed by controller $u_1\left(t\right)$ to be framed later. For clarity, the discussion will be separated into two categories: $x_0\left(0\right)=0$ and $x_0\left(0\right)\ne 0$. This section is concerned with the condition of $x_0\left(0\right)\ne 0$.

3.1. Controller Design for $u_0$

For subsystem

$$\begin{array}{ccc}\hfill \dot{\eta }& =& q(\eta ,x_0),\hfill \end{array}$$

(9)

$$\begin{array}{ccc}\hfill {\dot{x}}_0& =& d_0{u}_0+{\varphi }_0^T(\eta ,x_0)\theta ,\hfill \end{array}$$

(10)

the following sufficient conditions are required:

(A1) System (9) is iISS, i.e., there is an iISS-Lyapunov function $V\left(\eta \right)$, such that

$$\begin{array}{cc}\hfill & \underline{\alpha }(|\eta |)\le V\left(\eta \right)\le \overline{\alpha }(|\eta |),\hfill \\ \hfill & \frac{\partial V\left(\eta \right)}{\partial \eta }q(\eta ,x_0)\le -\beta (|\eta |)+\gamma (|x_0|),\hfill \end{array}$$

(11)

where $\underline{\alpha }$, $\overline{\alpha }$ and $\gamma$ are ${\mathcal{K}}_{\infty }$-functions, $\beta$ represents a positive definite continuous function.

(A2) There is two unknown positive constants $p_{01}$, $p_{02}$, and two known positive semidefinite smooth functions ${\varphi }_{01}$, ${\varphi }_{02}$ such that

$$\begin{array}{ccc}\hfill |{\varphi }_0^T(\eta ,x_0){\widehat{\theta }}_0|& \le & p_{01}{\varphi }_{01}(|x_0|,|{\widehat{\theta }}_0|)+p_{02}{\varphi }_{02}(|\eta |),\hfill \end{array}$$

(12)

where ${\widehat{\theta }}_0$ denotes the estimate of unknown parameter $\theta$ in $x_0$-subsystem; ${\tilde{\theta }}_0$ is the corresponding estimate error and satisfies ${\tilde{\theta }}_0=\theta -{\widehat{\theta }}_0$. Then controller $u_0$ and adaptive law ${\dot{\widehat{\theta }}}_0$ are given in the succeeding theorem.

Theorem 1.

Suppose that the conditions A1) and A2) hold with the properties ${\varphi }_{02}^2\left(s\right)=\mathcal{O}\left(\beta \left(s\right)\right)$ and $\gamma \left(s\right)=\mathcal{O}\left(s^2\right)$. When β is bounded, there is $\underset{s\to \infty }{lim\; sup}\frac{{\varphi }_{02}^2\left(s\right)}{\beta \left(s\right)}<\infty$. If the control law and adaptive law are chosen as:

$$\begin{array}{ccc}\hfill u_0& =& -c{d}_0\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0,\dot{\kappa }=\Gamma {\phi }_0(x_0,{\widehat{\theta }}_0)x_0^2,\kappa \left(0\right)>0,\hfill \end{array}$$

(13)

$$\begin{array}{ccc}\hfill {\dot{\widehat{\theta }}}_0& =& x_0{\varphi }_0(\eta ,x_0)\triangleq {\beta }_0,\hfill \end{array}$$

(14)

then by appropriately selecting positive smooth function ${\phi }_0$ and positive parameters c, Γ, we obtain:

(i) the solution of the closed-loop system (9), (), (13) and () are well-defined and bounded over $[0,\infty )$.

(ii)For any initial states,

$$\begin{array}{ccc}\hfill \underset{t\to \infty }{lim}(|x_0\left(t\right)|+|\eta \left(t\right)|+|u_0\left(t\right)|)& =& 0.\hfill \end{array}$$

(15)

Proof. 

(i) For subsystem (10), a candidate Lyapunov function is chosen as $V_0\left(x_0\right)=\frac{1}{2}{x}_0^2+\frac{1}{2}{\tilde{\theta }}_0^T{\tilde{\theta }}_0$. The time derivative of $V\left(x_0\right)$ along trajectories (10), (13) and (14) is granted by

$$\begin{array}{ccc}\hfill {\dot{V}}_0\left(x_0\right)& =& x_0(-c{d}_0^2\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0+{\varphi }_0^T(\eta ,x_0)({\tilde{\theta }}_0+{\widehat{\theta }}_0))+{\tilde{\theta }}_0^T{\dot{\tilde{\theta }}}_0\hfill \\ & =& -c{d}_0^2\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0^2+x_0{\varphi }_0^T(\eta ,x_0){\widehat{\theta }}_0\hfill \\ \hfill & \le & -c{d}_0^2\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0^2+p_{01}|x_0|{\varphi }_{01}(|x_0|,|{\widehat{\theta }}_0|)+p_{02}|x_0|{\varphi }_{02}(|\eta |).\hfill \end{array}$$

(16)

According to Proposition 2, we can achieve

$$\begin{array}{ccc}\hfill {\int }_0^t|x_0\left(\tau \right)|{\varphi }_{02}(|\eta \left(\tau \right)|)d\tau & \le & {\sigma }_0(|\eta \left(0\right)|)+{\int }_0^t{\omega }_0(|x_0\left(\tau \right)|)d\tau ,\hfill \end{array}$$

(17)

where ${\sigma }_0$ is a positive definite function, ${\omega }_0\in {\mathcal{K}}_{\infty }$ and satisfies ${\omega }_0\left(s\right)=\mathcal{O}\left(s^2\right)$. Select a positive smooth function ${\phi }_0$ such that

$$\begin{array}{ccc}\hfill x_0^2{\phi }_0(x_0,{\widehat{\theta }}_0)& \ge & max\{|x_0|{\varphi }_{01}(|x_0|,|{\widehat{\theta }}_0|),{\omega }_0(|x_0|),\gamma (|x_0|)\}.\hfill \end{array}$$

(18)

The existence of function ${\phi }_0$ is guaranteed by the fact that ${\varphi }_{01}$ is a positive semidefinite smooth function, ${\omega }_0$ and $\gamma$ are ${\mathcal{K}}_{\infty }$- functions. Then with (13), (18) and (16) can be rewritten as

$$\begin{array}{ccc}\hfill {\dot{V}}_0& \le & -\frac{c}{\Gamma }{d}_0^2\kappa \dot{\kappa }+\frac{p_{01}}{\Gamma }\dot{\kappa }+p_{02}|x_0|{\varphi }_{02}(|\eta |).\hfill \end{array}$$

(19)

Integrating both side of (19), it yields

$$\begin{array}{ccc}\hfill V_0\left(t\right)-V_0\left(0\right)& \le & -\frac{c}{2\Gamma }{d}_0^2{\kappa }^2\left(t\right)+\frac{p_{01}+p_{02}}{\Gamma }\kappa \left(t\right)+b,\hfill \end{array}$$

(20)

where $b=\frac{c}{2\Gamma }{d}_0^2{\kappa }^2\left(0\right)-\frac{p_{01}+p_{02}}{\Gamma }\kappa \left(0\right)+p_{02}{\sigma }_0(|\eta \left(0\right)|)$.

It is assumed that the solutions of the closed-loop system are defined on a right-maximal interval $[0,T)$ with $0<T\le \infty$. $\kappa \left(t\right)$ will be proved to be bounded on $[0,T)$ by contradiction. Suppose that $\kappa \left(t\right)$ is unbounded. Since $\dot{\kappa }\left(t\right)\ge 0$ that $\kappa \left(t\right)$ is an increasing function and $\kappa \left(t\right)\to \infty$ when $t\to \infty$. Upon division of both side of (20), we obtain

$$\begin{array}{ccc}\hfill \frac{-V_0\left(0\right)-b}{\kappa \left(t\right)}-\frac{p_{01}+p_{02}}{\Gamma }& \le & -\frac{c}{2\Gamma }{d}_0^2{\kappa }^2\left(t\right).\hfill \end{array}$$

(21)

Obviously, the left hand of (21) tends to a finite number while the right tends to $-\infty$. It leads to a contradiction. Therefore, It reveals that $\kappa \left(t\right)$ is bounded on $[0,T)$.

According to (13) and (18) and the boundness of $\kappa \left(t\right)$, it easily draw a conclusion that ${\int }_0^t\gamma (|x_0\left(\tau \right)|)d\tau$ is bounded on interval $[0,T)$. Moreover, using (11), it follows that $\eta$ defined on interval $[0,T)$ is bounded. Based on (20) and the boundness of $\kappa$, we also obtain that $x_0$ and ${\widehat{\theta }}_0$ are bounded. Finally, $T=\infty$ can be similarly proved by the proof of Proposition 6 in [21]. The proof of (i) is completed.

(ii) The boundness of $x_0\left(t\right)$ and ${\dot{x}}_0\left(t\right)$ imply that $\gamma (|x_0\left(t\right)|)$ is uniformly continuous on $[0,\infty )$. Furthermore, the property ${\int }_0^{\infty }\gamma (|x_0\left(\tau \right)|)d\tau$ and Barbalat Lemma yield $\underset{t\to \infty }{lim}\gamma (|x_0\left(t\right)|)=0$. This, in turn, indicates $\underset{t\to \infty }{lim}|x_0\left(t\right)|=0$, $\underset{t\to \infty }{lim}|u_0\left(t\right)|=0$. Then, by applying ${\int }_0^{\infty }\gamma (|x_0\left(\tau \right)|)d\tau$ and Proposition 6 in [21], it follows that $\eta \to 0$ as $t\to \infty$. Finally, the whole proof of Theorem 1 is completed. □

Remark 2.

If a nonnegative function is chosen as $W_0\left(x_0\right)=\frac{1}{2}{x}_0^2$, its time derivative could be arranged into the form of ${\dot{W}}_0\left(x_0\right)\ge W_0\left(x_0\right)\lambda \left(t\right)$ coupled with (13) and Assumption 1, where $\lambda \left(t\right)=-2(c{d}_0^2\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)+{\overline{\varphi }}_0(\eta ,x_0)|\theta |)$. Then, it is easy to note that $W_0\left(x_0\left(t\right)\right)\ge W_0\left(x_0\left(0\right)\right)$ $exp\left({\int }_0^t\lambda \left(\tau \right)d\tau \right)>0$ by Comparison Lemma. In this case, we arrive at a straightforward conclusion that $u_0\left(t\right)\ne 0$ when $x_0\left(0\right)\ne 0$. As a result, it is of interest to interpret that the input-state technique to be introduced below is available.

From the above analysis, we are actually aware that the state of $x_0$-subsystem could be regulated to zero. But $\overline{x}$-subsystem is uncontrollable. In order to avoid this phenomenon, a discontinuous input-state scaling transformation is proposed:

$$\begin{array}{ccc}\hfill z_i& =& \frac{{\overline{x}}_i}{u_0^{n-i}},i=1,\cdots ,n-1,z_n={\overline{x}}_n.\hfill \end{array}$$

(22)

Under the z coordination, $\overline{x}$-subsystem is rearranged into

$$\begin{array}{cc}\hfill & {\dot{z}}_1=z_2-(n-1)\frac{f_1}{u_0}{z}_1-(n-1)\frac{f_2}{u_0}{z}_1\theta +{\psi }_1^T(u_0,\eta ,x_0,z_1)\theta ,\hfill \\ \hfill & {\dot{z}}_i=z_{i+1}-(n-i)\frac{f_1}{u_0}{z}_i-(n-i)\frac{f_2}{u_0}{z}_i\theta +{\psi }_i^T(u_0,\eta ,x_0,z_1,\cdots ,z_n){\Theta }_i,\hfill \\ \hfill & i=2,\cdots ,n-1\hfill \\ \hfill & {\dot{z}}_n=u_1+{\psi }_n^T(u_0,\eta ,x_0,z_1,\cdots ,z_n){\Theta }_n,\hfill \end{array}$$

(23)

where $f_1=\frac{\partial u_0}{\partial x_0}{d}_0{u}_0+\frac{\partial u_0}{\partial {\widehat{\theta }}_0}{\beta }_0+\frac{\partial u_0}{\partial \kappa }\Gamma {\phi }_0(x_0,{\widehat{\theta }}_0)x_0^2$, $f_2=\frac{\partial u_0}{\partial x_0}{\varphi }_0^T(\eta ,x_0)$, ${\psi }_1^T(u_0,\eta ,x_0,z_1)=\frac{{\overline{\varphi }}_1^T(u_0,\eta ,x_0,{\overline{x}}_1)}{u_0^{n-1}}$, ${\psi }_i^T(u_0,\eta ,x_0,z_1,\cdots ,z_n)=\frac{{\overline{\varphi }}_i^T(u_0,\eta ,x_0,\overline{x})}{u_0^{n-i}},i=2,\cdots ,n$.

3.2. Controller Design for $u_1$

Since states $x_0,$ $x_1$ are measurable and $u_0$ is definitely given by Theorem 1 that state $z_1$ which is obtained by transformations $z_1=\frac{x_1}{u_0^{n-1}}$ and ${\overline{x}}_1=x_1$ is measurable. Therefore, a reduced-order state observer could be proposed for system (23). For notation convenience, we covert the $(z_2,\cdots ,z_n)$-subsystem into its compact form:

$$\begin{array}{ccc}\hfill \dot{z}& =& (A-\frac{f_1}{u_0}L)z+b{u}_1-\frac{f_2}{u_0}\theta Lz+{\psi }^T\Theta ,\hfill \end{array}$$

(24)

where $z=\left(\begin{array}{c}{z}_2\\ ⋮\\ z_n\end{array}\right)$, $\Theta =\left(\begin{array}{c}{\Theta }_2\\ ⋮\\ {\Theta }_n\end{array}\right)$, $A=\left(\begin{array}{cccccc}0& 1& 0& \cdots & 0& 0\\ 0& 0& 1& \cdots & 0& 0\\ ⋮& ⋮& ⋮& & ⋮& ⋮\\ 0& 0& 0& \cdots & 0& 1\\ 0& 0& 0& \cdots & 0& 0\end{array}\right)$, $b=\left(\begin{array}{c}0\\ ⋮\\ 0\\ 1\end{array}\right)$, ${\psi }^T=\left(\begin{array}{cccc}{\psi }_2^T& 0& \cdots & 0\\ 0& {\psi }_3^T& \cdots & 0\\ ⋮& ⋮& & ⋮\\ 0& 0& \cdots & {\psi }_n^T\end{array}\right)$, $L=\left(\begin{array}{ccccc}n-2& 0& \cdots & 0& 0\\ 0& n-3& \cdots & 0& 0\\ ⋮& ⋮& & ⋮& ⋮\\ 0& 0& \cdots & 1& 0\\ 0& 0& \cdots & 0& 0\end{array}\right)$. In addition, ${\widehat{z}}_2,\cdots ,{\widehat{z}}_n$ denote the estimate of states $z_2,\cdots ,z_n$. e is the estimate error and satisfies the equation $e=col(z_2,\cdots ,z_n)-col({\widehat{z}}_2,\cdots ,{\widehat{z}}_n)$. $\widehat{\theta }$ and $\widehat{\Theta }$ represent the estimates of $\theta$ and $\Theta$. $\tilde{\theta }$ and $\tilde{\Theta }$ are the responding estimate errors, and satisfy $\tilde{\theta }=\theta -\widehat{\theta }$, $\tilde{\Theta }=\Theta -\widehat{\Theta }$, respectively. ${\widehat{\psi }}^T(u_0,\eta ,x_0,z_1,{\widehat{z}}_2,\cdots ,{\widehat{z}}_n)$ is the estimate of ${\psi }^T(u_0,\eta ,x_0,z_1,z_2,\cdots ,z_n)$. It is certainly useful to make several assumptions in the following part.

Assumption A3.

There are continuous bounded matrix functions $K_1\left(t\right)\in {\Re }^{(n-1)\times (n-1)}$, $K_2\left(t\right)\in {\Re }^{(n-1)\times (n-1)}$,$H_1\left(t\right)\in {\Re }^{(n-1)\times l}$, $H_2\left(t\right)\in {\Re }^{(n-1)\times {\sum }_{i=2}^n{m}_i}$, such that $\frac{f_2}{u_0}\theta Lz-\frac{f_2}{u_0}\widehat{\theta }L\widehat{z}=K_1\left(t\right)e+H_1\left(t\right)\tilde{\theta }$, ${\psi }^T\Theta -{\widehat{\psi }}^T\widehat{\Theta }=K_2\left(t\right)e+H_2\left(t\right)\tilde{\Theta }$, and $H_1\left(t\right)\to 0$, $H_2\left(t\right)\to 0$, when $t\to \infty$.

Assumption A4.

Matrix $A-\frac{f_1}{u_0}L-K_1\left(t\right)+K_2\left(t\right)$ is negative definite, which makes the following $n-1$ dimension reduced-order state observer feasible.

We now establish the $n-1$ dimension reduced-order state observer

$$\begin{array}{ccc}\hfill \dot{\widehat{z}}& =& (A-\frac{f_1}{u_0}L)\widehat{z}+b{u}_1-\frac{f_2}{u_0}\widehat{\theta }L\widehat{z}+\widehat{{\psi }^T}\widehat{\Theta }+{\zeta }_1^T\dot{\widehat{\theta }}-{\zeta }_2^T\dot{\widehat{\Theta }},\hfill \end{array}$$

(25)

where ${\zeta }_1^T={[{\zeta }_{12},\cdots ,{\zeta }_{1n}]}^T\in {\Re }^{(n-1)\times l}$ and ${\zeta }_2^T={[{\zeta }_{22},\cdots ,{\zeta }_{2n}]}^T\in {\Re }^{(n-1)\times {\sum }_{i=2}^n{m}_i}$ are, respectively, generated by

$$\begin{array}{c}\hfill {\dot{{\zeta }_1}}^T=(A-\frac{f_1}{u_0}L-K_1\left(t\right)+K_2\left(t\right)){{\zeta }_1}^T-H_1\left(t\right),\\ \hfill {\dot{{\zeta }_2}}^T=(A-\frac{f_1}{u_0}L-K_1\left(t\right)+K_2\left(t\right)){{\zeta }_2}^T-H_2\left(t\right).\end{array}$$

(26)

Under the condition of (24), (25) and Assumption 3, we obtain the following differential equation of observer error vector e after a simple manipulator

$$\begin{array}{ccc}\hfill \dot{e}& =& (A-\frac{f_1}{u_0}L-K_1\left(t\right)+K_2\left(t\right))e-H_1\left(t\right)\tilde{\theta }+H_2\left(t\right)\tilde{\Theta }-{\zeta }_1^T\dot{\widehat{\theta }}+{\zeta }_2^T\dot{\widehat{\Theta }}.\hfill \end{array}$$

(27)

If we perform $\tilde{e}=e-{\zeta }_1^T\tilde{\theta }+{\zeta }_2^T\tilde{\Theta }$ and substitute (26) into it, a new differential equation is achieved

$$\begin{array}{ccc}\hfill \dot{\tilde{e}}& =& \overline{A}\tilde{e},\hfill \end{array}$$

(28)

where $\overline{A}=A-\frac{f_1}{u_0}L-K_1\left(t\right)+K_2\left(t\right)$. Furthermore, according to Assumption 4, a positive parameter $\delta$ is properly chosen such that the following linear matrix inequality(LMI) holds

$$\begin{array}{ccc}\hfill P\overline{A}+{\overline{A}}^{T}P+\frac{n}{4}{\delta }^{-1}I& \le & -Q,\hfill \end{array}$$

(29)

where $P,Q$ are positive definite matrix; I denotes identity matrix. Now we can rewrite the feedback control system into

$$\begin{array}{cc}\hfill & \dot{\tilde{e}}=\overline{A}\tilde{e},\hfill \\ \hfill & {\dot{z}}_1={\widehat{z}}_2+{\tilde{e}}_2+{\zeta }_{12}^T\tilde{\theta }-{\zeta }_{22}^T\tilde{\Theta }-(n-1)\frac{f_1}{u_0}{z}_1-(n-1)\frac{f_2}{u_0}{z}_1\theta +{\psi }_1^T\theta ,\hfill \\ \hfill & {\dot{\widehat{z}}}_i={\widehat{z}}_{i+1}-(n-i)\frac{f_1}{u_0}\widehat{z_i}-(n-i)\frac{f_2}{u_0}\widehat{z_i}\widehat{\theta }+{\Phi }_i\widehat{\Theta }+{\zeta }_{1i}^T\dot{\widehat{\theta }}-{\zeta }_{2i}^T\dot{\widehat{\Theta }},\hfill \\ \hfill & i=2,\cdots ,n-1\hfill \\ \hfill & {\dot{\widehat{z}}}_n=u_1+{\Phi }_n\widehat{\Theta }-{\zeta }_{2n}^T\dot{\widehat{\Theta }},\hfill \end{array}$$

(30)

where ${\Phi }_i=[0,\cdots ,0,{\widehat{\psi }}_i^T,0,\cdots ,0]$, $i=2,\cdots ,n$.

Remark 3.

There are always solutions for LMI (29) by appropriately choosing δ. For example, if matrix $Q>0$ is arbitrarily given, we can select a suitable δ so that a positive definite matrix P exists and satisfies inequality (29). On the other hand, we can also solve the inequality (29) by LMI tool box. According to Schur Lemma [22], (29) can be rewritten into its LMI form

$$\begin{array}{cc}\hfill \left(\begin{array}{cc}P\overline{A}+{\overline{A}}^{T}P+Q& I\\ I& -\frac{4}{n}\delta I\end{array}\right)\le & 0.\end{array}$$

(31)

Then we can arrive at $P,Q$ by LMI toolbox in Matlab.

Now, we are in a position to sketch the controller of the system (30) based on the backstepping technique.

Step 1. Consider $(\tilde{e},{\xi }_1)$-subsystem and define new state variables ${\xi }_1=z_1$, ${\xi }_2={\widehat{z}}_2-{\alpha }_1$, where ${\alpha }_1(\eta ,x_0,{\widehat{\theta }}_0,\kappa ,{\xi }_1,\widehat{\theta })$ is applied as a virtual control input. Our candidate Lyapunov function is introduced as

$$\begin{array}{ccc}\hfill V_1& =& {\tilde{e}}^{T}P\tilde{e}+\frac{1}{2}{\xi }_1^2+\frac{1}{2}{\tilde{\theta }}^T\tilde{\theta }+\frac{1}{2}{\tilde{\Theta }}^T\tilde{\Theta }\hfill \end{array}$$

(32)

Then its derivative ${\dot{V}}_1$ with respect to t is

$$\begin{array}{ccc}\hfill {\dot{V}}_1& =& {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P)\tilde{e}+{\xi }_1{\xi }_2+{\xi }_1({\alpha }_1-(n-1)\frac{f_1}{u_0}{\xi }_1-(n-1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }+{\psi }_1^T\widehat{\theta })+{\xi }_1{\tilde{e}}_2\hfill \\ & & +{\tilde{\theta }}^T(\dot{\tilde{\theta }}+{\xi }_1{\zeta }_{12}-(n-1){\xi }_1^2\frac{f_2^T}{u_0}+{\xi }_1{\psi }_1)+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}-{\xi }_1{\zeta }_{22}).\hfill \end{array}$$

(33)

Using the property of perfect square yields ${\xi }_1{\tilde{e}}_2\le \frac{1}{4}{\delta }^{-1}{\tilde{e}}^T\tilde{e}+\delta {\xi }_1^2$. If virtual control law $\alpha$ and tuning functions ${\beta }_1$, ${\tau }_1$ of adaptive control law $\dot{\widehat{\theta }}$, $\dot{\widehat{\Theta }}$ are picked as

$$\begin{array}{ccc}\hfill {\alpha }_1& =& -p_1{\xi }_1-\delta {\xi }_1+(n-1)\frac{f_1}{u_0}{\xi }_1+(n-1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }-{\psi }_1^T\widehat{\theta },\hfill \end{array}$$

(34)

$$\begin{array}{ccc}\hfill {\beta }_1& =& {\xi }_1{\zeta }_{12}-(n-1){\xi }_1^2\frac{f_2^T}{u_0}+{\xi }_1{\psi }_1,{\tau }_1=-{\xi }_1{\zeta }_{22},\hfill \end{array}$$

(35)

where $p_1>0$, then ${\dot{V}}_1$ is rendered into

$$\begin{array}{ccc}\hfill {\dot{V}}_1& \le & {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P+\frac{1}{4}{\delta }^{-1}I)\tilde{e}-p_1{\xi }_1^2+{\xi }_1{\xi }_2+{\tilde{\theta }}^T(\dot{\tilde{\theta }}+{\beta }_1)+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}+{\tau }_1).\hfill \end{array}$$

(36)

It is obvious that ${\alpha }_1(\eta ,x_0,{\widehat{\theta }}_0,\kappa ,{\xi }_1,\widehat{\theta })$ is a smooth function and satisfies ${\alpha }_1(0,0,{\widehat{\theta }}_0,\kappa ,0,\widehat{\theta })=0$.

Step i ($2\le i\le n-1$). For system $(\tilde{e},{\xi }_1,\cdots ,{\xi }_i)$, redefine state variable ${\xi }_{i+1}={\widehat{z}}_{i+1}-{\alpha }_i$, where ${\alpha }_i(\eta ,x_0,{\widehat{\theta }}_0,\kappa ,{\xi }_1,\cdots ,{\xi }_i,\widehat{\theta },\widehat{\Theta })$ is the virtual control input to be designed in step i. Before step i, we have already received the smooth virtual control input ${\alpha }_{i-1}$ and

$${\dot{V}}_{i-1}\le {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P+\frac{i-1}{4}{\delta }^{-1}I)\tilde{e}-\sum _{j=1}^{i-1}{p}_j{\xi }_j^2+{\xi }_{i-1}{\xi }_i+{\tilde{\theta }}^T(\dot{\tilde{\theta }}+{\beta }_{i-1})+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}+{\tau }_{i-1}).$$

(37)

Now, we augment $V_{i-1}$ with a quadratic term of state ${\xi }_i$ to acquire the Lyapunov function $V_i=V_{i-1}+\frac{1}{2}{\xi }_i^2$. Its derivative is

$$\begin{array}{cc}\hfill {\dot{V}}_i& \le {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P+\frac{i-1}{4}{\delta }^{-1}I)\tilde{e}-\sum _{j=1}^{i-1}{p}_j{\xi }_j^2+{\xi }_i{\xi }_{i+1}+{\xi }_i({\alpha }_i+{\xi }_{i-1}-(n-i)\frac{f_1}{u_0}({\xi }_i+{\alpha }_{i-1})\hfill \\ \hfill & -(n-i)\frac{f_2}{u_0}({\xi }_i+{\alpha }_{i-1})\widehat{\theta }+{\Phi }_i\widehat{\Theta }+{\zeta }_{1i}^T\dot{\widehat{\theta }}-{\zeta }_{2i}^T\dot{\widehat{\Theta }}-\frac{\partial {\alpha }_{i-1}}{\partial \eta }q(\eta ,x_0)-\frac{\partial {\alpha }_{i-1}}{\partial x_0}(d_0{u}_0+{\varphi }_0^T\widehat{\theta })-\frac{\partial {\alpha }_{i-1}}{\partial {\widehat{\theta }}_0}{\beta }_0\hfill \\ \hfill & -\frac{\partial {\alpha }_{i-1}}{\partial \kappa }\Gamma {\phi }_0{x}_0^2-\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}({\xi }_2+{\alpha }_1-(n-1)\frac{f_1}{u_0}{\xi }_1-(n-1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }+{\psi }_1^T\widehat{\theta })-\sum _{j=2}^{i-1}\frac{\partial {\alpha }_{i-1}}{\partial {\widehat{z}}_j}({\widehat{z}}_{j+1}\hfill \\ \hfill & -(n-j)\frac{f_1}{u_0}{\widehat{z}}_j-(n-j)\frac{f_2}{u_0}{\widehat{z}}_j\widehat{\theta }+{\Phi }_j\widehat{\Theta }+{\zeta }_{1j}^T\dot{\widehat{\theta }}-{\zeta }_{2j}^T\dot{\widehat{\Theta }})-\frac{\partial {\alpha }_{i-1}}{\partial \widehat{\theta }}\dot{\widehat{\theta }}-\frac{\partial {\alpha }_{i-1}}{\partial \widehat{\Theta }}\dot{\widehat{\Theta }})-{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}{\tilde{e}}_2+{\tilde{\theta }}^T(\dot{\tilde{\theta }}\hfill \\ \hfill & +{\beta }_{i-1}-{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial x_0}{\varphi }_0-{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}({\zeta }_{12}-(n-i){\xi }_1\frac{f_2^T}{u_0}+{\psi }_1))+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}+{\tau }_{i-1}+{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}{\zeta }_{22}).\hfill \end{array}$$

(38)

With the help of perfect square property, it holds

$$\begin{array}{ccc}\hfill -{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}{\tilde{e}}_2& \le & \frac{1}{4}{\delta }^{-1}{\tilde{e}}^T\tilde{e}+\delta {\left(\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}\right)}^2{\xi }_i^2,\hfill \end{array}$$

(39)

We will attempt to employ the following control law ${\alpha }_i$ and tuning functions to cope with (38)

$$\begin{array}{cc}\hfill {\alpha }_i& =-p_i{\xi }_i-\delta {\left(\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}\right)}^2{\xi }_i-{\xi }_{i-1}+(n-i)\frac{f_1}{u_0}({\xi }_i+{\alpha }_{i-1})+(n-i)\frac{f_2}{u_0}({\xi }_i+{\alpha }_{i-1})\widehat{\theta }-{\Phi }_i\widehat{\Theta }-{\zeta }_{1i}^T\dot{\widehat{\theta }}\hfill \\ \hfill & +{\zeta }_{2i}^T\dot{\widehat{\Theta }}+\frac{\partial {\alpha }_{i-1}}{\partial \eta }q(\eta ,x_0)+\frac{\partial {\alpha }_{i-1}}{\partial x_0}(d_0{u}_0+{\varphi }_0^T\widehat{\theta })+\frac{\partial {\alpha }_{i-1}}{\partial {\widehat{\theta }}_0}{\beta }_0+\frac{\partial {\alpha }_{i-1}}{\partial \kappa }\Gamma {\phi }_0{x}_0^2+\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}({\xi }_2+{\alpha }_1\hfill \\ \hfill & -(n-1)\frac{f_1}{u_0}{\xi }_1-(n-1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }+{\psi }_1^T\widehat{\theta })+\sum _{j=2}^{i-1}\frac{\partial {\alpha }_{i-1}}{\partial {\widehat{z}}_j}({\widehat{z}}_{j+1}-(n-j)\frac{f_1}{u_0}{\widehat{z}}_j-(n-j)\frac{f_2}{u_0}{\widehat{z}}_j\widehat{\theta }\hfill \\ \hfill & +{\Phi }_j\widehat{\Theta }+{\zeta }_{1j}^T\dot{\widehat{\theta }}-{\zeta }_{2j}^T\dot{\widehat{\Theta }})+\frac{\partial {\alpha }_{i-1}}{\partial \widehat{\theta }}\dot{\widehat{\theta }}+\frac{\partial {\alpha }_{i-1}}{\partial \widehat{\Theta }}\dot{\widehat{\Theta }},\hfill \end{array}$$

(40)

$$\begin{array}{cc}\hfill {\beta }_i& ={\beta }_{i-1}-{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial x_0}{\varphi }_0-{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}({\zeta }_{12}-(n-i){\xi }_1\frac{f_2^T}{u_0}+{\psi }_1),{\tau }_i={\tau }_{i-1}+{\xi }_i\frac{\partial {\alpha }_{i-1}}{\partial {\xi }_1}{\zeta }_{22},\hfill \end{array}$$

(41)

where $p_i>0$. It is interesting to note that ${\alpha }_i(\eta ,x_0,{\widehat{\theta }}_0,{\xi }_1,\cdots ,{\xi }_i,\widehat{\theta },\widehat{\Theta })$ is a smooth function and satisfies ${\alpha }_i(0,0,{\widehat{\theta }}_0,0,\cdots ,0,\widehat{\theta },\widehat{\Theta })=0$. Eventually, in view of (39)–(41), it is easy to show that

$$\begin{array}{ccc}\hfill {\dot{V}}_i& \le & {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P+\frac{i}{4}{\delta }^{-1}I)\tilde{e}-\sum _{j=1}^i{p}_j{\xi }_j^2+{\xi }_i{\xi }_{i+1}+{\tilde{\theta }}^T(\dot{\tilde{\theta }}+{\beta }_i)+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}+{\tau }_i).\hfill \end{array}$$

(42)

Step n. Investigate the system $(\tilde{e},{\xi }_1,\cdots ,{\xi }_n)$, where state variable ${\xi }_n={\widehat{z}}_n-{\alpha }_{n-1}$, the smooth virtual control input ${\alpha }_{n-1}(\eta ,x_0,{\widehat{\theta }}_0,{\xi }_1,\cdots ,{\xi }_{n-1},\widehat{\theta },\widehat{\Theta })$ is already designed in step $n-1$. The basic idea of step n is to exploit the real control law $u_1$ and adaptive laws $\dot{\widehat{\theta }}$, $\dot{\widehat{\Theta }}$ to guarantee that the derivative of the suitable Lyapunov function is nonpositive. Now let us introduce the augmented candidate Lyapunov function $V_n=V_{n-1}+\frac{1}{2}{\xi }_n^2$. With repeated application of ${\dot{V}}_{n-1}$, its time derivative along trajectory is

$$\begin{array}{cc}\hfill {\dot{V}}_n& \le {\tilde{e}}^T(P\overline{A}+{\overline{A}}^{T}P+\frac{n-1}{4}{\delta }^{-1}I)\tilde{e}-\sum _{j=1}^{n-1}{p}_j{\xi }_j^2+{\xi }_n(u_1+{\xi }_{n-1}+{\Phi }_n\widehat{\Theta }-{\zeta }_{2n}^T\dot{\widehat{\Theta }}-\frac{\partial {\alpha }_{n-1}}{\partial \eta }q(\eta ,x_0)\hfill \\ \hfill & -\frac{\partial {\alpha }_{n-1}}{\partial x_0}(d_0{u}_0+{\varphi }_0^T\widehat{\theta })-\frac{\partial {\alpha }_{n-1}}{\partial {\widehat{\theta }}_0}{\beta }_0-\frac{\partial {\alpha }_{n-1}}{\partial \kappa }\Gamma {\phi }_0{x}_0^2-\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}({\xi }_2+{\alpha }_1-(n-1)\frac{f_1}{u_0}{\xi }_1-(n\hfill \\ \hfill & -1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }+{\psi }_1^T\widehat{\theta })-\sum _{j=2}^{n-1}\frac{\partial {\alpha }_{n-1}}{\partial {\widehat{z}}_j}({\widehat{z}}_{j+1}-(n-j)\frac{f_1}{u_0}{\widehat{z}}_j-(n-j)\frac{f_2}{u_0}{\widehat{z}}_j\widehat{\theta }+{\Phi }_j\widehat{\Theta }+{\zeta }_{1j}^T\dot{\widehat{\theta }}-{\zeta }_{2j}^T\dot{\widehat{\Theta }})\hfill \\ \hfill & -\frac{\partial {\alpha }_{n-1}}{\partial \widehat{\theta }}\dot{\widehat{\theta }}-\frac{\partial {\alpha }_{n-1}}{\partial \widehat{\Theta }}\dot{\widehat{\Theta }})-{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}{\tilde{e}}_2+{\tilde{\theta }}^T(\dot{\tilde{\theta }}+{\beta }_{n-1}-{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial x_0}{\varphi }_0-{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}({\zeta }_{12}\hfill \\ \hfill & -(n-1){\xi }_1\frac{f_2^T}{u_0}+{\psi }_1\left)\right)+{\tilde{\Theta }}^T(\dot{\tilde{\Theta }}+{\tau }_{n-1}+{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}{\zeta }_{22}).\hfill \end{array}$$

(43)

Similarly, by the choice of control law

$$\begin{array}{cc}\hfill u_1& =-p_n{\xi }_n-\delta {\left(\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}\right)}^2{\xi }_n-{\xi }_{n-1}-{\Phi }_n\widehat{\Theta }+{\zeta }_{2n}^T\dot{\widehat{\Theta }}+\frac{\partial {\alpha }_{n-1}}{\partial \eta }q(\eta ,x_0)+\frac{\partial {\alpha }_{n-1}}{\partial x_0}(d_0{u}_0+{\varphi }_0^T\widehat{\theta })\hfill \\ \hfill & +\frac{\partial {\alpha }_{n-1}}{\partial {\widehat{\theta }}_0}{\beta }_0+\frac{\partial {\alpha }_{n-1}}{\partial \kappa }\Gamma {\phi }_0{x}_0^2+\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}({\xi }_2+{\alpha }_1-(n-1)\frac{f_1}{u_0}{\xi }_1-(n-1)\frac{f_2}{u_0}{\xi }_1\widehat{\theta }+{\psi }_1^T\widehat{\theta })\hfill \\ \hfill & +\sum _{j=2}^{n-1}\frac{\partial {\alpha }_{n-1}}{\partial {\widehat{z}}_j}({\widehat{z}}_{j+1}-(n-j)\frac{f_1}{u_0}{\widehat{z}}_j-(n-j)\frac{f_2}{u_0}{\widehat{z}}_j\widehat{\theta }+{\Phi }_j\widehat{\Theta }+{\zeta }_{1j}^T\dot{\widehat{\theta }}-{\zeta }_{2j}^T\dot{\widehat{\Theta }})+\frac{\partial {\alpha }_{n-1}}{\partial \widehat{\theta }}\dot{\widehat{\theta }}+\frac{\partial {\alpha }_{n-1}}{\partial \widehat{\Theta }}\dot{\widehat{\Theta }},\hfill \end{array}$$

(44)

where $p_n>0$, and adaptive laws

$$\begin{array}{ccc}\hfill \dot{\widehat{\theta }}& =& {\beta }_{n-1}-{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial x_0}{\varphi }_0-{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}({\zeta }_{12}-(n-1){\xi }_1\frac{f_2^T}{u_0}+{\psi }_1),\hfill \\ \hfill \dot{\widehat{\Theta }}& =& {\tau }_{n-1}+{\xi }_n\frac{\partial {\alpha }_{n-1}}{\partial {\xi }_1}{\zeta }_{22},\hfill \end{array}$$

(45)

the time derivative becomes ${\dot{V}}_n\le -{\tilde{e}}^{T}Q\tilde{e}-{\sum }_{j=1}^n{p}_j{\xi }_j^2$ and is guaranteed to be nonpositive.

The analysis of the adaptive controller will be further extended into the following theorem.

Theorem 2.

For x-system in (1), if the controller and adaptive controllers are established as (44) and (45) under the assumption of 3 and 4, then the x-system is globally regulated at the origin when $x_0\left(0\right)\ne 0$.

Proof. 

Under Theorem 1, we can conclude that $\underset{t\to \infty }{lim}{x}_0=0$. Then for subsystem (30), it is easy to testify that $\tilde{e},z_1,{\widehat{z}}_i(i=2,\cdots ,n),\tilde{\theta },\tilde{\Theta }$ are bounded and $\underset{t\to \infty }{lim}(|\tilde{e}|+|z_1|+{\sum }_{i=2}^n|{\widehat{z}}_i|)=0$. In turn, the fact that $\tilde{e}=e-{\zeta }_1^T\tilde{\theta }+{\zeta }_2^T\tilde{\Theta }$, $e=col(z_2,\cdots ,z_n)-col({\widehat{z}}_2,\cdots ,{\widehat{z}}_n)$, Assumption 4 and (26) implies $\underset{t\to \infty }{lim}(|\tilde{e}|+{\sum }_{i=1}^n|z_i|)=0$. Finally, from the transformations (7) and (22), we can prove that $\underset{t\to \infty }{lim}{\sum }_{i=1}^n|x_i|=0$. So the x-system is globally regulated at the origin when $x_0\left(0\right)\ne 0$. □

4. Switching Controller

As we all know, $u_0$ is commonly applied as a constant controller in multiple works when $x_0\left(0\right)=0$. However, in this paper, due to the nonlinearity ${\varphi }_0^T(\eta ,x_0)\theta$ in the first equation of (8), finite escape may occur in subsystem $x_0$. To avoid this phenomenon, we set

$$\begin{array}{ccc}\hfill u_0& =& -c{d}_0\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0+{\eta }_0,\hfill \\ \hfill & if& -c{d}_0\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0+{\eta }_0\ge u_0^{*}\hfill \\ \hfill u_0& =& -c{d}_0\kappa {\phi }_0(x_0,{\widehat{\theta }}_0)x_0,else\hfill \\ \hfill \dot{\kappa }& =& \Gamma {\phi }_0(x_0,{\widehat{\theta }}_0)x_0^2,\hfill \\ \hfill {\dot{\widehat{\theta }}}_0& =& x_0{\varphi }_0(\eta ,x_0),\hfill \end{array}$$

(46)

where $0<u_0^{*}<{\eta }_0$. The positive constant ${\eta }_0$ in $u_0$ drives the state $x_0\left(t\right)$ away from zero. Assuming that $t=t^{*}$ when $u_0=u_0^{*}$, it can be known that $x_0\left(t\right)$ is bounded for $0\le t<t^{*}$. We also learn that $x_0\left(t\right)$ is bounded and $\underset{t\to \infty }{lim}(|x_0\left(t\right)|+|\eta \left(t\right)|+|u_0\left(t\right)|)=0$ for $t\ge t^{*}$ according to the similar procedure of proof in theorem 1. Therefore, $x_0\left(t\right)$ will not blow up under the control (46) when $x_0\left(0\right)=0$. Next, it is easy to show that $x_0\left(t\right)$ does not cross zero by the fact of Remark 2. Meanwhile, the control input $u_1\left(t\right)$ is essentially designed as same as the case of $x_0\left(0\right)\ne 0$.

The above analysis is summarized into the following theorem.

Theorem 3.

For system (8), if the control inputs and adaptive controllers are organized as (46), $u_1=u_1^{*}(u_0,\eta ,x_0,z,\widehat{\theta },\widehat{\Theta })$, $\dot{\widehat{\theta }}={\beta }_n^{*}$, $\dot{\widehat{\Theta }}={\tau }_n^{*}$ under assumptions listed above, then the reconstructed closed-loop system is globally regulated at the origin when $x_0\left(0\right)=0$.

5. Simulation Example

In this section, a three-dimensional nonholonomic system with iISS inverse dynamics is proposed to illustrate the effectiveness of the derived control laws.

$$\begin{array}{ccc}\hfill \dot{\eta }& =& -\frac{\eta }{1+{\eta }^2}+x_0^2,\hfill \\ \hfill {\dot{x}}_0& =& d_0{u}_0+\frac{1}{2}{x}_0+\frac{1}{2}{x}_0\frac{\eta }{1+{\eta }^2},\hfill \\ \hfill {\dot{x}}_1& =& d_1{u}_0{x}_2+\theta x_1^2,\hfill \\ \hfill {\dot{x}}_2& =& d_2{u}_1-x_2,\hfill \end{array}$$

(47)

where $\theta$ is an unknown parameter. The original goal of this simulation is to design control inputs $u_0$, $u_1$ such that $(\eta \left(t\right),x_0\left(t\right),x_1\left(t\right),x_2\left(t\right))\to 0$ when $t\to \infty$. There is no loss of generality in assuming initial state $x_0\left(0\right)$ nonzero. Then system (47) is further divided into two subsystems:

$$\begin{array}{ccc}\hfill \dot{\eta }& =& -\frac{\eta }{1+{\eta }^2}+x_0^2,\hfill \\ \hfill {\dot{x}}_0& =& d_0{u}_0+\frac{1}{2}{x}_0+\frac{1}{2}{x}_0\frac{\eta }{1+{\eta }^2},\hfill \end{array}$$

(48)

and

$$\begin{array}{ccc}\hfill {\dot{x}}_1& =& d_1{u}_0{x}_2+\theta x_1^2,\hfill \\ \hfill {\dot{x}}_2& =& d_2{u}_1-x_2,\hfill \end{array}$$

(49)

For system (48), it can be drawn a conclusion that the inverse dynamics $\dot{\eta }=-\frac{\eta }{1+{\eta }^2}+x_0^2$ is iISS, not ISS. In fact, choosing $V\left(\eta \right)=ln(1+{\eta }^2)$, it is easy to testify that $\dot{V}\left(\eta \right)\le -\beta (|\eta |)+\gamma (|x_0|)$, with $\beta (|\eta |)=\frac{2{\eta }^2}{{(1+{\eta }^2)}^2}$, $\gamma (|x_0|)=x_0^2$. Obviously, $\beta$ is merely a positive definite continuous function, not belongs to ${\mathcal{K}}_{\infty }$-function. Then according to theorem 1, the control law is constructed as $u_0=-c{d}_0\kappa {\phi }_0\left(x_0\right)x_0,\dot{\kappa }=\Gamma {\phi }_0\left(x_0\right)x_0^2$. The parameters are picked up as $c=0.1$, $d_0=1$, ${\phi }_0=10$, $\Gamma =0.1$. For system (49), it can be converted into ${\dot{z}}_1=z_2-\frac{{\dot{u}}_0}{u_0}{z}_1+\theta u_0{z}_1^2$, ${\dot{z}}_2=u_1-z_2$ by coordinate transformation (7) and (22). A reduced-order observer is proposed by ${\dot{\widehat{z}}}_2=u_1-{\widehat{z}}_2$. Define the error $e=z_2-{\widehat{z}}_2$ and it satisfies $\dot{e}=-e$. Apparently, assumptions all hold. Then control inputs $u_1$ and adaptive law $\dot{\widehat{\theta }}$ are obtained by the similar procedure of Section 3.2.

In this paper, a simulation is carried out based on the Matlab software of a 64-bit operation computer. Some values are set as $k_1=2$, $k_2=2$, $d_1=2$, $d_2=0.5$ and the initial condition is $(\eta \left(0\right),x_0\left(0\right),z_1\left(0\right),{\widehat{z}}_2\left(0\right),\widehat{\theta }\left(0\right),e\left(0\right),\kappa \left(0\right))=(-0.3,-1,0.4,-0.3,-1,0.1,$ $0.3)$. Figure 1 depicts the control inputs designed by Theorem 1 and the reduced-order state observer-based backstepping method. The adaptive estimation of the parameter $\theta$ is given in Figure 2. It can be observed that the parameter estimation keeps stable after 0.15 s and nearly converges to its actual value. Figure 3 shows the inverse dynamic and states. As studied, $\eta$ and $x_0$ are regulated to their original equilibriums after 5 s under the controller $u_0$. The states $x_1$ and $x_2$ are stable after 0.5 s under the controller $u_1$. This phenomenon is consistent with the tendency of controllers to some extent and the effectiveness of the proposed strategies is also shown.

To comprehensively illustrate the influence of the iISS inverse dynamics, a simulation is performed in a system without inverse dynamics. Figure 4, Figure 5 and Figure 6 are controllers, parameter estimation, states, and errors between $z_2$ and desired values, respectively. It can be noticed from Figure 6 that all the states converge to their equilibriums at similar times. Thus, it can be seen that the inverse dynamic affects the convergence time of the system.

6. Conclusions

In this paper, an adaptive output controller is designed for a class of nonholonomic chained systems with iISS inverse dynamics. Specifically, the nonholonomic system subjected to unknown virtual control directions and parameter uncertainty is divided into two subsystems. Two different controllers are designed for avoiding state finite escape and adaptive control objectives. One controller is designed by a switch strategy. Another is designed by combining a reduced-order state observer and backstepping method. However, there are still some problems unsolved in our work. Our future research will focus on more general nonholonomic systems with modeling uncertainties and environmental disturbances. And another coming issue is to take nonholonomic systems with iISS inverse dynamics and time delay into account.