Abstract

A nonlinear model predictive control (MPC) is proposed for underactuated surface vessel (USV) with constrained inputs. Aimed at the special structure of USV, a state-dependent coefficient (SDC) under the given USV is constructed in terms of diffeomorphism and state-dependent Riccati equation (SDRE) theory. Based on linear matrix inequalities (LMIs), the states of the USV are steered into an operating region around zero. When the states reach the region, the control law is switched to stabilize the system. And the constrained control input of the considered system is solved by convex optimization based on MPC involving LMIs. The simulation results verified the effectiveness of the proposed method. It is shown that, based on LMIs, it is easy to get the MPC for the USV with input constraints.

1. Introduction

Over the past decade, control of underactuated systems has been one of active research areas in control society. One feature of underactuated systems is that the number of independent actuators of the system is less than that of the degree of freedom. The challenging control problem is how to design a stabilizing control law such that the state of the closed-loop system asymptotically converges to the origin. In this note, we consider the dynamic positioning-control problem for a ship that has no side thruster, but two independent main thrusters located in a distance from the center line in order to provide both surge force and yaw moment. The control problem considered in this note is to find a feedback law that stabilizes both the position variables and the orientation, using only the two available controls. Since we attempt to control three degrees of freedom with only two independent controls, we have an underactuated control problem.

The dynamics of this underactuated system is complex enough to yield a rich source of control problems, yet simple enough to permit a complete mathematical analysis. It has been shown in [1] that underactuated vessels do not satisfy Brockett’s necessary condition [2] if the unactuated dynamics contain no gravitational field component. In this case, these vessels are not asymptotically stabilizable to a given equilibrium configuration via time-invariant continuous feedback laws.

Stabilization of underactuated surface vessels has been tackled in a number of research studies in the last few years [36]. The controller in [7], which can be viewed as a time-varying controller devised to circumvent Brockett’s limitation, is proposed. It consists of a supervising logic unit and subordinate time-invariant controllers. The asymptotic stability is rigorously proven using Lyapunov analysis. A sliding mode control (SMC) law [8] is presented by introducing a first-order sliding surface in terms of surge tracking errors and a second-order surface in terms of lateral motion tracking errors. In [9], a discontinuous feedback control law has been discussed for the exponential convergence of the equilibrium point under certain assumptions on the variables initial value. Contrastively, several transformations in [10] are introduced to represent the system into a nonlinear cascade form. One of the desirable features of the suggested approach in [10] is that it provides a systematic procedure to transform a class of nonholonomic dynamical systems into a nonlinear cascade form. Such representation opens the possibility of developing more constructive control tools than those already existing in [9]. However, it is a pity that the control design in [10] is not complete and lacked a further step in the backstepping procedure. In the comment letter [11], the control laws in [10] were revised and the states decayed asymptotically to zero. In [12], 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. With the aid of terminal sliding mode (TSM) method, the two asymptotically stabilizing control laws for the transformed subsystems are designed independently to asymptotically stabilize the underactuated surface vessel. A controller designed by using Lyapunov direct method and the popular backstepping techniques [13] is utilized to stabilize the USV system to the origin.

In realistic implementations, the performance of control systems is often limited due to constraints on inputs or states that naturally arise. None of the references cited above has taken those constraints explicitly into account. MPC is a control technique which embeds optimization within feedback to deal with systems subject to constraints on inputs and states [14]. Over the last few decades, MPC has proven to be successful for a wide range of applications including chemical, food processing, automotive, and aerospace systems [15]. 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. By taking these physical constraints into account, control actions that respect actuators limits can be generated. As the pioneer work of MPC application in control of surface vessels, authors in [16] consider rudder saturation in their MPC controller and adopt a 1DoF yaw dynamical model. By using model predictive control algorithm, a rudder roll stabilization (RRS) system is presented in [17]. The control objective is to regulate the heading to a desired value and to reduce the roll angle under various sea conditions. In [18], 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. Based on MPC, the states of the USV are steered into a terminal manifolds set. After the terminal manifolds set is reached, a linear feedback control is used to stabilize the system. However, just as the authors said in their paper, the control design proposed is developed with constant parameters without considering parameter perturbation. In [19], the focus is on satisfying all the input (rudder) and state (roll) constraints by using MPC to achieve satisfactory path following performance. Authors in [20] present an experimental implementation of a model predictive control (MPC) strategy for path following on a model ship. The objective of the proposed algorithm is to control cross-tracking error and heading angle using both linearized and nonlinear models. To implement MPC with a nonlinear model, the integrated perturbation analysis and sequential quadratic programming (InPA-SQP) method are introduced to solve the constrained optimal control problem. For notational convenience, the ship dynamics in [19, 20] are written into linearized and nonlinear 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.

