Advanced Stochastic Control Systems with Engineering ApplicationsView this Special Issue
Nonlinear Model Predictive Control with Terminal Invariant Manifolds for Stabilization of Underactuated Surface Vessel
A nonlinear model predictive control (MPC) is proposed for underactuated surface vessel (USV) with constrained invariant manifolds. Aimed at the special structure of USV, the invariant manifold under the given controller is constructed in terms of diffeomorphism and Lyapunov stability theory. Based on MPC, the states of the USV are steered into the constrained terminal invariant manifolds. After the terminal manifolds set is reached, a linear feedback control is used to stabilize the system. The simulation results verified the effectiveness of the proposed method. It is shown that, based on invariant manifolds constraints, it is easy to get the MPC for the USV and it is suitable for practical application.
The waterjet propulsor is widely used to thrust existing planning surface vessels. The conventional method to control planning surface vessels is indirectly achieved through the course control which is actuated by a steerable nozzle. If the planar position and course are controlled directly, we need to regulate the angle and the thrust force of the steering nozzle to control the movements in three degrees of freedom synchronously. Obviously, the control system of planning surface vessels is typical underactuated system. In order to ensure the safety of the planning surface vessel, many constraints such as the angle of the steering nozzle and radius of gyration must be in consideration in the design process of ship motion controller; otherwise it will undermine the performance of the planning surface vessels and even lead to collapse of the hull and other serious consequences. The underactuated system with constraints is essentially nonlinear system and cannot be stabilized by any smooth time-invariant control laws. Predictive control is an effective optimization control method to deal with constrains [1–6].
In general, the use of MPC in an underactuated structure system necessitates a means of switching among the available models to the one that best describes the current operating condition. A closely related work is the stability analysis of switched stochastic systems by  in which dissipativity-based sliding mode control was constructed. Since designing MPC controllers that stabilize underactuated system may not result in a stable global closed-loop system, closed-loop stability in switch model/control approaches has also been studied . The study in the paper is aimed to analyse the underactuated characteristics of planning surface vessels and guarantee safe movements of the vessels. Furthermore, based on predictive control approach, the problem of the stabilization and tracking control is solved under the condition of reserved safety constraints.
Control of underactuated systems has been one of the active research topics due to its intrinsic nonlinear nature and practical applications. As a typical example of underactuated systems, control of an underactuated ship has been focused on recently. The main difficulty in the control of underactuated ships is that they are not actuated in the sway axis. This configuration is the most common among the surface ships . Furthermore, unlike underactuated systems with nonintegrable constraints, the surface vessels under the consideration are a class of underactuated systems with nonintegrable dynamics and are not transformed into a driftless system . Nevertheless, several authors have studied the trajectory tracking control problem. A discontinuous control approach with two stage control laws switched on at given time is proposed based on the stability analysis of the global transformed system in . In , the authors proposed a kinematic tracking controller that achieved global exponential practical stability of an underactuated surface vessel. In , a continuous time-invariant control law was proposed to obtain semiglobal exponential position and orientation tracking, provided the desired angular trajectory remains positive. Based on the cascaded approach, a global tracking result was obtained in [14, 15]. The stability analysis relied on the stability theory of linear time-varying systems. An application of the recursive technique proposed in  for the standard chain form systems was used in  to provide exponential stability of the reference trajectory. Based on Lyapunov’s direct method and passivity approach, two constructive tracking solutions were proposed in  for an underactuated ship. The constructive control design procedure exploited the inherent cascade-interconnected structure of the ship dynamics and actually generated an explicit Lyapunov function whose availability might suit the requirements of robust and adaptive control design. With the help of the backstepping design methodology, a nonlinear time-invariant control law was proposed in  for an underactuated surface vessel. But the control design in  was not complete and lacked a further step in the backstepping procedure. In the comment letter , the control laws in  were revised and the states decayed asymptotically to zero.
Model predictive control (MPC) is a popular technique for the control of slow dynamical system subject to input and state constraints. At any time instant, MPC requires the online solution of an optimization problem to compute optimal control inputs over a fixed number of future time instants, known as the finite horizon or quasi-infinite horizon. Using MPC, it is possible to handle inequality constraints on the manipulated and controlled variables in a systematic manner during the design and implementation of the controller. Perhaps the principal shortcoming of existing MPC-base control techniques is their inability to explicitly incorporate plant model uncertainty. The fact that the rudder actuation is limited in amplitude and rate makes MPC approach a natural choice for the design of the path following controller. In , a standard model predictive control approach for path following with roll constraints of marine surface vessels in calm water using the rudder as the control input has been proposed. The focus is on satisfying all the input (rudder) and state (roll) constraints while achieving satisfactory path following performance. For notational convenience the ship dynamics in  are written into linearized matrix form based on the assumption that surge velocity is constant and the yaw moment is proportional to the rudder angle. However, the former assumption is hardly admissible in engineering. In , an analytic model predictive controller is presented for path following of an underactuated ship maneuvering along a predefined path. The mathematical model of ship motion is described by using Serret-Frenet frame, and a systematic method is provided to guarantee the stability of the closed-loop system in terms of transforming the original single-input multiple-output (SIMO) into an equivalent single-input single-output (SISO) system. However, the MPC algorithm proposed in  is designed as an analytic model predictive controller which is affected by the accuracy of the parameters.
This paper illuminates the stabilization approach for underactuated surface vessels with only a surge force and a yaw moment. A nonlinear model predictive controller is presented for steering the states of underactuated ship into a desired terminal invariant manifolds. After the terminal manifolds set is reached, a linear feedback control is used to stabilize the system. However, in the techniques mentioned above, plant modeling is the critical step to obtain feedback controller and the control result is strongly influenced by the model; the problems inherent to plant modeling are inevitable. Moreover, even complex models cannot cover all the system dynamics [23–26]. In the future work, we will make efforts to design data-driven MPC controllers to overcome these problems.
2. Problem Formulation
In this paper, we consider the trajectory tracking control problem of a surface vessel shown in Figure 1. There is no side thruster, but two independent main thrusters are located at a distance from the center line in order to provide both surge force and yaw moment.
The dynamics and kinematics of an underactuated surface vessel are described as follows : The inertia matrix and the damping matrix are constant and positive definite. The vector denotes the control forces in surge and sway and control torque in yaw. In this paper, the surface vessel is assumed as the common thruster configuration that has no side thruster, such as . So the second component of (1) behaves as a nonholonomic constraint, which is a nonintegrable relation involving not only the generalized coordinates and velocities but also the generalized accelerations . is the matrix of Coriolis and centripetal terms also including added mass. is the rotation matrix for the transformation between body-fixed and earth-fixed coordinates: The vector denotes the North and East positions and orientation of the underactuated surface vessel in the earth-fixed coordinate system. The vector denotes the linear velocities in surge and sway and the angular velocity in yaw.
As a general accepted conclusion [29, 30], there is no continuous time-invariant feedback control law that makes the zero origin an asymptotically stable equilibrium of the system (1) and (2), for the system does not satisfy Brocketts condition . Then time-varying and discontinuous control approaches are only taken into account in this paper.
Neglecting the motions in heave, roll, and pitch, the simplified kinematic model which describes the geometrical relationship between the earth-fixed (E-frame) and the body-fixed (B-frame) motion is given as The following global coordinate transformation and feedback transformation are adopted before control design. Define It is proved that the state transformation (5) is a global diffeomorphism . The feedback transformation is With the state and feedback transformation (5)-(6), the system (1)-(2) is eventually transformed to The system (7) has the same diffeomorphism properties as the system (1) and (2) ; that is, if then converges to zero as .
Lemma 1. If there exists a control law which globally uniformly asymptotically stabilizes the system then the system (7) under the control law is also globally uniformly asymptotically stabilized.
Proof. An approach to prove Lemma 1 based on Lyapunov stability theorem has been given in . Therefore, to stabilize the system (1) and (2), it is only needed to design a stabilizing control law for the system (8). In the following section, a discontinuous and time-varying control approach with MPC control method is proposed for the stabilization of the system (8).
3. Control Design
Let us recall the following definitions firstly.
Definition 2. Let be a smooth map. A manifold is said to be invariant for the control system if all system trajectories starting in at remain in this manifold for all . In other words, the Lie derivative of along the vector field is zero () for all .
Definition 3. A manifold is said to be asymptotically attractive in an open domain of if, for all such that , .
3.1. Construction of the Invariant Manifold
First, in order to construct the invariant manifold of the system (8), assume that is a linear state feedback such that Substitute (9) into (8); we obtain The resulting closed-loop system (10) can be successively integrated to obtain where , , , , and are the integration constants, which can be determined, at , as a function of the initial conditions , and . Besides, from (11), one can easily see that tends to when tends to infinity. So, if we take the initial conditions such that and , then the whole state tends to the origin. Setting in (11), and can be determined. Substituting by in the previous functions leads to Let From (13), it appears clearly that if the state variables belong to the 2-dimensional manifold then the whole state tends to the origin, since and decay exponentially to zero. Furthermore, this manifold is invariant under the linear state feedback (9), as it is shown in the following result.
Proof. Denote vector fields of system (10) under the linear state feedback (9)
Evaluating the Lie derivatives of along the vector fields (16) yields
It appears clearly that the state variables belong to the 2-dimensional invariant manifold.
Hence, we can construct the invariant manifold of the system (10) as , which has the following characters:(1); (2)to stabilize system (8) exponentially, it suffices to bring the state variables into by an additional state feedback, namely, .
Now it appears clearly that if the initial conditions are locating in the invariant manifold , the system variables decay exponentially to zero in terms of linear feedback control. If the initial conditions locate outside of , in order to stabilize the system, we should force the system variables into firstly and then use the feedback control to stabilize the system.
In this paper, an MPC method is proposed for system (8) with the initial conditions out of the manifolds . Consider an initial state and a control horizon of . At initial time, let the manifolds be the terminal constraint set. The first objective of the proposed algorithm is to use a T-step control horizon to steer the terminal set-valued state prediction into the terminal constraint set . The detail solution can be achieved by the minimization problem in Section 3.2. Secondly, use the feedback control to stabilize the system to the origin.
3.2. Design of MPC Controller
In this subsection we focus our objective on the determination of the first term to make the MPC controller steer the state into the terminal manifold , asymptotically attractive. Once on it, the whole state tends to zero under the residual linear state feedback (9).
MPC is an attractive strategy for systems subject to terminal constraints. Due to the USV systems with terminal constraints, we obtain the control input by minimizing a nominal cost over a finite predictive horizon as follows: s.t. where , , and denote the time horizon, the running, and terminal costs. denotes the terminal constraint set.
Substituting by , we can obtain Selecting and leads to
Proposition 5. If the optimization problem in (18) and (19) is feasible, the closed-loop underactuated system (10) with terminal invariant manifolds constraints is asymptotically stable in terms of MPC controller.
Proof. Firstly, define the “MPC value function” as ; denotes the optimal solution of (18), denotes the sampling time, and denotes the predictive and control horizon. There exists a scalar such that for each time and each , we can choose a control function , satisfying 
In sampling time , the value function for is
Choose sample time small enough such that extending the process to , will satisfy (22). To this control it will correspond to the extended trajectory . The condition (22) guarantees that the extended process taken in the interval is admissible for problem . However, since this process is not necessarily optimal, we have
Integrating (22), we have
Finally, we obtain
Due to , we know the value function is decreasing on each interval for any and the function is smaller at than at . Hence the close-loop system (8) is asymptotically stable.
The stabilizing properties of this approach can be confirmed by the existence of an admissible solution to the open-loop optimization (21) at initial time , and so stability is guaranteed provided that is reachable in time. Then the condition is guaranteed by using the linear feedback control . Because , the condition is satisfied. It is clear that condition (22) is satisfied. (A thorough discussion of the previous problems can be found in .)
The approach was first described in . In this case, outside the invariant manifolds centered at the origin, we have to solve the open-loop optimal control problem with (21). Before we reach , we have a free time problem. After the set is reached, we switch to a linear stabilizing feedback controller for the linearized system. The course of solution is described as follows: where denotes the control law by using nonlinear MPC and denotes the linear feedback control law.
4. Simulation Results
In , an underactuated actual ship named “Northern Clipper” is introduced. Consider the simulation model with parameters as “Northern Clipper” in : kg, kg, kg, kg/s, kg/s, and kg/s. Length of “Northern Clipper” m, and mass kg. In this section, the effectiveness of the proposed MPC control law is verified by following simulation. For the purpose of comparisons, more simulations with sliding mode control approach proposed in  and backstepping control proposed in  are done to verify the advantage of the MPC method. The control law is selected as Proposition 5, and the initial values are selected as m, m, rad, m/s, and rad/s.
The control parameters are selected as , , and . The performance cost is selected as (21). The terminal manifolds are selected as . Sampling time is selected as s. Predictive and control horizon are selected as s.
Simulation results are shown in the following figures, and the simulation time is set as 150 s. Figure 2 gives the time response of the position . Figure 3 gives the time response of the orientation and orientation velocity . Figure 4 gives the time response of the velocities . The responses of the control inputs and are shown in Figure 5.
Figures 2–5 show that the three control laws all asymptotically stabilize the underactuated surface vessel to the zero origin. Since the MPC control law guarantees a faster convergence rate of the simulation system, the MPC method may be superior to the other two. Furthermore, Figure 5 shows that surge control force given by MPC is always positive. Compared with reverse thrust for an actual ship, positive thrust is easier to achieve in practice. Therefore, the MPC approach gets a more favorable control effect.
This paper proposes the stabilization approach for underactuated surface vessels with only a surge force and a yaw moment. The invariant manifolds constraints are studied, and stability theory of MPC controller is further developed, which is applied to the stabilization control of underactuated surface vessel. For the stabilization control of underactuated surface vessel, a nonlinear MPC control law with terminal invariant manifolds constraints is designed through coordinate transformation and state feedback transformation based on diffeomorphism and Lyapunov stability theory. The simulation results show that the proposed control law can effectively deal with the problem of stabilization control of underactuated surface vessel.
It should be noted that the controller proposed in this paper is developed with constant parameters. In the future work, efforts will be made to design the data-driven controller with uncertain parameters to reduce the effect of noisy data and computational complexity.
The authors are grateful to their colleagues from the College of Information and Telecommunication and the College of Automation in Harbin Engineering University for providing helpful comments. This work is partially supported by the National Natural Science Foundation of China (61201410 and 51379044), Fundamental Research Funds for the Central Universities (HEUCF130804), and Heilongjiang Province Natural Science Foundation Projects (F200916).
R. Hedjar, “Adaptive neural network model predictive control,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 3, pp. 1245–1257, 2013.View at: Google Scholar
V. Vesely, D. Rosinova, and T. Nguyen Quang, “Networked output feedback robust predictive controller design,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 10, pp. 3941–3953, 2013.View at: Google Scholar
S. Bououden, M. Chadli, F. Allouani, and S. Filali, “A new approach for fuzzy predictive adaptive controller design using particle swarm optimization algorithm,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 9, pp. 3741–3758, 2013.View at: Google Scholar
V. Vesely and J. Osusky, “Robust multivariable generalized predictive control design,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 8, pp. 3377–3390, 2013.View at: Google Scholar
T. I. Fossen, Marine Control Systems, Marine Cybernetics, Trondheim, Norway, 2002.
K. Y. Pettersen and H. Nijmeijer, “Tracking control of an underactuated surface vessel,” in Proceedings of the 37th IEEE Conference on Decision and Control, pp. 4561–4566, Tampa, Fla, USA, December 1998.View at: Google Scholar
E. Lefeber, Tracking control of nonlinear mechanical systems [Ph.D. thesis], Department of Mechanical Engineering, Twente University, Twente, The Netherlands, 2000.
Li Zhen, Path following with roll constraints for marine surface vessels in wave fields [Ph.D. thesis], University of Michigan, Ann Arbor, Mich, USA, 2009.
X. F. Wang, T. S. Li, Z. J. Zou, and W. L. Luo, “Nonlinear model predictive controller design for path following of underactuated ships,” Journal of Ship Mechanics, vol. 14, no. 3, pp. 217–227, 2010.View at: Google Scholar
T. I. Fossen, Guidance and Control of Ocean Vehicles, Wiley, New York, NY, USA, 1994.
K. Y. Pettersen and O. Egeland, “Exponential stabilization of an nderactuated surface vessel,” in Proceedings of the 35th IEEE Conference on Decision and Control, pp. 967–972, Kobe, Japan, 1996.View at: Google Scholar
R. W. Brockett, “Asymptotic stability and feedback stabilization,” in Proceedings of Conference Progress in Mathematics, vol. 27, pp. 181–208, Boston, Mass, USA, 1983.View at: Google Scholar
F. Mazenc, K. Y. Pettersen, and H. Nijmeijer, “Global uniform asymptotic stabilization of an underactuated surface vessel,” in Proceedings of the 41st IEEE Conference on Decision and Control (CDC '02), pp. 510–515, Las Vegas, Nev, USA, December 2002.View at: Google Scholar