Fixed Time Control of Dynamic Positioning Ship with Unknown Interference

Abstract

This paper proposes a fixed-time control scheme to ensure that the dynamic positioning can accurately reach the specified position under external interference. A fixed-time state observer was developed to accurately estimate the total external unknown interference. Based on the dynamic positioning ship motion model, the inversion design method is used to ensure the stability of the system and eliminate various uncertain effects. A fixed-time backstepping sliding mode controller is designed. Finally, the simulation results show that the method has good performance and advantages.

Share and Cite:

Xu, P. (2020) Fixed Time Control of Dynamic Positioning Ship with Unknown Interference. Open Journal of Applied Sciences, 10, 246-257. doi: 10.4236/ojapps.2020.105019.

1. Introduction

Due to factors such as changeable marine environment, complicated operating conditions, and increasing water depth, the types of marine operating equipment are becoming more and more abundant. With the increase in offshore engineering operations, ships need to enter a more severe environment, and traditional anchorage positioning can no longer meet reality needs. Dynamic positioning has become an indispensable key technology for marine engineering equipment [1] [2]. At the same time, many ships have the characteristics of non-linearity and strong coupling as under-driven systems, so higher requirements are placed on the control system, and there is more and more research on this aspect in academia.

In recent years, nonlinear control theories such as pushback control and sliding mode control have attracted wide attention. Sliding mode control is based on the desired dynamic characteristics of the system to design the switching hyperplane of the system, so that the sliding mode controller makes the system state. The beam is switched to the hyperplane to overcome the uncertainty and external interference of the system, and the system can quickly reach the origin of the system along the hyperplane. However, SMC is prone to chattering, resulting in wear of actuators [3] [4]. However, the backstepping method [5] has no defects in this respect. It decomposes the nonlinear system into subsystems not exceeding the order, and designs virtual control to achieve global stability.

In the traditional method, the fastest form of convergence of the closed-loop system is exponential stability, and many problems in the backstepping method are discussed in the case where the closed-loop system satisfies the Lipschitz continuity and achieves gradual stability. The control results obtained in infinite time are not satisfied. Practical needs, and finite time stability are equivalent to the quantification of traditional control results. From the perspective of time optimization, the performance of the control system is analyzed, so that the closed-loop system’s limited time convergence control method is the time-optimal control method [6] [7] [8]. In [9], a time-limited controller was developed by introducing an integral sliding mode manifold. The combination of non-singular fast terminal sliding mode control and backstepping control achieves finite time convergence. However, in finite-time control, the convergence time depends largely on the initial conditions of the system under consideration. At the same time, as the initial value changes, the convergence time may tend to be infinite, and in actual life many initial values cannot be obtained in advance, which limits the practical application. Therefore, fixed-time control occurs in actual demand. Fixed-time control can provide transition time independent of the operating domain and maintain convergence time without readjusting control parameters.

Polyakov et al. [10] first introduced fixed-time stability, and the upper bound of the convergence time no longer depended on the initial conditions of the system. A fixed-time non-singular terminal sliding mode control scheme with matching lumped disturbances is proposed. In [11], by designing a fixed-time controller to make multiple vehicles reach a fixed-time consistency on their respective scales, a class of multi-scale fixed-time coordinated control problems is realized. In [12], a fixed-time disturbance observer (FTDO) is proposed to deal with actuator dead zones and disturbances.

Based on the above conclusions, this paper solves the design problem of dynamic positioning ship controller under unknown interference, and makes the ship stable in a fixed-time. The main contributions of this article are:

1) Use fixed-time observer (FTXO) to estimate external interference, so that the estimation time is not limited by the initial error.

2) Based on the observer, a fixed-time sliding mode control method based on the Backstepping method is proposed to get rid of the constraints of the initial conditions on the system and achieve the ultimate bounded stability of the system.

2. Problem Formulation and Preliminaries

2.1. Preliminaries

Assume that there is a nonlinear system:

x ˙ ( t ) = f ( x ( t ) ) , x ( 0 ) = 0 , f ( 0 ) = 0 (1)

where x = [ x 1 , x 2 , , x n ] T . f ( x ) is a continuous nonlinear function.

Definition If system f ( x ) satisfies the following points, the equilibrium x = 0 of System (1) is fixed-time stable:

System f ( x ) it has global finite time stability and T ( x ) converges to the origin within a finite convergence time;

There is a stable time equation T ( x ) , Guaranteeing T ( x ) T max , where T max is a constant.