This paper illuminates the stabilization approach for underactuated surface vessels with only a surge force and a yaw moment. The technique in this paper leads to convex LMIs based online optimization problem when the USV model is described by SDC in terms of diffeomorphism and SDRE theory. Moreover, the constrained control input, index, and stability of the considered system are solved by convex optimization based on LMIs. The simulation results involving an actual underactuated ship Northern Clipper [21] verified the effectiveness of the proposed method.

Notation. The symbol will be used in some matrix expressions to induce a symmetric structure. denotes identity matrix. For example, when and are symmetric matrices, then

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 located in 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 [22]

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 considered as the common thruster configuration that has no side thruster, such as . So, the second component equation of (2) behaves as a nonholonomic constraint, which is a nonintegrable relation involving not only the generalized coordinates and velocities but also the generalized accelerations [23]. 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. Consider The vector denotes the 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 (see [24, 25]), there is no continuous time-invariant feedback control law that makes the zero origin an asymptotically stable equilibrium of the system (2)-(3), for the system does not satisfy Brockett’s condition [2]. 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 (6) is a global diffeomorphism (see [22]).

The feedback transformation is With the state and feedback transformation (6)-(7), the system (2)-(3) is eventually transformed to The system (8) has the same diffeomorphism properties as the system (2)-(3) (see [22]); that is, if , then converges to zero as .

3. Control Design

MPC is a popular technique for the control of 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 (see [26]).

We will consider a nonlinear plant with input constraints, where the evolution of the state after time is predicted by the following model: The data of this model comprise a set containing all possible terminal states with constraints, a vector that is the set of the state constraints, and a given vector of possible set of control constraints. Our objective is to obtain a feedback law that (asymptotically) drives the state of our plant to the origin. In this paper, we consider the following quadratic objective: The domain of this optimization problem is the set of admissible processes, namely, pairs , comprising a measurable control function and the corresponding absolutely continuous state trajectory which satisfy the constraints of , where function is selected as terminal costs. We show that we can guarantee stability of the resultant closed-loop system, by choosing the design terminal constraints set and terminal costs to satisfy a certain stability condition. However, in the above technique, selecting nonlinear affine system (8) as the predictive model may give rise to a lot of problems such as complicated computation and difficulty solving the optimization; the problems inherent to nonlinear affine model are inevitable. In this work, we will make efforts to design MPC controllers involving SDC model to overcome the previous problem (see [27]). System (8) is equivalent to the following nonlinear affine model: It is well-known that the nonlinear dynamics (8) can be represented by the following linear structure having SDC (state-dependent coefficients) by using SDRE theory (see [28]): where and . It is also known [28] that, in the multivariable case, there are an infinite number of ways to bring the nonlinear system to SDC form. It is clear that the modeling errors caused by the traditional linear methods are avoided.

Definition 1. is a controllable (stabilizable) parameterization of the nonlinear system (in a region ) if the pair is pointwise controllable (stabilizable) in the linear sense for all (see [28]).
Construct the nonlinear feedback controller via Solve the state-dependent Riccati equation (SDRE) to obtain . Note that is a solution of .
Physical limitations inherent in ship power transmission system invariably impose hard constraints on the manipulated variable input. In this section, we show how limits on the control signal can be incorporated into our MPC algorithm as sufficient LMI constraints. Predictive control is an effective optimization control method to deal with constrains. The basic idea of the discussion that follows can be found in [26] in the context of discrete-time robust MPC. We present it here to clarify its application in our underactuated surface vessels setting and also for completeness of exposition.
The nonlinear dynamics (8) can be represented by the following linear structure having state-dependent coefficients: where The Euler discrete system of (15) is given by
We define the nominal cost as where and   . MPC is an attractive strategy for systems subject to input constraints. Due to the systems with constrained control input, we obtain the control input by minimizing a nominal cost over an infinite predictive horizon as follows: It is very difficult to resolve the optimization (20) directly. We can see that, based on LMI constraints, it is easy to get the optimization in system (20).

Theorem 2. Consider the time-varying system (18)–(20), where is the state of the system (15) measured at sampling time . is the maximum value of the input . When is a controllable parameterization of the system (18), if there exist , , , , , and , the state feedback matrix in the control law that minimizes the upper bound on the performance objective function at sampling time is given by , where and are obtained from the solution (if it exists) of the following linear objective minimization problem. If the optimization problem in (21)–(23) is feasible, the closed-loop underactuated system (11) with input constraints is asymptotically stable. Consider

