1 Introduction

Tracking control of an unmanned surface vehicle (USV) is a critical and challenging issue which has attracted great attention from both marine and control fields [1,2,3,4,5,6,7,8,9,10]. Due to harsh environments, system uncertainties, unknown dynamics and complex nonlinearities, etc, it becomes extremely involved to synthesize an effective model-based tracking controller for an USV.

Various results have been proposed for nonlinear complex USV systems by using advanced control techniques including feedback linearization [11], robust control [12,13,14] and sliding-mode control [15,16,17,18]. Note that the foregoing approaches require explicit parametric dynamics and bounded uncertainties and/or disturbances. However, an USV would inevitably suffer from complex uncertainties, hydrodynamics and unknown disturbances, thereby resulting in great difficulties in tracking controller design and synthesis for such a complex USV system.

In recent years, approximation-based control methods via fuzzy logic systems and/or neural networks [19,20,21,22,23] have been developed to deal with model uncertainties and unknown disturbances associated with nonlinear systems. In [24], a novel adaptive fuzzy control method for tracking an USV system was proposed, whereby an online constructive fuzzy approximator is created to deal with unmodeled dynamics and external disturbances. Combining the backstepping technique with adaptive approximation [25], tracking a fully actuated marine surface vessel was addressed by an adaptive neural network controller which can tackle multiple output constraints. An finite-time disturbance observer-based accurate tracking control scheme for an USV with unknown disturbances was proposed in [26], whereby unknown uncertainties and disturbances can be exactly rejected. Leonessa et al. [27] introduced neural networks to handle unmodeled dynamics of the USV, and thereby enhancing the tracking performance and the robustness. In [28], a novel self-constructing fuzzy neural network was developed to approximate system uncertainties and unknown disturbances. Unlike predefined-structure approximation approaches, the self-constructing fuzzy neural network is able to online self-construct dynamic-structure fuzzy neural approximation by generating and pruning fuzzy rules and achieve accurate approximation and trajectory tracking, simultaneously. It should be pointed out that the aforementioned results in [24,25,26,27] are only available for the USV with exactly known inertia dynamics. In practice, inertia masses and hydrodynamics can hardly be identified accurately. To address the foregoing challenges, a direct adaptive fuzzy tracking control scheme in [29] is proposed for an USV with fully unknown inertia dynamics, whereby the backstepping technique and fuzzy approximation are incorporated such that tracking errors can converge to an arbitrarily small neighborhood of zero. It should be noted that previous results did not consider involved issues on control input nonlinearites and/or constraints.

Recently, input saturations pertaining to an USV have been extensively investigated by employing cascaded kinematic and dynamic linearizations [30], adaptive auxiliary compensation [31], and nested saturation [32,33,34,35], respectively. In this context, designed control input signals can ensure predefined boundedness. In addition to aforementioned input saturation issue, much more involved input nonlinearities including unknown control directions and actuator dead zones represent typical nonsmooth constraints on control input signals which widely appear in an USV. In practice, actuator dead zones would critically degrade control system performance, and give rise to undesirable inaccuracy, and even would destroy system stability. However, to our best knowledge, in comparison with flight vehicles [36, 37], little attention in the literature has been paid to foregoing issues on complex input nonlinearities composed by unknown control directions and dead zones pertaining to an USV.

Motivated by above observations, for an USV system with complex input nonlinearities including unknown control directions and dead zones in addition to fully unknown dynamics, a Nussbaum-based adaptive fuzzy trajectory tracking control approach is investigated in this paper. To be specific, the dead-zone input nonlinearity is firstly divided into input-dependent functions and time-varying input coefficients which can be treated as system uncertainties. Together with fully unknown dynamics and disturbances, complex input nonlinearities are encapsulated into lumped unknown dynamics which can be further identified online by an adaptive fuzzy approximator. Furthermore, a Nussbaum gain function is employed to solve the unknown control direction problem, and thereby contributing to the entire control scheme which can deal with complex input nonlinearities and fully unknown dynamics, simultaneously. Eventually, trajectory tracking errors can be rendered to arbitrarily small neighborhood of zero.

The remainder of this paper is organized as follows. The problem formulation and preliminaries are given in Sect. 2. An adaptive fuzzy trajectory tracking control scheme is addressed in Sect. 3, and the corresponding stability analysis is presented in Sect. 4. Simulation studies are conducted in Sect. 5. Section 6 concludes this work.

2 Problem Formulation

2.1 USV Model

Consider an USV dynamic system with unknown disturbances and complex input nonlinearities, as shown in Fig. 1, as follows:

Fig. 1
figure 1

Earth-fixed \(OX_oY_o\) and body-fixed AXY coordinate frames

$$\begin{aligned} \dot{\pmb {\eta }}&={\mathbf {R}}(\varphi )\pmb {\omega } \nonumber \\ \dot{\pmb {\omega }}&=-{\mathbf {M}}^{-1}\left[ {\mathbf {C}}(\pmb {\omega })\pmb {\omega }+{\mathbf {D}}(\pmb {\omega })\pmb {\omega }\right. \nonumber \\&\quad \left. +\,\pmb {g}(\pmb {\eta },\pmb {\omega })+\pmb {\tau }_{d}-{\rho }\pmb {\tau }(\pmb {\nu })\right] \end{aligned}$$
(1)

