1. Introduction
Control of nonlinear underwater vehicles is attracting much research attention recently, due to its practical application in submarine survey, exploration, oceanographic mapping, and region search for deep-sea wrecks [
1,
2,
3,
4,
5,
6]. The initial studies have focused on the planar or depth control design of underwater vehicles in the two-dimensional space [
7,
8,
9,
10,
11]. However, these studies in the two-dimensional space provide limited solutions to various tracking problems in the practical three-dimensional underwater environment. For more practical application, three-dimensional control approaches have been studied for nonlinear underwater vehicles described by 5-degrees-of-freedom (5-DOF) or 6-DOF kinematics and dynamics. In [
12], a path following controller was designed for 5-DOF underwater vehicles with ocean current disturbances. A ocean current observer to detect an external current was designed for trajectory tracking of 5-DOF underactuated underwater vehicles (UUVs) [
13]. In [
14,
15], fuzzy-based or neural-network control techniques were developed for uncertain 5-DOF UUVs with external disturbances. To deal with uncertain 6-DOF models with the roll motion, three-dimensional trajectory tracking control designs were developed using several control techniques such as backstepping control [
16,
17] and sliding mode control [
18]. However, in the aforementioned results, the transient and steady-state performance metrics of tracking errors cannot be designed a priori. To preselect the tracking performance metrics of underwater vehicles, the prescribed performance design technique [
19] has been combined with the control methodologies of underwater vehicles [
20,
21,
22,
23]. In [
21], a region tracking controller with predefined transient performance was designed for fully actuated underwater vehicles in presence of an ocean current and a thruster fault. Neural-network-based prescribed performance control designs were investigated for uncertain 5-DOF UUVs [
22] and 6-DOF fully actuated underwater vehicles [
20]. In [
23], a prescribed performance control design was developed for 6-DOF UUVs. Despite these efforts, the controllers designed in [
20,
21,
22,
23] should be continuously updated and thus cannot be used in the network-based control environment with limited communication bandwidth. Since underwater acoustic communication has limited bandwidth, low propagation speed, and high energy consumption, the data transmission for the network-based control should be kept to a minimum amount [
24]. Thus, it is significant to investigate an event-triggered control design issue for ensuring predefined three-dimensional tracking performance under the underactuated property of 6-DOF UUVs and limited network resources.
Event-triggered control strategies have been proposed to address control problems of linear and nonlinear systems under capacity-limited networks [
25,
26,
27,
28]. In the event-triggered control, the signal transmission burden can be reduced in the communication network because control inputs are executed only when certain triggering conditions are satisfied. Owing to this advantage, adaptive event-triggered control approaches have been actively developed for uncertain nonlinear systems [
29,
30,
31,
32]. However, the event-triggered control of underwater vehicles was only studied to design a depth controller in the two-dimensional space [
33]. To the best of our knowledge, no studies have been reported thus far on the event-triggered control problem for ensuring predefined three-dimensional tracking performance of uncertain 6-DOF UUVs.
On the basis of the above discussion, the purpose of this paper is to present an adaptive event-triggered control strategy with predefined three-dimensional tracking performance for uncertain nonlinear 6-DOF UUVs. It is assumed that all nonlinearities in the dynamics of the UUV are unknown. Compared with the related results [
20,
21,
22,
23,
33] in the literature, the main contribution of this study is to develop an error-transformation-based adaptive event-triggered tracking law for achieving predefined three-dimensional tracking performance while overcoming the underactuated problem of the nonlinear 6-DOF dynamics. To this end, a nonlinearly transformed tracking error function using a linear velocity rotation matrix and a time-varying performance function is presented. A neural-network-based adaptive event-triggered control scheme is recursively designed to ensure predefined three-dimensional tracking performance of the uncertain UUV where neural networks are employed to approximate unknown nonlinearities. In the proposed control scheme, auxiliary stabilizing signals using neural networks are derived to deal with the underactuated control design problem. We rigorously prove that the resulting event-triggered tracker ensures the practical stability of the closed-loop system and the exclusion of Zeno behavior.
The rest of this paper is outlined as follows. In
Section 2, we introduce the 6-DOF kinematics and dynamics of uncertain nonlinear UUVs and formulate the predefined three-dimensional tracking performance control problem. A neural-network-based adaptive event-triggered tracker is constructed using the nonlinearly transformed tracking error function and the auxiliary stabilizing signals, and the closed-loop stability is analyzed in
Section 3. Simulation studies are given in
Section 4. Finally, we conclude in
Section 5.
2. Problem Formulation
The kinematics for the position and attitude of an UUV can be described by
where
;
x,
y, and
z are the positions of the center of gravity in an inertial coordinate frame,
;
,
, and
denote roll, pitch, and yaw angles, respectively,
;
u,
v, and
w are surge, sway, and heave velocities, respectively, and
;
p,
q, and
r denote the roll, pitch, and yaw angular velocities in the body-fixed frame, respectively. Here, the linear velocity rotation matrix
and and the angular velocity transformation matrix
are given by
with
,
, and
. The structure of the neutrally buoyant UUV concerned in this paper is depicted in
Figure 1.
The dynamics of the UUV is given by
where
;
and
are the matrix of the rigid-body mass and the added mass, respectively,
is a vector derived by the Coriolis and damping matrices,
is a vector induced from the gravitation and the buoyancy of the UUV, and
is a vector denoting the control forces and moments. In this paper, the torpedo-shaped UUV model is considered to deal with the tracking problem. The torpedo-shaped UUV cannot move directly to the
y- or
z-direction in the body reference frame and the roll movement is undesirable in the practical UUV [
34]. Thus, the underactuated torque vector
is considered in this paper. The detailed definitions of
M,
C, and
G are presented in
Appendix A. For more details for the model of UUVs, see [
35,
36].
Assumption 1. The nonlinear function vectorsandare unknown for the control design.
Assumption 2. The desired three-dimensional trajectoryand its derivativesandare bounded.
Problem 1. Our problem is to design an adaptive event-triggered control law τ for ensuring predefined three-dimensional tracking performance of the uncertain UUV described by (1) and (2) so that the position trajectory η of the UUV follows the desired trajectory in the three-dimensional space.
3. Adaptive Event-Triggered Control with Predefined Three-Dimensional Tracking Performance
In this section, an adaptive event-triggered control methodology using an error transformation function and stabilizing auxiliary signals is established to ensure predefined three-dimensional tracking performance of the UUV. The dynamic surface design procedure using the predefined performance concept is derived step by step.
Step 1: Let us consider the kinematics (1) and define the position errors
. Then, to ensure predefined three-dimensional tracking performance under the underactuated property, we define the nonlinearly transformed error surface
as
where
, and
denotes the radius of error surface with the design constant
. Here, the design constant
is selected relatively small compared to the length of the UUV, and
,
, is defined as
where
and
are design constants, and
is the performance function with design parameters
,
, and
satisfying
and
.
Lemma 1. If, is ensured for allwhere.
Proof. Let us define
where
. From the definition of
, there exists a constant
such that
. Then, from
,
are bounded where
. Thus, there exist constants
and
such that
. Using the bijective property
[
37], it holds that
. Owing to
, we have
for all
. □
Remark 1. In (3), and ρ are combined with the nonlinear error function vector Φ in order to design the underactuated control scheme with the predefined three-dimensional tracking performance. From Lemma 1, the boundedness of the error surface vector leads to the satisfaction of the inequality for all where . That is, the bounds of the transient and steady-state performance of the position errors can be predefined by selecting the design parameters , , and functions . Thus, the predefined three-dimensional tracking performance is ensured provided that . Accordingly, the primary focus of this study is to design an adaptive event-triggered control scheme for ensuring the boundedness of .
The time derivative of
is represented by
where
,
with
,
, and
. Here,
is the diagonal matrix.
Using (6), we obtain that
where
and
Here, means the element of the matrix H.
Using the dynamic surface design concept [
38], we define the error surface vector
with
,
, and
, and the boundary layer error vector
where
is the virtual control vector and
is the filtered signal vector of virtual control laws
,
, and
that is obtained by the first-order low-pass filter
where
is the small constant.
Using the error surface vector
e and the boundary layer error
c, (7) becomes
The virtual control vector
is presented as
where
;
,
, are positive constants.
Substituting (10) to (9) gives
We choose a Lyapunov function
. Then, the time derivative of
is represented by
where
due to the skew symmetric matrix
KStep 2: To design the underactuated torque vector , we define the error surface vector where and . Here, , , and in are the auxiliary stabilizing signals to be designed later.
Using (2), the time derivative of
is obtained as
where
.
For the online approximation of unknown nonlinear function vector
, radial basis function neural networks [
39] are employed. Then,
F can be approximated over the compact set
as follows
where
denotes the input vector of radial basis function neural networks, the optimal weighting matrix
is defined as
satisfying
with an unknown constant
,
with
,
is the Frobenius norm,
denotes the Gaussian function vector
;
with
, and
is a reconstruction error vector such as
with an unknown constant
.
An adaptive event-triggered tracking law is presented as
where
denotes the update time of the control torque
with
,
, and
and
are design constants. When the event-triggering condition (16) is satisfied, the tracking law
is updated at
and is set to
given by
where
;
,
, and
denote positive design parameters,
,
, and
are estimates of
,
, and
, respectively,
with a constant
, and
denotes an estimate of
. Here,
,
,
are elements of the vector
with
. The dynamics of the auxiliary stabilizing signals
,
, and
are designed as
where
;
,
, and
are the positive design parameters, and
The adaptive laws for
,
, and
are designed as
where
,
,
;
,
is a constant,
,
and
are positive design constants.
Let us consider a Lyapunov function
as
where
and
are estimation errors,
, and
means the trace of the matrix.
By substituting (13) and (14) into the time derivative of (21),
is obtained as
It holds that and with and . Then, using the property for and the event-triggering condition (16), we have .
Then, using
and the definition of the matrix
M, we have
Substituting
and (23) into (22) and using (17) and (18), we obtain
where
.
Lemma 2. [39]forand any positive constant ϑ.
By substituting (19) and (20) into (24) and using Lemma 2,
becomes
Remark 2. In the dynamics (2) of the torpedo-shaped UUV, the underactuated control torque vector should be designed. That is, the first, fifth, and sixth dynamic equations in (2) only have the control torques , , and , respectively. Thus, the the auxiliary stabilizing signals are required for the state equations for v, ω, and p (i.e., the second, third, and fourth dynamic equations in (2)). In this study, the auxiliary stabilizing signals , , and in (18) are presented to design the underactuated control torque vector while ensuring the predefined three-dimensional tracking performance and the stability of the closed-loop system. Because of these auxiliary stabilizing signals, the UUV dynamics (2) is stably controlled by using the only three control inputs , , and .
We analyze the predefined three-dimensional tracking performance and stability of the closed-loop system and the exclusion of Zeno behavior of the proposed event-triggered scheme in the following theorem.
Theorem 1. Consider the kinematics and dynamics of the uncertain UUV (i.e., (1) and (2)). For initial conditions satisfying with a constant , the adaptive event-triggered tracking law (17) guarantees that
- (i)
all the closed-loop signals are semi-globally uniformly ultimately bounded;
- (ii)
the predefined three-dimensional tracking performance is ensured (i.e.,, , );
- (iii)
there exists an inter-event timesuch that.
Proof. The dynamics of the boundary layer error
c is represented by
where
and
is a continuous function.
We define the Lyapunov function
to prove this theorem. Using (12), (25), and (26),
becomes
where
is a continuous function. Using the inequalities
,
, and
with constants
, (27) becomes
where
.
Let us define compact sets
and
with a constant
. Then, there exists a constant
such that
on
. By selecting
with a constant
, we have
where
;
is the minimum eigenvalue of
. Because of
on
,
is satisfied on
. Then, it is ensured that
on
when
and thus
denotes an invariant set. It is proved that all closed-loop signals are semi-global uniform ultimate bounded. This completes the proof of Theorem 1—(i).
By integrating with respect to time, we have . Using , it holds that . That is, is bounded (i.e., , ). From Lemma 1, the predefined three-dimensional tracking performance is ensured (i.e., , , ). This completes the proof of Theorem 1—(ii).
To show the exclusion of Zeno behavior of the proposed event-triggering scheme, we prove that there exists a minimum value of inter-event times such that for .
For all
, we consider
where
;
,
, and
are given by
From the boundedness of all the closed-loop signals, there exists a constant such that . Integrating during and using the event-triggering condition (16) yield . By defining , it holds that . This completes the proof of Theorem 1—(iii). □