1. Introduction
Due to the rapid development and close interconnection of the global economy, the urgent demand for fast and efficient marine transportation has motivated increasing research on large vessels capable of high speed and maneuverability for both military and civilian use [
1]. One significant trend in high-speed construction is the multihull [
2]. The multihull is a newly developed kind of vessel that is different from a conventional monohull. As can be seen from the nomenclature, multihull usually represents a type of surface vessel that uses two or more slender hulls at a certain distance and connected by the cross-deck structure, e.g., a catamaran with two hulls and a trimaran with three hulls, as illustrated in
Figure 1. Due to the unique hull structure, the multihull has many advantages such as a large deck area and loading capacity, a relatively large ratio of deadweight to displacement, good seakeeping performance, and high hydrodynamic stability. However, due to the slender hull geometry and high Froude number of high-speed multihulls, excessive vertical motions of heave and pitch can occur. The excessive vertical motions can result in the seasickness of passengers and crew members, bow slamming, structural hull damage, and even the loss of speed. These adverse effects can deteriorate the efficiency of the multihull’s performance and bring about a great threat to navigation security. Thus, it is necessary to adopt some effective measures to control and mitigate the excessive motions to a tolerable level.
Considering the relatively advanced design and the resources and time required for hull design, anti-pitching appendages have become a popular way to further improve the performance and reduce excessive vertical motion. The combination of anti-pitching appendages such as a T-foil and flap has been generally used. A T-foil mounted on the centerline at the aft end of the bow can effectively increase the longitudinal damping of the multihull during operation, such that the amplitudes of heave and pitch motions can be reduced compared with the original motions without applying an anti-pitching appendage. On this basis, the utilized flap located at the stern can improve the motion’s attitude so as to reduce the vessel’s resistance. It is worth mentioning that an inactive anti-pitching strategy adopting appendages with fixed angles of attack can slightly reduce the vessel’s motion; however, in order to further increase this reduction, active control must be introduced into the anti-pitching appendages’ control system. To design the control system, a number of well-developed and advanced methods can be adopted for the vertical stabilization of a high-speed multihull [
3]. The angles of attack of the T-foil and flap can then be automatically adjusted with changes to the state of the system and in real time during the navigation, and the required restoring force and moment generated by the used anti-pitching appendages can be significantly increased to counteract the wave-induced force and moment, resulting in the improvement of anti-pitching performance.
In contrast with other hot-ticket control problems for marine vessels, such as path following and trajectory tracking [
4,
5], the control of vertical stabilization for multihulls had a late start. Although this research area has been receiving growing interest from both academic scholars and practical engineers, there has been a limited number of publications on this issue to date. Referring to the coupled vertical motion model of high-speed multihulls, a proportional differential (PD)-based vertical stabilization control method was designed by the authors of [
6]. While effective under idealized conditions, this approach suffers from a critical reliance on precise hydrodynamic coefficients, rendering its performance limited and its robustness poor in the face of practical-model uncertainties.
To address unmodeled dynamics, the fuzzy control method was proposed in [
7]. However, as a model-free approach, its performance heavily depends on expert knowledge and extensive tuning, and it lacks formal stability guarantees, which may raise concerns in safety-critical marine applications.
To enhance robustness against model variations, a high-order quantitative feedback control method was employed in [
8]. A key limitation of this method is that its design is based on the worst-case scenario, often leading to conservative controller performance that may not fully exploit the system’s capabilities in typical operating conditions.
A common thread among these aforementioned studies is their treatment of disturbances primarily as deterministic or bounded uncertainties. None of them explicitly account for the stochastic nature of wave-induced loads. This gap means that their controllers lack a mechanism to optimally attenuate the random, zero-mean components of wave forces, which are predominant in irregular seas. This study seeks to address this gap.
Aside from theoretical analysis and numerical simulation research, some experimental investigations on the vertical stabilization of high-speed multihull have been reported in recent years. The research group from Spain contributed to the pioneering work about the reduction in seasickness incidence [
6].
In [
9], considering a variety of criteria including slamming, global loads, and motions, several motion control algorithms were developed. It was claimed that using the most effective pitch control mode, global loads, and motions were significantly reduced under the condition of smaller wave significant height, and the pitch reduction performance was the most significant in the nonlinear mode. The work by Alavimehr et al. provides valuable insights. In a series of systematic experimental studies [
10,
11], they investigated the effects of various seakeeping control algorithms—including those for local motion, heave, and pitch control, as well as their linear and nonlinear variants—on the motion responses and structural loads of a 1:44.8-scale hydroelastic segmented model of a 112 m high-speed wave-piercing catamaran. Their findings demonstrated that the pitch control mode exhibited the highest effectiveness. In waves with a model-scale height of 60 mm, compared to the bare hull without a seakeeping control system, it achieved a significant 90% reduction in the peak slamming force and a 75% decrease in the average slamming-induced bending moment. These experimental data fully validate the substantial potential of active seakeeping control systems in mitigating wave-impact loads on high-speed catamarans, while also providing a valuable experimental validation benchmark for the design of control algorithms. Furthermore, Tavakoli et al. explored adaptive control strategies for marine vehicles under uncertain wave disturbances, highlighting the importance of robust observer-based control in improving system performance [
12]. While these studies have advanced the understanding of motion control in deterministic or passive settings, the incorporation of stochastic wave dynamics into controller design remains less explored, which motivates the present study. In order to mitigate the excessive vertical motions, the systematic design from the selection of adopted anti-pitching appendages to motion reduction control algorithm were proposed in [
12]. The effectiveness of the proposed design method was demonstrated in both numerical simulation and the experimental test. The longitudinal motion characteristics of a slender trimaran with or without T-foil mounted near the bow were investigated through both theoretical and practical methods. The seakeeping characteristics were analyzed in head sea with various wave conditions, and a reasonable agreement of numerical results and experimental data was validated in [
13].
All aforementioned articles have made important contributions to the design of vertical stabilization control of high-speed multihull and, as observed from papers discussed above and others not listed here, the stochastic characteristic of the external wave disturbances have not been particularly studied. The control performance can deteriorate or even the system instability can occur if the stochastic components of the sea loads induced by external waves are neglected. This situation indicates that there still exists the potential of obtaining the robust controller to reduce the excessive vertical motions under the environmental disturbance wave of stochastic nature.
Furthermore, it is worth examining the methodological choice in the context of other emerging approaches, particularly data-driven machine learning (ML). The rise of ML has inspired its application in seakeeping for system identification and control, offering potential in modeling complex, nonlinear dynamics [
14]. However, such methods face significant complications for real-time control applications such as those addressed in this study. As highlighted by Majidiyan et al., the inherent stochasticity of environmental data (waves, wind) presents a fundamental challenge, as ML models often require structured input and can struggle with the unstructured, ensemble nature of real-world sea states. Deploying a reliable “black-box” ML model onboard would necessitate extensive training data covering a vast range of probabilistic scenarios, considerable computational resources for training, and robust strategies for uncertainty quantification to ensure safety—challenges that are non-trivial to overcome. In contrast, the model-based ESO-backstepping control strategy proposed in this work embeds prior physical knowledge of the ship dynamics. It explicitly addresses stochastic disturbances through theoretical frameworks such as the Wiener process and Lyapunov stability analysis, ensuring robustness and guaranteed performance without dependence on large datasets. Therefore, while ML presents a promising avenue for future research, the proposed methodology offers a more direct, interpretable, and certifiable solution for the critical task of vertical motion stabilization in stochastic seas.
The principal novelty and advancement of this work beyond previous robust/adaptive controllers are threefold. (1) A Stochastic Dynamics Framework: While prior robust controllers (e.g., [
8]) or fuzzy logic approaches [
7] primarily addressed bounded uncertainties or deterministic disturbances, they lack a formal mechanism to handle the inherent stochasticity of wave excitations. This work advances the field by explicitly modeling wave-induced forces as a Wiener process, moving beyond deterministic or bounded-uncertainty assumptions. This provides a more realistic foundation for controller design in irregular seas. (2) A Decoupled Estimation-and-Control Architecture: Unlike standard adaptive controllers that may intertwine parameter estimation with control law synthesis, the proposed approach introduces a clear decoupling: The ESO is dedicated to the real-time estimation of the entire lumped disturbance (including both stochastic and deterministic parts), while the backstepping controller utilizes these estimates. This architecture not only simplifies the control law derivation but also enhances modularity, allowing for future upgrades to the observer independently of the controller. This represents a structural advancement over more monolithic adaptive control designs. (3) Guaranteed Stochastic Stability: The most significant theoretical advancement is the rigorous proof of closed loop stability in probability using stochastic Lyapunov theory. Most existing applied studies on multihull control demonstrate performance only via simulation or experiment. By contrast, the present study provides a mathematical guarantee of stability for the stochastic nonlinear system, addressing a fundamental limitation in the theoretical underpinnings of many prior approaches.
This paper is organized as follows. In
Section 2, the vertical mathematical model with the applied anti-pitching appendages is presented. In
Section 3, the disturbance observer is designed. In
Section 4, based on the stochastic control and stability theories provided in
Appendix A, the robust controller is designed with the combination of disturbance observer. The numerical simulations are provided in
Section 5, validating the effectiveness of the proposed control design. At last, the conclusions are summarized in
Section 6.
2. Mathematical Model
It is assumed that the multihull has a symmetrical xz-plane, i.e., the hull is symmetrical with respect to the vertical middle section, and there exists no coupling between the lateral and vertical motions. The restoring force and moment produced by anti-pitching appendages T-foil and flap can be utilized to counteract stochastic wave disturbance, such that the severe motions of the heave and pitch can be mitigated [
15].
The heave and pitch motions of the high-speed trimaran investigated in this study are primarily excited by incident waves with wavelengths comparable to the vessel length. Under the condition of infinite water depth, the reflection and dissipation effects of the seabed on surface waves can be neglected—this simplification of the wave dispersion relation allows for a focused analysis of the fundamental interactions between the hull and waves. The core research objective of the present study is to suppress the high-frequency vertical motions (i.e., heave and pitch) induced by first-order wave forces. In contrast, the forces generated by wind loads and ocean currents are typically low-frequency or quasi-static in nature; these forces primarily influence the ship’s course keeping, speed regulation, and horizontal positional stability (encompassing surge, sway, and yaw motions). To maintain a concentrated focus on the core control challenges within the vertical plane, these low-frequency disturbances are excluded from the current analysis.
Assume that the multihull operates on the infinite deep water without the consideration of the effects of wind and current. The underwater segment of the hull is sufficiently slender and long such that the strip theory can be adopted to obtain the hydrodynamic coefficients, and the wave-induced motion is relatively small.
It should be noted that the classical strip theory employed here, based on the slender-body assumption, calculates the hydrodynamic forces by discretizing the hull into independent two-dimensional sections. This approach does not account for the complex three-dimensional hydrodynamic interactions between the adjacent demihulls of a trimaran (e.g., wave-making interference), which inevitably introduces certain deviations from reality. However, for the heave and pitch motions of the high-speed trimaran in waves under consideration, existing studies suggest that the influence of demihull interaction on the main hull’s hydrodynamics is of secondary importance within the primary frequency range of interest. Given that the primary focus of this paper is to validate the effectiveness of the proposed control strategy for anti-pitching appendages, the application of the well-established strip theory to obtain baseline hydrodynamic coefficients is considered a reasonable and efficient engineering simplification.
Generally speaking, the vertical forces and moments mainly include the buoyancy, the lifting force and moment due to the advance speed, the control forces and moments generated by actively operated anti-pitching appendages, and stochastic wave-induced disturbance force and moment. The mathematical model of heave–pitch dynamics for high-speed multihull can be described in the coordinate systems illustrated in
Figure 2.
The longitudinal dynamic equations for multibody ships can be expressed as follows:
where
represents longitudinal oscillation velocity,
represents hull longitudinal oscillation force,
represent longitudinal oscillation force components generated by T-wing and flaps, and
represents wave-induced longitudinal oscillation disturbance force.
Within the time scale of the control design, longitudinal oscillation velocity changes relatively slowly and can therefore be regarded as a quasi-steady parameter in the pitch–roll controller design [
2]. However, a complete system model should incorporate longitudinal oscillation dynamics to ensure physical consistency.
Considering the longitudinal center of gravity as the origin, a nonlinear mathematical model of heave–pitch dynamics of the multihull can be established based on the rigid body momentum theorem and moment of momentum theorem:
where
is the mass of the multihull,
is the acceleration along the direction
,
is the acceleration term (similar to the Coriolis acceleration) due to the ship’s forward speed
and the pitch angular velocity
,
is pitch angle.
and
denote the forces generated by T-foil and flap, respectively.
is the lift force generated by the hull due to forward speed, and
is the buoyancy of multihull.
represent the distance between longitudinal center of gravity and midship.
and
denote the distances from the lifting point and buoyancy point to the midship, respectively.
and
are the stochastic wave-induced force and moment.
and
represent the moments provided by T-foil and flap, respectively. The forces and moments produced by T-foil and flap can be obtained by
where
is the water density.
,
, and
,
are the planform areas and force arms of flap and T-foil area, respectively.
and
are the lifting coefficients of T-foil and flap, respectively.
is the ship speed.
,
denote the angles of attack of flap and T-foil, respectively. In the other aspect, it can be concluded that the required attack angles of anti-pitching appendages can be transformed through the demanded control force and moment.
Due to the influence of hull geometric symmetry and forward speed, significant coupling exists between heave, pitch, and roll motions. Changes in heave velocity affect the hydrodynamic coefficients of pitch and roll, roll motion generates additional drag in the heave direction, and pitch motion influences heave through wave-making resistance.
As can be seen from the dynamic model described in (2), in addition to the strong nonlinearity, the hydrodynamic coefficients of added mass and damping are time-varying. Thus, the linearization process is necessary to facilitate the engineering implementation, and the nonlinear model (2) can be generally formulated as
where
is the system state of the high-speed multihull.
,
,
, and
denote the heave velocity, pitch angular velocity, heave displacement, and pitch angle, respectively.
represents the control input. At the equilibrium point
of original nonlinear control system, the first-order Taylor expansion method can be adopted to obtain
where
is the infinitesimal of higher order, and
The obtained equation can be further simplified as
where
is the ship mass, and
is the moment of inertia with respect to the longitudinal axis
.
and
denote the added mass and moment of inertia, respectively.
,
and
,
are the coefficients of damping and restoring forces, respectively.
,
,
,
,
,
are the coupling coefficients of vertical forces and moments. For example,
is the coefficient of added mass for heave motion due to pitch motion, and
denote the coefficient of added mass for pitch motion due to heave motion. Based on the strip theory proposed in [
16] or computational fluid dynamic software, these aforementioned hydrodynamic and hydrostatic coefficients can be obtained. It is worth mentioning that the model test can also be utilized to obtain these coefficients, but this method is relatively rarely adopted due to the massive costs.
and
denote the deviations in heave and pitch motion models induced by linearization.
From (13), it can be clearly seen that the coupling exists in pitch and heave motions of high-speed multihull, and the obtained system coefficients have strong uncertainties. Moreover, the model parameters can vary under the condition of different speed and encounter frequency. It can be referred from [
17] that stochastic wave-induced force and moment term usually consisted of 1st-order (zero mean) and 2nd-order (mean wave drift load) wave forces; thus, in general, the terms
and
contain constant and stochastic components, which can be described as
where
,
and
,
represent the constant and stochastic components of wave-induced force
and moment
, respectively. On this basis, the standard Wiener process can be used to describe the stochastic part of wave-induced disturbance. Then, it can be defined as
where
denotes the Wiener process, and the dot represents the time derivative.
represents the covariance which is time varying. Substituting (16) into (13), the stochastic differential equations for vertical motion control can be obtained as
where
and
denote the control inputs of force and moment produced by the adopted two anti-pitching appendages T-foil and flap.
For the convenience of the multivariate control design, the two decoupled vertical motion models of heave and pitch motions can be derived. Define
,
as the heave displacement and heave velocity, and
,
as the pitch angle and pitch angular velocity. Referring to the coupled vertical motion model (17), the decoupled heave motion model can be described as
where
denotes the combination of constant component of wave-induced disturbance force, and the disturbance force produced by coupled pitch motion.
can be considered as the uncertainty term of the decoupled heave motion model.
In order to facilitate the subsequent observer and control design, the decoupled heave motion model described in (18) can be further formulated in the following general expression as
where
denotes the nominal model of heave motion, and
represents the lumped disturbance term in the heave motion control system.
and
are the control gain and control input, respectively.
Similarly, with the same denotation and mathematical manipulation, the decoupled pitch model can be further described in a more general formulation as
where
denotes the nominal model of pitch motion.
denotes the combination of constant component of wave-induced disturbance moment, as well as the disturbance moment produced by coupled heave motion.
can be considered as the uncertainty term of the decoupled pitch motion model.
represents the lumped disturbance term in the pitch motion control system.
and
are the control gain and control input, respectively.
Remark 1. Roughly speaking, and represent the mean value of stochastic wave-induced force and moment, respectively. If is bounded or the stochastic term is ignored, the decoupled heave motion model (19) and pitch motion model (20) become the deterministic control system. Many existing robust control methods and controllers proposed to handle this kind of deterministic system [18] can be directly adopted to ensure the system stabilization. However, with the consideration of the stochastic component of wave-induced force and moment, these controllers cannot be applied due to the deteriorated control performance or even system instability. The control objective of this study is to design a stochastic robust decoupled anti-vertical motion controller, comprising disturbance compensation and a robust adaptive control term, aimed at mitigating excessive heave and pitch motions. To illustrate the proposed motion suppression control methodology, the decoupled control diagram is presented in
Figure 3. A disturbance observer is employed to estimate the lumped disturbance within the decoupled control model for heave and pitch motions, thereby enhancing control robustness through feedforward compensation. Furthermore, leveraging a reference stochastic motion model, the robust adaptive control term is designed using the backstepping method, deriving update laws for estimating both the constant and stochastic components of the wave-induced forces and moments, consequently improving vertical motion suppression performance.
The decoupled design of the Extended State Observer (ESO) compensation module and the backstepping control module serves as a pivotal enabler for realizing “stochastic disturbance adaptation”. ① The ESO compensation module is dedicated to “disturbance estimation”: it achieves this by decomposing the deterministic and stochastic components of wave-induced disturbances and thereafter delivers real-time compensation signals and covariance information. This design thereby overcomes the inherent limitation of conventional backstepping control—namely, its neglect of the statistical properties of disturbances. ② In contrast, the backstepping control module centers on “control law optimization”. Leveraging the desired trajectory and the disturbance information furnished by the ESO, it formulates virtual control laws and actual control commands in a hierarchical fashion. This approach effectively precludes the logical ambiguity that would arise from conflating “disturbance estimation” with “control computation”. Notably, this decoupled design not only guarantees the independence of disturbance estimation (facilitating the subsequent integration of more advanced observer architectures) but also streamlines the complexity associated with control law derivation, ultimately enhancing the scalability of the overall control framework.
Figure 4 shows the hydrodynamic coefficients of the trimaran.
3. Disturbance Observer Design
Due to the existing lumped disturbance, which consist of decoupling term, constant component of stochastic wave disturbance, and unmodeled error, the control law obtained using the nominal control system cannot eliminate the steady state error so as to cause the bad performance and poor robustness. Based on the separation principle, the disturbance estimation design can be conducted independently of the control design; thus, the disturbance observer is adopted to estimate the lumped disturbances of decoupled motion control models of heave and pitch. The disturbance compensation strategy has been widely used in many areas, and in order to estimate the lumped disturbance of decoupled heave motion model, the adopted disturbance observer can be formulated as
where
denotes the desired value of the observed output, i.e., lumped disturbance
, and
is the estimated value of
.
is the observer gain. Dot represents the normal time derivative.
Referring to the decoupled heave motion model (19), the lumped disturbance can be obtained as
where the obtained lumped disturbance
is the desired value of
defined in (21). Substituting (22) into (21), it can be formulated as
Defining the auxiliary observer state
as
, the lumped disturbance can be derived as
Substituting (24) into (23), the observer can be obtained and formulated as
The block diagram of the disturbance observer described in (24) and (25) is shown in
Figure 5. In order to achieve the accurate estimation, the disturbance estimation
should be close to the actual lumped disturbance
as much as possible. Equivalently, the deviation
should tend to be zero. The time derivative of the defined estimation error can be written as
The motion state of high-speed multihull consists of the low-frequency and high-frequency motion, and the latter can only cause slight motion with a nearly unchanged position. Only the low-frequency motion is considered in this paper; thus, the lumped disturbance is assumed to be unchanged during the sampling periods of onboard sensors. The candidate Lyapunov function of the adopted disturbance observer can be selected as
Then, the derivative of the chosen Lyapunov function can be obtained as
where the observer gain should be properly chosen as
, after which the condition
can hold such that the convergence of the used disturbance observer can be ensured.
The forward compensation control for the decoupled heave motion model can be given by
Similarly, the disturbance observer used for the decoupled pitch model can be formulated as
where
denotes the desired value of the observed output in the pitch model, i.e., lumped disturbance
, and
is the estimated value of
.
is the observer gain.
Considering the decoupled pitch motion model (20), the lumped disturbance can be obtained as
where the obtained lumped disturbance
is the desired value
defined in (30). Substituting (31) into (30), it can be formulated as
Defining the auxiliary observer state
as
, the lumped disturbance can be derived as
Substituting (33) into (32), the observer can be obtained and formulated as
Except for different denotations, the block diagram of the disturbance observer described in (33) and (34) is mostly the same with
Figure 5, thus its omission here. The forward compensation control for the decoupled pitch motion model can be given by
Remark 2. It can be obviously seen from (21) and (30) that the actuator deflection is positively associated with the observer gain, and the large gain can cause the much fast control movement which can be beyond the operation range.
4. Control Design
Considering the decoupled heave motion model (19) and pitch motion model (20), the simple generalized formulation is a kind of cascade structure with strict feedback form. Thus, the popular control method backstepping control strategy can be utilized for the control design to achieve the control objective. The control design for the decoupled heave motion model (19) is first considered and can be divided into two steps. Referring to the first equation of the heave motion model, the heave velocity can be used as the virtual control to stabilize the difference between the heave displacement and desired value at the origin in probability. In the second and last step of the control design for the heave motion model, the control input can be designed to stabilize the error between the heave velocity and its virtual control designed in the first step at the origin in probability. The control design process of the decoupled pitch motion model is basically the same except for different denotations.
Let
and
be the errors of the heave displacement and heave velocity, respectively, where
denotes the virtual control of the heave velocity
. As the adaptive control objective is to mitigate the excessive vertical motions of high-speed multihull, the desired heave displacement can be assumed to be zero, i.e.,
. Differentiating both sides of the error between the heave displacement and its desired value, it can be obtained that
Then, the virtual control
should be designed so as to stabilize the error (36) at the origin. Due to the Hessian terms in the infinitesimal generator described as (A3), the quartic form of the candidate Lyapunov function is used instead of the common quadratic form normally adopted in the control design, and can be formulated as
Differentiating both sides of (37), the infinitesimal generator
can be obtained as
where the virtual control can be chosen as
. Substituting the virtual control into (38) and (36) yields the following:
Taking into account the second equation of the decoupled heave motion model, the candidate Lyapunov function can be chosen as follows:
Referring to (A3), differentiating both sides of (41), the infinitesimal generator can be obtained as
where the time derivative of
is represented by
, and the second order partial derivative
is
Using the Young’s inequality, the following inequalities can be derived as
Then, (42) can be rewritten as follows:
where the constant
should be strictly positive, i.e.,
, then the control input
can be chosen as
where
is a strictly positive constant with
.
Substituting (48) into (47) yields the following:
Based on (48), the error dynamics of the heave velocity
can also be obtained as:
It is assumed that the lumped disturbance
and unknown time varying covariance
are both bounded, such that the condition
and
can be satisfied. Then, (49) can be rewritten as
where
,
,
, and
. Using Theorem A1 yields the following:
The expectation of the existing unique strong solution of the closed system (40) and (50) can be further obtained as
It can be obviously seen that the constant can be arbitrarily large by choosing sufficiently large and , resulting in the sufficiently small value of .
Theorem 1. If the assumptions that the lumped disturbance and unknown time-varying covariance are both bounded, i.e., and , can be satisfied, and there exist the constants , , and the designed control law (48), such that the closed loop system consisting of (40) and (50) has a unique strong solution. Furthermore, the expectation of the existing solution can converge to an arbitrarily small value as described in (53) if choosing sufficiently large values of and .
Referring to Theorem 1, the designed control law (48) can make the expectation of the unique strong solution of the closed loop system arbitrarily small, but the Young’s inequalities used in (45) and (46) make the designed controller conservative, resulting in limited control performance. In order to reduce conservatism, the update law of the assumed bounded variables and should be designed.
Let
and
, where
, and
and
denote the estimation and estimation error of the variable, respectively. The candidate Lyapunov function can be chosen as follows:
where
is symmetric and positive definite, and
is a positive constant, i.e.,
.
Differentiating both sides of (54), the infinitesimal generator
can be obtained as:
Using the Young’s inequality for the term
, it can be derived as
Substituting (44) and (56) into (55) yields the following:
where
.
Using the projection algorithm formulated in Definition A4, the control input
, and update laws of the estimated values
and
can be chosen as
where
is a positive constant.
Referring to the third derived condition of the projection algorithm, i.e.,
, substituting (58) and (59) into (57) yields
Based on (58) and (60), the error dynamics of the heave velocity
can also be obtained as
Analogous to (51), (60) can also be rewritten as
where
Using the first condition given in Definition A4 yields
, and
, where
denotes an arbitrarily small positive constant, then it can be obtained that
Substituting (64) into (63), it can be obtained that
Referring to (65) and Theorem A1, it can be concluded that the closed loop system consisting of (40), (58), (59), and (61) has a unique strong solution. Different from Theorem 1, the designed controller formulated in the first equation of (58) and (59) cannot make the expectation of the existing solution exponentially converge to an arbitrarily small value, but make the expectation of the defined error function convergent to the value described as .
Recalling (54), the candidate Lyapunov function can be rewritten as
where
and
. It can be clearly seen that the function
is a
function of
.
According to the right side of (60), let , and it can be concluded that the defined function is a strictly increasing function, as the coefficients and are chosen such that the conditions and hold. Thus, there exists functions and such that and , where . Referring to (60), it can be rewritten as , and then it can be obtained as .
Applying Theorem A2 yields the following:
Theorem 2. If the assumptions that the lumped disturbance and unknown time varying covariance are both bounded, i.e., and , can be satisfied, and there exist the constants , , and the designed control law formulated as the equation of (58) and (59), such that the closed loop system consisting of (40), (58), (59) and (61) has a unique strong solution. Furthermore, the defined error function can converge to an origin centered ball in probability as described in (67).