Proof. Consider the following.
Proof for Optimization in Performance Index. Using quadratic Lyapunov-Krasovskii function, the upper bound on the objective function is given as To guarantee the existence of the upper bound on the performance index, underlying inequalities must be given as with the conditions and . Summing (22) from 0 to gives where .
Using the Schur-complement [29], we get (21).
Proof for the Stability in System (18)-(19). Substituting (18) to (19) gives where ; we get Using the Schur-complement, we get Substituting and pre- and postmultiplying by give LMI (22).
Proof for Input Constraints. Consider the Euclidean norm constraint . The constraint is imposed on the present and the entire horizon of future manipulated variables. Following [26], we have that is state-invariant ellipsoid. So, we get Using the Schur-complement, we get

Remark 3. The applicable conditions of Theorem 2 is that is a controllable parameterization of the system (18). This means that the condition must be satisfied. When , we have where the pair is not pointwise controllable. To solve the prevous problem, we define a constant which is close to zero but not equal to zero. When is close to zero, let ; the time-varying state matrix is substituted as Substituting (34) to (22) gives So, we get the following Theorem 4.

Theorem 4. Consider the time-varying system (18)–(20), where is the state of the system (15) measured at sampling time . is the maximum value of the input . If there exist , , , , , and , the state feedback matrix in the control law that minimizes the upper bound on the performance objective function at sampling time is given by , where and are obtained from the solution of the following linear objective minimization problem. Simultaneously, input constraints are satisfied.

Remark 5. After obtaining the MPC controller , we can get the control input for the origin system (5) by inverse diffeomorphism

4. Simulation Results

In [21], an underactuated actual ship named “Northern Clipper” is introduced. Consider the simulation model with parameters as Northern Clipper in [21]:  kg,  kg,  kg,  kg/s,  kg/s, and  kg/s. Length of  “Northern Clipper”  m, and mass  kg. This suggests that the system matrices should be scaled with respect to forward speed, ship length , and displacement (see [21]). The model parameters can be made nondimensional as , , , , , and . In this section, the effectiveness of the proposed MPC control law is verified by following simulation. The control law is selected as Theorem 4, and the initial values are selected as , , ,  m/s, , , , simulation time  s, and sampling time 0.05 s.

Simulation results are shown in the following figures, and the simulation time is set to 100 s. Figure 2 gives the time response of the positions , and orientation . Figure 3 gives the time response of the velocities and orientation velocity ; Figure 4 gives the time response of , . The responses of the control inputs and are shown in Figure 5. The trajectory is shown in Figure 6. The switching motion of the control signal has been highlighted as red “o” on the simulation Figures 25. Because is close to zero, the switching procedure is relatively smooth. Figures 26 show that the MPC control laws asymptotically stabilize the underactuated surface vessel to the zero origin. Moreover, the constraint on the control input is satisfied.

5. Conclusion

This paper proposes the stabilization approach for underactuated surface vessels with only a surge force and a yaw moment. The stability theory of MPC controller is further developed, which is applied to the stabilization control of underactuated surface vessel with input constraints. For the stabilization control of underactuated surface vessel, a nonlinear MPC control law is designed through coordinate transformation and SDRE based on LMIs. 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 solving LMI itself is a challenge in computation. Many research efforts in LPV community are directed to address the computational issues. For LPV, those large LMIs are only solved once. But for MPC, the LMIs have to be solved repeatedly at each sampling time. In the future work, efforts will be made to analyze that whether the algorithms are fast enough to do this at the rate required by the control sampling. As is well known, for a long time, efficient setting of the large set of tunable parameters has been a hard problem for MPC. Many available methods to deal with uncertain systems have already been developed (see [3033] and the references therein for more details). However, it should be noticed that MPC algorithm may perform very poorly when model mismatch occurs in spite of the inherent robustness provided by the feedback strategy based on the plant measurement at the next sampling time. MPC involving data-driven technique is suitable to overcome the previous problem [3438]. In this paper, the robustness of the proposed approach was not discussed in detail. Fortunately, MPC requires the online solution of an optimization problem to compute optimal control inputs over a fixed number of future time instants, which partly guarantee the robustness of the dynamics. For the perturbed impulsive USV system with uncertainties, it is the further work that will solve the robust control problem in future.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is partially supported by National Natural Science Foundation of China (61201410, 51379044), Fundamental Research Funds for the Central Universities (HEUCFX41304).