where \(\pmb {\eta } = [x,y,\varphi ]^{\mathrm {T}}\) are the position (xy) and heading angle \((\varphi )\) of the USV in the earth-fixed frame, \(\pmb {\omega } = [u,\omega ,r]^{\mathrm {T}}\) denote the corresponding linear velocities \((u,\omega )\) and angular rate (r) in the body-fixed frame, \(\pmb {\tau }=[\tau _u,\tau _{\omega },\tau _r]^{\mathrm {T}}\) and \(\pmb {\tau }_{d}=[\tau _{du},\tau _{d\omega },\tau _{dr}]^{\mathrm {T}}\) are control input nonlinearities and the unknown disturbances, respectively, \(\pmb {g}=[g_u,g_{\omega },g_r]^{\mathrm {T}}\) is the vector of gravitational/buoyancy forces and moments, \(0<\rho <1\) is the bound unknown parameter and is referred to as the control coefficient.

To be specific, as shown in Fig. 2, the control input \(\pmb {\tau }(\pmb {v}):=[\tau _u(v_u),\tau _{\omega }(v_{\omega }),\tau _r(v_r)]^{\mathrm {T}}\) in (1) consists of nonsymmetric dead zones and is defined as follows:

$$\begin{aligned} \tau _i(v_i)= {\left\{ \begin{array}{ll} \beta (v_i-b_{ri}),&\quad {\mathrm {if}}\;v_i\ge b_{ri}\\ 0,&\quad {\mathrm {if}}\;-b_{li}<v_i<b_{ri}\\ \beta (v_i+b_{li}),&\quad {\mathrm {if}}\;v_i\le -b_{li} \end{array}\right. } \end{aligned}$$
(2)

where \(\pmb {v}:=[v_u,v_{\omega },v_r]^{\mathrm {T}}\) is the input of dead-zone, \(\beta\) stands for the slopes of the dead-zone characteristic with \(0<\beta _{\mathrm {min}}<\beta <\beta _{\mathrm {max}}, \pmb {b}_r=[b_{ru},b_{r\omega },b_{rr}]^{\mathrm {T}}\) and \(\pmb {b}_l=[b_{lu},b_{l\omega },b_{lr}]^{\mathrm {T}}\) represent the breakpoints of the input nonlinearity.

In addition, \({\mathbf {R}}(\varphi )\) is a rotation matrix given by

$$\begin{aligned} {\mathbf {R}}(\varphi ) = \left[ \begin{array}{ccc} \cos \varphi &{} -\sin \varphi &{} 0 \\ \sin \varphi &{} \cos \varphi &{} 0 \\ 0 &{} 0 &{} 1 \end{array} \right] \end{aligned}$$
(3)

with the following properties:

$$\begin{aligned} {\mathbf {R}}^{\mathrm {T}}(\varphi ){\mathbf {R}}(\varphi )= & {} {\mathbf {I}},\;{\mathrm {and}}\;\nonumber \\ \Vert {\mathbf {R}}(\varphi )\Vert= & {} 1,\;\forall \; \varphi \in [0,2\pi ] \end{aligned}$$
(4)

The inertia matrix \({\mathbf {M}}(t)=\mathbf {M}^{\mathrm {T}}(t)>0, \forall t\), the skew-symmetric matrix \({\mathbf {C}}(\pmb {\omega })=-{\mathbf {C}}^{\mathrm {T}}(\pmb {\omega })\) of Coriolis and centripetal and the damping matrix \({\mathbf {D}}(\pmb {\omega })\) are provided by

$$\begin{aligned} {\mathbf {M}}&= \left[ \begin{array}{ccc} m_{11}(t) &{} 0 &{} 0 \\ 0 &{} m_{22}(t) &{} m_{23}(t) \\ 0 &{} m_{32}(t) &{} m_{33}(t) \end{array} \right] \end{aligned}$$
(5)
$$\begin{aligned} {\mathbf {C}}(\pmb {\omega })&= \left[ \begin{array}{ccc} 0 &{} 0 &{} c_{13}(\pmb {\omega }) \\ 0 &{} 0 &{} c_{23}(\pmb {\omega }) \\ -c_{13}(\pmb {\omega }) &{} -c_{23}(\pmb {\omega }) &{} 0 \end{array} \right] \end{aligned}$$
(6)
$$\begin{aligned} {\mathbf {D}}(\pmb {\omega })&= \left[ \begin{array}{ccc} d_{11}(\pmb {\omega }) &{} 0 &{} 0 \\ 0 &{} d_{22}(\pmb {\omega }) &{} d_{23}(\pmb {\omega }) \\ 0 &{} d_{32}(\pmb {\omega }) &{} d_{33}(\pmb {\omega }) \end{array} \right] \end{aligned}$$
(7)

where detailed definitions can be found in [38]. Note that the parameters \(c_{13}, c_{23}, d_{11}, d_{22}, d_{23}, d_{32}\) and \(d_{33}\) are all regarded as unknown nonlinearities due to the complex hydrodynamics, thereby resulting in unknown dynamics which can hardly be obtained accurately in practice.

In order to facilitate our control objective, generic assumptions are required as follows:

Assumption 1

[29] The inertia matrix \({\mathbf {M}}(t)\) satisfies

$$\begin{aligned} 0<M_{1}\le \lambda (\dot{\mathbf {M}}(t))\le M_{2}, \forall t \end{aligned}$$
(8)

where \(M_{1}\) and \(M_{2}\) are unknown constants, \(\lambda (\cdot )\) denotes the eigenvalue of a square matrix.

Assumption 2

[39,40,41] The slope \(\beta\) in the control input nonlinearity (2) is nonzero, i.e., \(\beta \ne 0\).

In this context, the dead-zone nonlinearity (2) can be reformulated as a slowly time-varying input-dependent function in the following form:

$$\begin{aligned} \pmb {\tau }(\pmb {v})=\beta \pmb {v}+\pmb {h} \end{aligned}$$
(9)

with \(\pmb {h}:=[h_u,h_{\omega },h_r]^{\mathrm {T}}\) given by

$$\begin{aligned} h_i = {\left\{ \begin{array}{ll} -\beta b_{ri},&{}{\mathrm {if}}\;v_i\ge b_{ri}\\ -\beta v_i,&{}{\mathrm {if}}\;-b_{li}<v_i<b_{ri}\\ \beta b_{li},&{}{\mathrm {if}}\;v_i\le -b_{li} \end{array}\right. } \end{aligned}$$
(10)

Note that the nonlinearity \(\pmb {h}(t)\) is bounded, i.e., \(|h_i|\le \bar{h}_i:=\beta \max \{b_{ri},b_{li}\},i\in \{u,\omega ,r\}\).

Together with (1) and (10), the USV system with control input nonlinearities can be rewritten as follows:

$$\begin{aligned} \dot{\pmb {\eta }}&={\mathbf {R}}(\varphi )\pmb {\omega } \nonumber \\ \dot{\pmb {\omega }}&=-{\mathbf {M}}^{-1}(t)\left[ {\mathbf {C}}(\pmb {\omega })\pmb {\omega }+{\mathbf {D}}(\pmb {\omega })\pmb {\omega }\right. \nonumber \\&\quad \left. +\,\pmb {g}(\pmb {\eta },\pmb {\omega })+\pmb {\tau }_{d}-\pmb {h}(t)\right] \nonumber \\&\quad +\,\bar{{\rho }}{\mathbf {M}}^{-1}(t)\pmb {v}(t) \end{aligned}$$
(11)

where \(\bar{{\rho }}={\rho }\beta\).

2.2 Nussbaum Function Properties

In order to deal with unknown control directions, the Nussbaum gain technique is employed in the sequel.

Definition 1

[42,43,44] A function \(N(\xi )\) is called a Nussbaum-type function if it has the following properties:

$$\begin{aligned} \lim _{s\rightarrow \infty }{\mathrm {sup}}\frac{1}{s}\int ^{s}_{0}N(\xi )\hbox {d}_{\xi }&=\infty \end{aligned}$$
(12)
$$\begin{aligned} \lim _{s\rightarrow \infty }{\mathrm {inf}}\frac{1}{s}\int ^{s}_{0}N(\xi )\hbox {d}_{\xi }&=-\infty \end{aligned}$$
(13)

From Definition 1, one can find that Nussbaum functions should have infinite gains and infinite switching frequencies. There are many functions satisfying the foregoing conditions, e.g., \({\mathrm {exp}}(\xi ^{2})\cos (({\pi }/{2})\xi ), \xi ^{2}\cos (\xi )\), and \(\xi ^{2}\sin (\xi )\).

In this paper, an even Nussbaum function is chosen as \(\xi ^{2}\cos (\xi )\). A key result on the property of Nussbaum function gain is frequently used in controller design and recalled here.

Lemma 1

[40, 45] Consider a special Nussbaum function \(N(\xi )=\xi ^{2}\cos (\xi )\) , and let V(t) and \(\xi (t)\) be smooth functions defined on \([0,t_f)\) with \(V(t)\ge 0\; \forall t\in [0,t_f)\). If the following inequality satisfies

$$\begin{aligned} \dot{V}(t)\le -aV+(\bar{{\rho }}N^{\prime }(\xi )-1)d\dot{\xi }+{b} \end{aligned}$$
(14)

where \(N^{\prime }(\xi )=\partial N(\xi )/\partial \xi , a>0\) and \({b}>0\) are constants, \(\bar{{\rho }}\) is a nonzero constant, and d is some suitable constant, then \(V(\cdot ), \xi (\cdot )\) , and \((\bar{\rho }N^{\prime }(\xi )-1)d\dot{\xi }\) must be bounded on \([0,t_f)\).

2.3 Control Objective and Implementation

In this context, our control objective is to design a Nussbaum-based adaptive fuzzy control scheme for trajectory tracking the complex USV system in (1) with the ability to tackle both complex input nonlinearities and fully unknown dynamics, simultaneously, such that the actual trajectory \(\pmb {\eta }\) can track the desired trajectory \(\pmb {\eta }_d\) as precise as possible.

To be specific, the proposed Nussbaum-based adaptive fuzzy control scheme will be implemented by incorporating adaptive fuzzy approximation and Nussbaum gain function into the backstepping framework. In this context, adaptive fuzzy approximation and Nussbaum gain function techniques are expected to deal with complex unknowns and input nonlinearities, respectively.

3 Adaptive Fuzzy Tracking Control Scheme

In this section, a trajectory tracking controller is designed by combining the backstepping technique with fuzzy approximation.

Define tracking errors as follows:

$$\begin{aligned} \pmb {z}_{1}&=\pmb {\eta }-\pmb {\eta }_{d} \end{aligned}$$
(15)
$$\begin{aligned} \pmb {z}_{2}&=\pmb {\omega }-\pmb {\alpha } \end{aligned}$$
(16)

where \(\pmb {\eta }_d\) is the desired trajectory, and \(\pmb {\alpha }\) is a virtual control signal designed as follows:

$$\begin{aligned} \pmb {\alpha }={\mathbf {R}}^{\mathrm {T}}(\varphi )(-{\mathbf {K}}_{1}\pmb {z}_{1}+\pmb {\dot{\eta }}_{d}) \end{aligned}$$
(17)

where \({\mathbf {K}}_{1}=\mathbf {K}^{\mathrm {T}}_{1}>0\) is the design parameter.

Taking time derivatives of tracking errors \(\pmb {z}_1\) and \(\pmb {z}_2\) along (11) yields

$$\begin{aligned} \dot{\pmb {z}}_{1}&=-{\mathbf {K}}_1\pmb {z}_1 + {\mathbf {R}}(\varphi )\pmb {z}_2 \end{aligned}$$
(18)
$$\begin{aligned} \dot{\pmb {z}}_{2}&={\mathbf {M}}^{-1}(t)\left[ \pmb {f}(\pmb \eta ,\pmb \omega ,\dot{\pmb \alpha })+\bar{\rho }\pmb {v}(t)\right] \end{aligned}$$
(19)

where

$$\begin{aligned} \pmb {f}(\pmb \eta ,\pmb \omega ,\dot{\pmb \alpha })&=-{\mathbf {C}}(\pmb {\omega })\pmb {\omega }-{\mathbf {D}}(\pmb {\omega })\pmb {\omega } -\pmb {g}(\pmb {\eta },\pmb {\omega })\nonumber \\&\quad -\pmb {\tau }_{d}+\pmb {h}(t) -{\mathbf {M}}{\dot{\pmb \alpha }} \end{aligned}$$
(20)

with

$$\begin{aligned} {\dot{\pmb \alpha }}&=-{\dot{\mathbf {R}}}^{\mathrm {T}}{\mathbf {K}}_{1}\pmb {\eta }-{\mathbf {R}}^{\mathrm {T}}{\mathbf {K}}_{1}\mathbf {R}\pmb {\omega } +{\dot{\mathbf {R}}}^{\mathrm {T}}{\mathbf {K}}_{1}\pmb {\eta }_{d}\nonumber \\&\quad +({\dot{\mathbf {R}}}+{\mathbf {R}}^{\mathrm {T}}{\mathbf {K}}_{1}){\dot{\pmb \eta }}_{d} +{\mathbf {R}}^{\mathrm {T}}{\ddot{\pmb \eta }}_{d} \end{aligned}$$
(21)

Note that the term \(\pmb {f}({\pmb \eta },\pmb {\omega },\dot{\pmb {\alpha }})\) is a lumped unknown nonlinearity encapsulated by unknown dynamics, input nonlinearities and disturbances. The universal approximation ability of a fuzzy approximator is used in [46,47,48], the nonlinearity \(\pmb {f}\) in (20) can be optimally approximated as follows:

$$\begin{aligned} \pmb {f}(\pmb {x}) = {\pmb {\theta }^*}^{\mathrm {T}}\pmb {\varphi }(\pmb {x}) + \pmb {\varepsilon } \end{aligned}$$
(22)

where \(\pmb {x}=[\pmb {\eta }^{\mathrm {T}},\pmb {v}^{\mathrm {T}},{\dot{\pmb \alpha }}^{\mathrm {T}}]^{\mathrm {T}}, \pmb {\varepsilon }\) is the optimal approximation error and is bounded, i.e., \(\Vert \pmb {\varepsilon }\Vert \le \varepsilon ^*\), and \(\pmb {\theta }^*\) is optimal parameters given by

$$\begin{aligned} \pmb {\theta }^* = \arg \mathop {\min }\limits _\theta \left\{ \mathop {\sup }\limits _{x \in U_x } \left\| {\pmb {\theta } ^{\mathrm {T}} \pmb {\varphi } (\pmb {x}) -\pmb {f}(\pmb {x})} \right\| \right\} \end{aligned}$$
(23)

However, the optimal parameter \(\pmb {\theta }^*\) cannot be known in advance and requires adaptive mechanism.

In this context, a fuzzy approximator \(\hat{\pmb {f}}(\cdot )\) is devised to adaptive estimate the lumped unknown dynamics \(\pmb {f}(\cdot )\) online, and is designed as follows:

$$\begin{aligned} \hat{\pmb {f}}(\pmb {x}):=[\hat{f}_{1},\hat{f}_{2},\ldots ,\hat{f}_{n}]^{\mathrm {T}}=\hat{\pmb {\theta }}^{\mathrm {T}}\pmb {\varphi }(\pmb {x}) \end{aligned}$$
(24)

where \(\pmb {x}=[\pmb {\eta }^{\mathrm {T}},\pmb {v}^{\mathrm {T}},{\dot{\pmb \alpha }}^{\mathrm {T}}]^{\mathrm {T}}\), and the output weight estimate matrix \(\hat{\pmb {\theta }}\) and regressor vector \(\pmb {\varphi }(\pmb {x})\) are defined as follows:

$$\begin{aligned}&\hat{\pmb {\theta }}=[\hat{\pmb {\theta }}_{1},\ldots ,\hat{\pmb {\theta }}_{n}]\in \mathbb {R}^{N\times n}, \quad \hat{\pmb {\theta }}_{j} =[\hat{\theta }_{j}^{1},\ldots ,\hat{\theta }_{j}^{N}]^{\mathrm {T}} \end{aligned}$$
(25)
$$\begin{aligned}&\pmb {\varphi }(\pmb {x})=[\varphi _{1}(\pmb {x}),\varphi _{2}(\pmb {x}),\ldots ,\varphi _{N}(\pmb {x})]^{\mathrm {T}} \end{aligned}$$
(26)

where the regressor vector \(\pmb {\varphi }(\pmb {x})\) can be composed by Gaussian functions and can refer to [29] for details.

Eventually, design the Nussbaum-based adaptive fuzzy control law \(\pmb {v}\) as follows:

$$\begin{aligned} \pmb {v}&= N^{\prime }(\xi )\left[ -{\mathbf {K}}_2 \pmb {z}_2 -{\mathbf {R}}^{\mathrm {T}}(\pmb {\varphi })\pmb {z}_1 - \hat{\pmb {\theta }} ^{\mathrm {T}} \pmb {\varphi } ( \pmb {x})\right] \end{aligned}$$
(27)

where

$$\begin{aligned} \dot{\xi }&= \frac{{\pmb {z}_2^{\mathrm {T}} }}{d}\left[ -{\mathbf {K}}_2 \pmb {z}_2 -{\mathbf {R}}^{\mathrm {T}}(\pmb {\varphi })\pmb {z}_1 - \hat{\pmb {\theta }} ^{\mathrm {T}} \pmb {\varphi } ( \pmb {x})\right] \end{aligned}$$
(28)
$$\begin{aligned} \dot{\hat{\pmb {\theta }}}_i&=\gamma _i z_{2i} \pmb {\varphi }(\pmb {x})+\sigma _i\hat{\pmb {\theta }}_i,\quad i=1,2,3 \end{aligned}$$
(29)

where d is an appropriate constant, \(\gamma _i>0\) and \(\sigma _i>0\).

Remark 1

Unlike previous works focusing on input saturations [30,31,32,33,34,35], complex input nonlinearities including unknown control directions and actuator dead zones have been intensively addressed by virtue of a Nussbaum-based adaptive fuzzy control scheme governed by (27)–(29), which can tackle both complex input constraints and fully unknown dynamics, simultaneously.

Remark 2

From (27), one can see that in addition to adaptive fuzzy control effort, a dynamic Nussbaum-dependent term \(N^{\prime }(\xi )\) is deployed to regulate the control input, thereby achieving composite adaptation to unknown control directions, actuator dead zones and fully unknown dynamics, simultaneously. Clearly, adaptive approximation-based approaches [7, 19, 23, 24, 27,28,29] which cannot tackle input nonlinearities become special cases (i.e., \(N^{\prime }(\xi )=1\)) of the proposed Nussbaum-based framework in (27).

4 Stability Analysis

It is essential to prove that the proposed tracking control scheme can guarantee the stability of a closed-loop USV tracking system, and the tracking error can converge to an arbitrarily small neighborhood of zero.

Theorem 1

Under Assumptions 1 and 2, consider the USV dynamic system (1) using the controller (27) with adaptive laws (28)–(29) and the virtual control signal (17), all signals of the closed-loop system are bounded, and the tracking error can converge to an arbitrarily small neighborhood of zero.

Proof

Applying (22) to (18)–(19) yields

$$\begin{aligned} \dot{\pmb {z}}_{1}&=-{\mathbf {K}}_1\pmb {z}_1 + {\mathbf {R}}(\varphi )\pmb {z}_2 \end{aligned}$$
(30)
$$\begin{aligned} \dot{\pmb {z}}_{2}&={\mathbf {M}}^{-1}\left[ \hat{\pmb {\theta }}^{\mathrm {T}}\pmb {\varphi }(\pmb {x})+\bar{\rho }\pmb {v}(t) -\tilde{\pmb {\theta }}^{\mathrm {T}}\pmb {\varphi }(\pmb {x})+\pmb {\varepsilon }\right] \end{aligned}$$
(31)

where \(\tilde{\pmb {\theta }}=\hat{\pmb {\theta }}-\pmb {\theta }^*=[\tilde{\pmb {\theta }}_1,\tilde{\pmb {\theta }}_2,\tilde{\pmb {\theta }}_3]\).

Consider the following Lyapunov function:

$$\begin{aligned} V = \frac{1}{2}\left( \pmb {z}_1^{\mathrm {T}}\pmb {z}_1 +\pmb {z}_2^{\mathrm {T}} \mathbf {M}\pmb {z}_2 + \mathrm {tr}\left\{ \tilde{\pmb {\theta }}^{\mathrm {T}} \pmb {\Gamma } ^{ - 1} \tilde{\pmb {\theta }} \right\} \right) \end{aligned}$$
(32)

Differentiating V along (30)–(31) yields

$$\begin{aligned} \dot{V}&= -\pmb {z}_1^{\mathrm {T}} {\mathbf {K}}_1 \pmb {z}_1 +\pmb {z}_1^{\mathrm {T}} {\mathbf {R}}(\pmb {\varphi } )\pmb {z}_2 \nonumber \\&\quad +\pmb {z}_2^{\mathrm {T}} \left[ \hat{\pmb {\theta }} ^{\mathrm {T}} \pmb {\varphi } (\pmb {x})-\pmb {\varepsilon } + \bar{{\rho }}\pmb {v}(t) - \tilde{\pmb {\theta }} ^{\mathrm {T}} \pmb {\varphi } (\pmb {x})\right] \nonumber \\&\quad + \frac{1}{2}\pmb {z}_2^{\mathrm {T}} \dot{\mathbf {M}}\pmb {z}_2 + \sum _{i=1}^3 \gamma _i^{-1}\tilde{\pmb {\theta }}_i^{\mathrm {T}}\dot{\hat{\pmb {\theta }}}_i \end{aligned}$$
(33)

Using Assumption 1 and the Young’s inequalities, we have

$$\begin{aligned}&\pmb {z}_2^{\mathrm {T}}\dot{\mathbf {M}}\pmb {z}_2 \le M_2\left\| \pmb {z}_2\right\| ^2 \end{aligned}$$
(34)
$$\begin{aligned}&-\pmb {z}_2^{\mathrm {T}}\pmb {\varepsilon }\le \frac{1}{2}\left\| \pmb {z}_2\right\| ^2+\frac{1}{2}{\varepsilon ^*}^2 \end{aligned}$$
(35)

Substituting control law (27) and inequalities (34)–(35) into (33) gives

$$\begin{aligned} \dot{V}\le&-\pmb {z}_1^{\mathrm {T}}{\mathbf {K}}_1\pmb {z}_1-\pmb {z}_2^{\mathrm {T}}{\mathbf {K}}_2\pmb {z}_2+(\bar{\rho }N^{\prime }(\xi )-1)d\dot{\xi }\nonumber \\&+ \sum _{i=1}^3 \gamma _i^{-1}\tilde{\pmb {\theta }}_i^{\mathrm {T}}\left( \dot{\hat{\pmb {\theta }}}_i-\gamma _i z_{2i}\pmb {\varphi }(\pmb {x})\right) \nonumber \\&+\frac{1}{2}(M_2+1)\left\| \pmb {z}_2\right\| ^2+\frac{1}{2}\varepsilon ^{*2} \end{aligned}$$
(36)

Using adaptive law (29) and the following inequality:

$$\begin{aligned} -\tilde{\pmb {\theta }}_i^{\mathrm {T}}\hat{\pmb {\theta }}_i \le -\frac{1}{2}\Vert \tilde{\pmb {\theta }}_i\Vert ^2+\frac{1}{2}\Vert \pmb {\theta }_i^*\Vert ^2 \end{aligned}$$
(37)

we further have

$$\begin{aligned} \dot{V}&\le -\pmb {z}_1^{\mathrm {T}}{\mathbf {K}}_1\pmb {z}_1-\pmb {z}_2^{\mathrm {T}}{\mathbf {K}}_2\pmb {z}_2\nonumber \\&\quad +\frac{1}{2}(M_2+1)\left\| \pmb {z}_2\right\| ^2+\frac{1}{2}\varepsilon ^{*2}\nonumber \\&\quad +(\bar{\rho }N^{\prime }(\xi )-1)d\dot{\xi } - \frac{1}{2}\sum _{i=1}^3 \frac{\sigma _i}{\gamma _i}\Vert \tilde{\pmb {\theta }}_i\Vert ^2\nonumber \\&\quad +\frac{1}{2}\sum _{i=1}^3 \frac{\sigma _i}{\gamma _i}\Vert \pmb {\theta }_i^*\Vert ^2 \nonumber \\&\le -\lambda _{\mathrm {min}}({\mathbf {K}}_1)\left\| \pmb {z}_1\right\| ^2\nonumber \\&\quad -(\lambda _{\mathrm {min}}({\mathbf {K}}_2)-M_2-\frac{1}{2})\left\| \pmb {z}_2\right\| ^2\nonumber \\&\quad +(\bar{\rho }N^{\prime }(\xi )-1)d\dot{\xi }\nonumber \\&\quad -\frac{\lambda _{\mathrm {min}}(\pmb {\sigma })}{2}\mathrm {tr}\left\{ \tilde{\pmb {\theta }}^{\mathrm {T}} \pmb {\Gamma } ^{ - 1} \tilde{\pmb {\theta }} \right\} \nonumber \\&\quad +\frac{\lambda _{\mathrm {max}}(\pmb {\sigma })}{2}\mathrm {tr}\left\{ \pmb {\theta }^{*\mathrm {T}} \pmb {\Gamma } ^{ - 1} \pmb {\theta }^*\right\} \nonumber \\&\quad +\frac{1}{2}\varepsilon ^{*2}\nonumber \\&\le -aV+(\bar{\rho }N^{\prime }(\xi )-1)d\dot{\xi }+b \end{aligned}$$
(38)

where

$$\begin{aligned} a&= {\mathrm {min}}\left\{ 2\lambda _{\mathrm {min}}({\mathbf {K}}_1), \frac{2\lambda _{\mathrm {min}}({\mathbf {K}}_2)-2M_2-1}{\lambda _{\max }(\mathbf {M})}, \lambda _{\mathrm {min}}(\pmb {\sigma })\right\} \\ b&=\frac{\lambda _{\mathrm {max}}(\pmb {\sigma })}{2}\mathrm {tr}\left\{ \pmb {\theta }^{*\mathrm {T}} \pmb {\Gamma } ^{ - 1} \pmb {\theta }^*\right\} +\frac{1}{2}\varepsilon ^{*2} \end{aligned}$$

with parameters \({\mathbf {K}}_1, {\mathbf {K}}_2\) and \(\pmb {\sigma }\) satisfying \(\lambda _{\mathrm {min}}({\mathbf {K}}_1)>0, \lambda _{\mathrm {min}}({\mathbf {K}}_2)-M_2-{1}/{2}>0\) and \({\lambda _{\mathrm {min}}(\pmb {\sigma })}>0\).

From (38), we have

$$\begin{aligned}&0 \le V(t) \le V(0) \nonumber \\&\quad + e^{ - at} \int _0^t {d(} \bar{\rho }N^{\prime }(\xi ) - 1)\dot{\xi }e^{a\tau } \hbox {d}\tau + b \end{aligned}$$
(39)

Using Lemma 1, we immediately obtain \((\bar{\rho } N^{\prime }(\xi )-1)d\dot{\xi }\) is bounded on \([0,t_f)\). Accordingly, define \(b_{\mathrm {max}}={\mathrm {max}}_{t\in [0,t_f)}(\bar{\rho } N^{\prime }(\xi )-1)d\dot{\xi }\). Together with (39), we further have

$$\begin{aligned} \dot{V}\le -a V+\bar{b} \end{aligned}$$
(40)

where \(\bar{b}=b+b_{\max }\).

It follows that

$$\begin{aligned} V(t)\le e^{-at}V(0)+\bar{b}/a \end{aligned}$$
(41)

In this context, choosing appropriate parameters would make all signals \(\pmb {\eta }, \pmb {\omega }, \pmb \alpha , \dot{\pmb \alpha }, \hat{\pmb {\theta }}(t)\) and \(\pmb {v}(t)\) are bounded. From (41), we have \(\left\| \pmb {\eta }-\pmb {\eta }_d\right\| \le \sqrt{2V(0)}e^{-at}+\sqrt{2\bar{b}/a}\). Clearly, the term \((2\bar{b}/a)^{\frac{1}{2}}\) can be made as small as possible by choosing parameters \({\mathbf {K}}_1, {\mathbf {K}}_2\) and \(\pmb {\sigma }\) appropriately. Denotes \((2\bar{b}/a)^{\frac{1}{2}}\le \mu /2\). There exists a finite time T such that \(\left\| \pmb {\eta }(t)-\pmb {\eta }_d(t)\right\| \le \mu ,\; \forall t\ge T\). This concludes the proof. \(\square\)

5 Simulation Studies

To demonstrate the effectiveness and superiority of the proposed Nussbaum-based adaptive fuzzy control scheme, simulation studies on a well-known surface vehicle CyberShip II [49] with unknown dynamics are conducted.

The desired trajectory \(\pmb {\eta }_d=[\sin (t),\cos (t),\sin (t)]^T\) which is expected to be tracked by the proposed scheme with high accuracy. The initial conditions of the USV are as follows: \(\pmb {\eta }(0)=[-0.5,-0.5,0.5]^{\mathrm {T}}\) and \(\pmb {\omega }(0)=[0.2,0,0]^{\mathrm {T}}\). Define the fuzzy sets \(U_x=[-2,2]^6\subset {\mathbf {R}}^6\) with the widths uniformly set as 2.

For the sake of simulation studies, external disturbances are assumed as follows:

$$\begin{aligned} \pmb {\tau }_d = \left[ \begin{array}{ccc} 5+0.1 u^3 \\ 2+0.1 u^2\\ -0.1 r^3+\sin (\omega ) \end{array} \right] , \end{aligned}$$

and unknown dynamics are assumed as follows:

$$\begin{aligned} c_{13}(\pmb {\omega })&=-24.6612\omega -1.0948r,\\ c_{23}(\pmb {\omega })&=25.8 u,\\ d_{11}(\pmb {\omega })&=0.7225+1.3274\left| u\right| +5.8664 u^2,\\ d_{22}(\pmb {\omega })&=0.8612+36.2823\left| \omega \right| +8.05\left| r\right| ,\\ d_{23}(\pmb {\omega })&=-0.1079+0.845\left| \omega \right| +3.45\left| r\right| ,\\ d_{32}(\pmb {\omega })&=-0.1052-5.0437\left| \omega \right| -0.13\left| r\right| , \quad{\mathrm {and}}\\ d_{33}(\pmb {\omega })&=1.9-0.08\left| \omega \right| +0.75\left| r\right|{\mathrm {and}}. \end{aligned}$$

In addition, unknown inertia parameters are assumed as follows:

$$\begin{aligned} m_{11}(t)&=20+50\sin ^2(0.1\pi t),\\ m_{22}(t)&=20+50\sin ^2(0.2\pi t),\\ m_{23}(t)&=1+\cos ^2(0.1 \pi t),\\ m_{32}(t)&=1+\cos ^2(0.1 \pi t),\,\,{\mathrm {and}}\\ m_{33}(t)&=10+20\sin ^2(0.5\pi t). \end{aligned}$$

Input nonlinearity parameters are as follows: \(\beta =1, \pmb {b}_r=[30,30,30]^{\mathrm {T}}\), and \(\pmb {b}_l=[30,30,30]^{\mathrm {T}}\).

The user-defined parameters of the Nussbaum-based adaptive fuzzy controller are selected as follows: \({\mathbf {K}}_1={\mathrm {diag}}(0.7,0.7,0.7), {\mathbf {K}}_2={\mathrm {diag}}(16,16,16), \Gamma _1=0.1, \Gamma _2=0.1, \Gamma _3=0.1, \sigma _1=0.05, \sigma _2=0.05, \sigma _3=0.05, \rho =0.8\), and \(d=30\).

Furthermore, in order to demonstrate the superiority of the proposed Nussbaum-based adaptive fuzzy control scheme, we conduct comprehensive comparisons of our proposed approach with Nussbaum-based adaptive fuzzy control without considering control coefficients (i.e., W/O Coef., \(\rho =1\)) and without considering dead zones (i.e., W/O DZ, \(\pmb {\tau }(\pmb {v})=\pmb {v}\)), respectively.

Simulation results and comparisons are shown in Figs. 3, 4, 5 and 6, which clearly demonstrate that the proposed Nussbaum-based adaptive fuzzy control scheme can track the USV with complex input nonlinearities and fully unknown dynamics to the desired trajectory with high accuracy while the W/O Coef. and W/O DZ approaches can only track roughly the desired trajectory. To make matters worse, if control coefficients and/or actuator dead zones cannot be addressed, i.e., the W/O Coef. and W/O DZ approaches, both position and velocity tracking errors of surge and sway dynamics become significantly large. In fact, the proposed Nussbaum-based adaptive fuzzy control scheme can render actual trajectories adapt to complex input constraints in addition to unknown dynamics, while the W/O Coef. and W/O DZ approaches cannot compensate unknown control coefficients and/or dead zones, and thereby leading to apparent tracking delays which can be clearly observed from Figs. 3, 4, 5 and 6. In this context, the superiority and effectiveness can be sufficiently validated. In essence, dead-zone-hold control inputs \(\pmb {v}=[v_u,v_{\omega },v_r]^T\) shown in Fig. 7 contribute to the remarkable tracking performance. To be specific, actuators stay idle whenever the required control efforts fall into dead zones, and thereby not only avoiding frequent chattering within dead zones but also enhancing adaptation to input nonlinearities. As a bypass advantage, the proposed Nussbaum-based adaptive fuzzy control scheme can prevent unwanted wear and tear of actuators.

Fig. 2
figure 2

Control input nonlinearity with dead zones

Fig. 3
figure 3

Desired and actual states xy and \(\varphi\)

Fig. 4
figure 4

Tracking errors of xy and \(\varphi\)

Fig. 5
figure 5

Desired and actual states \(u, \omega , r\)

Fig. 6
figure 6

Tracking errors of \(u, \omega , r\)

Fig. 7
figure 7

Control inputs \(v_{u}, v_{\omega }, v_r\)

6 Conclusion

In this paper, a novel Nussbaum-based adaptive fuzzy control scheme for trajectory tracking of an USV in the presence of complex unknown nonlinearities and fully unknown dynamics has been proposed. By virtue of adaptive fuzzy approximation, the lumped unknown nonlinearity involves input nonlinearities, unknown dynamics and disturbances can be approximated online. In combination with the backstepping technique and the Nussbaum gain property, a Nussbaum-based adaptive fuzzy tracking control scheme has been developed to handle complex input nonlinearities and fully unknown dynamics, simultaneously, which have not been addressed in the literature. Moreover, stability analysis guarantees high tracking accuracy since tracking errors can converge to an arbitrarily small neighborhood of zero. The effectiveness and superiority of the proposed control scheme have also been demonstrated by simulation studies. In future work, the proposed Nussbaum-based adaptive fuzzy control scheme is expected to apply to experimental prototypes.