Lemma 1 If there is a Lyapunov function V ( x ) satisfied V ˙ ( x ) ( α V ( x ) p + β V ( x ) q ) k , it shows that the origin of the system is stable at a fixed-time, which means that V ( x ) can converge to V ( x ) = 0 in a fixed time based on any initial value. The convergence time boundary is:

T 1 α ( 1 p ) + 1 β ( q 1 ) (2)

where α , β , p , q are positive constant, and 0 < p < 1 , q > 1 .

Lemma 2 For any nonnegative real constants [ x 1 , x 2 , , x n ] R , the following

inequality we can holds: ( i = 1 n | x i | ) υ i = 1 n | x i | υ , where υ R + , υ ( 0 , 1 ] .

If υ R + , υ > 1 , and ( i = 1 n | x i | ) υ n υ 1 i = 1 n | x i | υ . (3)

Lemma 3 For arbitrary positive real constants a, b, and c and positive real constants p and q satisfying 1 / p + 1 / q = 1 , the following inequality holds:

a b c p a p p + c q b q q (4)

2.2. Ship Dynamic Positioning Mathematical Model

The ship’s motions are described in two right-hand coordinate frames as shown in Figure 1. The earth-fixed frame indicated by O X 0 Y 0 Z 0 is an inertial frame and the ship-fixed frame indicated by AXYZ is a non-inertial frame. The origin O of the earth-fixed frame can be chosen as any point on the earth’s surface. The axis O X 0 is directed to the north, the axis O Y 0 is directed to the east, and the axis O Z 0 points towards the center of the earth. When the ship is port-starboard symmetric, the origin A of the ship-fixed frame is located at the gravity center of the ship. The axis AX is directed from aft to fore, the axis AY is directed to starboard, and the axis AZ is directed from top to bottom. The planes X 0 Y 0 and XY are parallel to the still water surface.

The mathematical model that describes the ship motions in DP mode is

η ˙ = R ( ψ ) ν M ν ˙ + C ( ν ) ν + D ( ν ) ν = τ + b (5)

Figure 1. North-east-down frame and ship-fixed frame [13].

η = [ x , y , ψ ] T represents the ship position vector in the north-east-down frame; ν = [ u , v , r ] T represents the ship velocity vector in the ship-fixed frame; τ = [ τ 1 , τ 2 , τ 3 ] T and b = [ b 1 , b 2 , b 3 ] T respectively represent propeller thrust and external environmental force. R ( ψ ) is a transformation matrix between coordinate systems. M ( v ) is mass matrix, C ( v ) is Coriolis centripetal matrix. D ( v ) is damping coefficient matrix and the following equalities hold

M ( v ) = [ m X u 0 0 0 m Y v m x G Y r 0 m x G N v I z N τ ] (6)

C ( v ) = [ 0 0 m ( x G + v ) + Y v v + Y r r ] 0 0 m u X u u m ( x G r + v ) Y v v Y r r m u + X u u 0 ]

D ( v ) = [ X u 0 0 0 Y v Y r 0 N v N r ]

2.3. Formula Conversion

Define dynamic positioning formula:

z = R ( ψ ) v (7)

where z = [ z 1 , z 2 , z 3 ] T .

So the formula can become:

{ η ˙ = z z ˙ = R ( ψ ) M 1 τ + δ η ˙ d = z d δ = R ( ψ ) s ( r ) v R ( ψ ) M 1 C ( v ) v R ( ψ ) M 1 D ( v ) v + R ( ψ ) M 1 b (8)

where δ denotes unknown concentrated interference, and η d = [ x d , y d , ψ d ] denotes the desired position.

Assume that the concentrated interference δ is continuously differentiable, that satisfies δ ˙ H n , H n is Upper limit constant.

2.4. Design of Fixed-Time State Observer

The fixed-time state observer obtains accurate information of speed and unknown disturbance in a comprehensive manner, so the observer can be designed as:

{ η ^ ˙ = z ^ k 1 s i g α 1 ( η η ^ ) c 1 s i g β 1 ( η η ^ ) z ^ ˙ = R ( ψ ) M 1 τ + δ + k 2 s i g α 2 ( η η ^ ) + c 2 s i g β 2 ( η η ^ ) δ ^ ˙ = k 3 s i g α 3 ( η η ^ ) + c 3 s i g β 3 ( η η ^ ) + γ s i g n ( η η ^ ) (9)

where η ^ , z ^ , δ ^ are estimated value, parameter α i = i α ( i 1 ) , β i = i β ( i 1 ) , i = 1 , 2 , 3 . Where α ( 1 ε 1 , 1 ) , β ( 1 , 1 + ε 2 ) and ε 1 , ε 2 are sufficiently small positive real number, and H n < γ .

The state observer gain is Hurwitz matrix:

A = [ k 1 1 0 k 2 0 1 k 3 0 0 ] (10)

k 1 > 0 , k 2 > 0 , k 3 > 0

The observation error of the observer converges to the origin within a fixed time, and convergence time is:

T i 1 k i , 1 1 1 α i + 1 k i , 2 1 1 β i (11)

The resulting estimation error e ˜ 1 = η η ^ , e ˜ 2 = z z ^ and e ˜ 3 = δ δ ^ . Following equations hold:

{ e ˜ ˙ 1 = e ˜ 2 k 1 s i g α 1 ( η η ^ ) c 1 s i g β 1 ( η η ^ ) e ˜ ˙ 2 = e ˜ 3 k 2 s i g α 2 ( η η ^ ) c 2 s i g β 2 ( η η ^ ) e ˜ ˙ 3 = δ ˙ k 3 s i g α 3 ( η η ^ ) c 3 s i g β 3 ( η η ^ ) γ s i g n ( η η ^ ) (12)

If there are positive definite matrices P 1 and Q 1 make:

A 1 T P 1 + P 1 A 1 = Q 1 (13)

where A 1 is Hurwitz matrix:

A 1 = [ k 1 1 0 k 2 0 1 k 3 0 0 ] (14)

According to Lemma 1, we can conclude that the error converges to zero within a fixed time, and the boundary time is:

T f = λ max ( 2 α i ) ( P 1 ) λ min ( Q 1 ) ( 1 α i ) + λ min ( P 1 ) λ min ( Q 2 ) ( β i 1 ) ρ (15)

where ρ is positive and ρ λ min ( P 1 )

When e i = 0 happen after T f , e i will remain zero. Then you can get e 1 = e ˙ 1 = 0 , e 2 = e 3 = 0 . In other words, for all values of t T 1 , there is a upper limit time T 1 .

e ˙ 3 = δ ˙ γ s i g n ( η η ^ ) = 0, t T 1 (16)

In reality, it is impossible to strictly implement e 3 = 0 due to defects such as noise, sampling steps, delay and interference. Therefore, a small range of convergence region e 3 | τ is proposed, Allow to reach the convergence area e 3 in a short time.

T d = e 3 | τ γ H n (17)

Therefore, the upper bound of the convergence time T u = T f + T d of the fixed-time extended state observer is obtained, completing the proof of the theorem.

3. Design of Fixed-Time Sliding Mode Controller with Backstepping

3.1. Controller Design

Using backstepping technology to solve the system status tracking problem, the design is as follows:

Make s 1 = η η d , therefore

s 1 = η ˙ η ˙ d = z η ˙ d (18)

Designing the virtual control rate:

z * = k 1 s i g ( s 1 ) p c 1 s i g ( s 1 ) q + z ^ (19)

where p, q, k 1 and c 1 are designing parameters.

We can get

s 2 = z z * . (20)

Because s ˙ 2 = R ( ψ ) M 1 τ + δ z ˙ * , we can design control input:

τ = ( k 2 s i g ( s 2 ) p c 2 s i g ( s 2 ) q + z ˙ * s 1 δ ) R ( ψ ) 1 M (21)

where k 2 , c 2 designing parameters.

The system can be summarized as follows:

{ s ˙ 1 = k 1 s i g ( s 1 ) p c 1 s i g ( s 1 ) q + s 2 + z η ˙ d s ˙ 2 = k 2 s i g ( s 2 ) p c 2 s i g ( s 2 ) q + δ s 1 δ (22)

As shown in the structural design shown in Figure 2, the impact of unknown interference on the ship is clearly reflected.

Figure 2. Controller structure of the dynamic positioning.

3.2. Stability Analysis

System Lyapunov function V = 1 2 s 1 2 + 1 2 s 2 2 .

We have:

V ˙ = s 1 s ˙ 1 + s 2 s ˙ 2 = ( k 1 | s 1 | p + 1 + c 1 | s 1 | q + 1 ) ( k 2 | s 2 | p + 1 + c 2 | s 2 | q + 1 ) + s 1 ( z η ˙ d ) + s 2 ( δ δ ) ( k 1 | s 1 | p + 1 + c 1 | s 1 | q + 1 ) ( k 2 | s 2 | p + 1 + c 2 | s 2 | q + 1 ) + | s 1 | | z η ˙ d | + | s 2 | | δ δ | (23)

According to the lemma 3:

{ | s 1 | | z η ˙ d | l p + 1 s 1 p + 1 p + 1 + l ( q + 1 ) | z η ˙ d | q + 1 q + 1 | s 2 | | δ δ | h p + 1 s 2 p + 1 p + 1 + h ( q + 1 ) | δ δ | q + 1 q + 1 (24)

where H > 0 Represents the upper limit of | z ˙ * | .

From the above formula:

V ˙ ( k 1 l p + 1 p + 1 ) | s 1 | p + 1 c 1 | s 1 | q + 1 ( k 2 h p + 1 p + 1 ) | s 2 | p + 1 c 2 | s 2 | q + 1 + l ( q + 1 ) q + 1 | z η ˙ d | q + 1 + h ( q + 1 ) q + 1 | δ δ | q + 1 (25)

Choosing design parameters such that

k 1 > l p + 1 p + 1 , c 1 > 0 , k 2 > h p + 1 p + 1 , c 2 > 0 . (26)

According to the lemma 4:

V ˙ ζ 1 ( | s 1 | p + 1 + | s 2 | p + 1 ) ζ 2 ( | s 1 | q + 1 + | s 2 | q + 1 ) + ζ 3 = ζ 1 ( | s 1 2 | p + 1 2 + | s 2 2 | p + 1 2 ) ζ 2 ( | s 1 2 | q + 1 2 + | s 2 2 | q + 1 2 ) + ζ 3 3 1 p 2 V p + 1 2 3 1 q 2 V q + 1 2 + ζ 3 (27)

where

{ ζ 1 = min { ( k 1 l p + 1 p + 1 ) , ( k 2 h p + 1 p + 1 ) } ζ 2 = min { c 1 , c 2 } ζ 3 = l ( q + 1 ) q + 1 | z η ˙ d | q + 1 + h ( q + 1 ) q + 1 | δ δ | q + 1 (28)

Because the global scope of | z η ˙ d | and | δ δ | are bounded, ζ 3 is bounded, so:

V ˙ 3 1 p 2 V p + 1 2 3 1 q 2 V q + 1 2 + ζ 3 (29)

For all t max { T 1 , T 2 } cases, the limit range of the system can be calculated:

3 1 p 2 V p + 1 2 3 1 q 2 V q + 1 2 + ζ 3 = 0 (30)

So we can get the equations:

{ 3 1 p 2 V p + 1 2 + ζ 3 2 = 0 3 1 q 2 V q + 1 2 + ζ 3 2 = 0 (31)

We have:

lim t V ( t ) 2 min { ( ζ 3 2 × 3 1 p 2 ) 2 1 p , ( ζ 3 2 × 3 1 q 2 ) 2 1 q } (32)

T 3 1 3 1 p 2 ( p 1 2 ) + 1 3 1 q 2 ( q 1 2 )

Because of the fixed-time observer, all state errors are limited and the formulas show that | z η ˙ d | and | δ δ | can converge to zero in finite times T 1 and T 2 . Therefore, the final settling time of the system is T = max { T 1 , T 2 , T 3 } .

4. Simulation

In order to verify the effect of the controller under unknown interference and the accuracy of estimation of external interference, assuming the initial position of the ship, η ( 0 ) = [ 0 m , 0 m , 0 rad ] T , v ( 0 ) = [ 0 m / s , 0 m / s ,0 rad / s ] , desired position η d = [ 10 m , 20 m , π / 3 rad ] T , observer parameter selection: k 2 = c 2 = 216 , k 3 = c 3 = 864 . α 1 = 0 .8 , α 2 = 0 .6 , α 3 = 0 .6 , β 1 = 1 .2 , β 2 = 1 .4 , β 3 = 1 .6 . The controller parameters are: p = 1 q = 9 / 5 , k 1 = c 1 = 50 , k 2 = c 2 = 25 .

External interference is: d = [ 1.1 + 2 sin ( 0.05 t ) + 1.3 sin ( 0.1 t ) 0.5 + 1.6 sin ( 0.03 t ) + 2.1 cos ( 0.02 t ) 4 sin ( 0.06 t ) 3 sin ( 0.04 t ) ] , and includes white noise in the range [−0.5, 0.5].

In Figure 3 and Figure 4, the ship’s tracking to the target position under unknown interference and the actual interference under white noise interference are shown.

Figure 3. Ship’s desired position η d

Figure 4. Estimated and actual values of external interference.

5. Conclusion

This paper studies the problem of dynamic positioning control with unknown external disturbances. The conclusion shows that using a fixed-time observer to estimate the unknown disturbance force outside the ship can help improve the accuracy and response speed of the ship control, and make the ship control stable in a short time. In the future, further research can be conducted on the basis of under drive.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Srensen, A.J. (2011) A Survey of Dynamic Positioning Control Systems. Annu. Rev. Control, 35, 123-136.
https://doi.org/10.1016/j.arcontrol.2011.03.008
[2] Hassani, V., Sorensen, A.J. and Pascoal, A.M. (2013) A Novel Methodology for Robust Dynamic Positioning of Marine Vessels: Theory and Experiments. Proc. of the 2013 American Control Conference, Washington, DC, 17-19 June 2013, 560-565.
https://doi.org/10.1109/ACC.2013.6579896
[3] Cui, R., Zhang, X. and Cui, D. (2016) Adaptive Sliding-Mode Attitude Control for Autonomous Underwater Vehicles with Input Nonlinearities. Ocean Engineering, 123, 45-54.
https://doi.org/10.1016/j.oceaneng.2016.06.041
[4] Dai, Y., Yu, S., Yan, Y. and Yu, X. (2019) An EKF-Based Fast Tube MPC Scheme for Moving Target Tracking of a Redundant Underwater Vehicle-Manipulator System. IEEE/ASME Transactions on Mechatronics, 24, 2803-2814.
https://doi.org/10.1109/TMECH.2019.2943007
[5] Mazenc, F., Pettersen, K.Y. and Nijmeijer, H. (2002) Global Uniform Asymptotic Stabilization of an Underactuated Surface Vessel. IEEE Transactions on Automatic Control, 47, 1759-1762.
https://doi.org/10.1109/TAC.2002.803554
[6] Du, H. Zhu, W., Wen, G. and Wu, D. (2017) Finite-Time Formation Control for a Group of Quadrotor Aircraft. Aerospace Science and Technology, 69, 609-616.
https://doi.org/10.1016/j.ast.2017.07.012
[7] Qiao, J., Zhang, D., Zhu, Y. and Zhang, P. (2018) Disturbance Observer-Based Finite-Time Attitude Maneuver Control for Micro Satellite under Actuator Deviation Fault. Aerospace Science and Technology, 82, 262-271.
https://doi.org/10.1016/j.ast.2018.09.007
[8] Hua, C., Wang, K., Chen, J. and You, X. (2018) Tracking Differentiator and Extended State Observer-Based Nonsingular Fast Terminal Sliding Mode Attitude Control for a Quadrotor. Nonlinear Dynamics, 94, 343-354.
https://doi.org/10.1007/s11071-018-4362-3
[9] Sun, H.B., Li, S.H. and Sun, C.Y. (2013) Finite Time Integral Sliding Mode Control of Hypersonic Vehicles. Nonlinear Dynamics, 73, 229-344.
https://doi.org/10.1007/s11071-013-0780-4
[10] Polyakov, A. (2012) Nonlinear Feedback Design for Fixed-Time Stabilization of Linear Control Systems. IEEE Transaction on Automat Control, 57, 2106-2110.
https://doi.org/10.1109/TAC.2011.2179869
[11] Zuo, Z. and Tie, L. (2014) A New Class of Finite-Time Nonlinear Consensus Protocols for Multi-Agent Systems Protocols for Multi-Agent Systems. International Journal of Control, 87, 363-370.
https://doi.org/10.1080/00207179.2013.834484
[12] Guo, G. and Zhang, P. (2019) Asymptotic Stabilization of USVs with Actuator Dead-Zones and Yaw Constraints Based on Fixed-Time Disturbance Observer. IEEE Transactions on Vehicular Technology, 69, 302-316
https://doi.org/10.1109/TVT.2019.2955020
[13] Fossen, T.I. (2011) Handbook of Marine Craft Hydrodynamics and Motion Control. John Wiley & Sons, Inc., Chichester, UK.
https://doi.org/10.1002/9781119994138

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.