Abstract

This paper investigates the coordination control of multiple marine vessels in different operational modes. Based on hybrid control theory, a novel coordinated formation control approach is proposed. The proposed method comprises several continuous state controllers and discrete event logics. Continuous controllers for coordinated formation, coordinated dynamic positioning and coordinated path following are designed, and an appropriate weighting function is given to switch between these controllers according to initiated commands. In order to ensure the security of coordination operations of vessels in arbitrary initial locations, the supervisory switching control method is employed in the integrated coordination control system where all the controllers are governed by a supervisor. The effectiveness of the proposed coordinated formation control approach is finally illustrated by simulations.

1. Introduction

Coordination control of multiple marine vessels has been receiving more and more attention in recent decades due to its widespread applications, for example, the oil and gas exploration, seismic monitoring of the seabed, underway replenishment at sea, and some other complicated marine tasks. All of these applications need coordination operations which require multiple vessels to perform the complicated task together while maintaining the desired formation pattern. Generally speaking, coordination control of multiple vessels includes formation, coordinated dynamic positioning, coordinated path following, and other typical tasks [1], each of which can be seen as a mode.

In recent years, many studies on coordination control issues of multiple marine vessels have been widely reported in the existing literatures which are mainly focused on formation control, coordinated dynamic positioning, and coordinated path following. For every issue, several advanced methods are employed to design the controllers, such as leader-following, virtual-structure, and behavioral coordination strategies for formation control [24]; and Lagrangian constraint functions [5], nonlinear model predictive control [6], and graph theory [7] for coordination control; some other methods for coordinated path following are introduced in [812]. Besides, communication issues between marine vessels like link failures and time-delay are also discussed deeply; related researches can be seen in [13, 14]. A common trait for all the above work is that the controller design of coordination control is usually completed under a specific coordination operation mode, for example, controller design for dynamic positioning or path following. However, in some applications the marine vessels are required to perform coordination operations from one mode to another; for instance, the vessels first execute formation control and then execute path following.

This need motivates the research on controller structure design of multioperational modes for marine vessels. In this structure, the vessels should be able to switch from one mode to another according to different requirements. A switching system including continuous state controllers and discrete logics is feasible. The logics can switch smoothly between continuous controllers following different operations [15]. Such a system is also called hybrid system [1619], which is a hot topic in last few years. Reference [20] had realized coordinated dynamic positioning using hybrid control system. However, a critical issue worth noting is the switching stability of the whole system. To address this potential problem, supervisory switching control [21] approach could be employed to guarantee the stability of the whole hybrid system, because this method can accomplish the coordination tasks which include various operational modes in one control system. The maneuver of a single vessel in different operational modes has been investigated in [22] with the application of supervisory switching control. Another similar application can be found in [23].

In this paper, we concern the maneuver of multiple vessels in different operational modes. Based on hybrid control theory, a novel coordination control approach is proposed, which integrates coordinated formation, coordinated dynamic positioning, and coordinated path following controllers in one system. These controllers can switch mutually according to switching logics determined by various operational modes. Moreover, the supervisory switching control method is employed in the design of the controllers for coordinated path following. Therefore, more complicated tasks can be accomplished with acceptable performance. The rest of this paper is organized as follows. Section 2 introduces the vessel model. Section 3 describes the proposed coordination control method in detail, including coordinated dynamic positioning controller, coordinated path following controller, switching logics, and supervisory switching control method. The simulation of coordination tasks of three vessels is carried out to demonstrate the validity of the proposed control approach in Section 4. At last, we draw conclusion in Section 5.

2. Vessel Model

The three-degree-of-freedom mathematic vessel model introduced in [24] is considered here. The model is described as follows: where is the generalized position and heading of the vessel in the earth-fixed reference frame, and is the vector of generalized velocities with respect to the body-fixed reference frame. is a transformation matrix from the body-fixed to the earth-fixed reference frame, the form of which is as follows: represents a positive definite inertia mass matrix which includes added mass. and denote the Coriolis-centripetal matrix and damping matrix, respectively. is the vector of external forces and torques input.

The expression of vessel model in the earth-fixed reference frame is It is obtained by applying the following kinematic transformations: The vessel model in the earth-fixed reference frame holds the following properties: (1) is the symmetric positive definite inertia matrix, and satisfies (2) is skew symmetric, which means (3) is positive definite and satisfies:

3. Coordinated Controller Design

In practical marine tasks, if coordinated path following executes first in the operational process, the maneuver then has to be performed with two steps to avoid the inherent risk of collision between adjacent vessels. At the beginning, all vessels form the desired formation maintaining a sufficient relative distance between each other. Afterwards, a fleet of vessels implement the path following task. However, if coordinated dynamic positioning is the first task, then the coordinated path following can be performed directly. This section will show the core content of the proposed approach. Several controllers for various operational tasks/modes are designed and an appropriate algorithm is given as the switching logic. Suppose that a group of vessels will be controlled to perform the coordination tasks. Detailed descriptions are as follows.

3.1. Coordinated Path following Controller

Two controllers are designed here to realize the coordinated path following task, which are coordinated formation controller and coordinated path following controller. A switching logic is given to transform from formation to path following.

3.1.1. Formation Controller

Suppose that label represents the th vessel in the group and is the formation reference vector of each vessel. Establish the formation pattern for the vessels as that in [25]. Then the formation reference position of each vessel is defined as The formation is achieved if and only if the formation reference positions arrive consensus, that is, . Based on the passivity-based consensus strategy [26], we can assume the dynamics of vessels to be the feedback path of the closed-loop system and define the auxiliary control input for each vessel as where is the incidence matrix of the communication topology graph among the vessels one has is the synchronization error between vessel and which are connected by the th communication link. is ().

Suppose is the desired constant velocity of the formation in the earth-fixed reference frame. If we define the velocity error vector in the earth-fixed reference frame as and as . Then the formation control algorithm for each vessel is designed as where is a positive constant matrix.

Taking the control law (11) into the vessel model (3) can obtain that Define the storage function as then we can obtain From the above inequality, we can conclude that the feedback path of the closed-loop system is passive. According to Theorem 1 in literature [26], the feedforward path of the closed-loop system is passive; then we can prove that the closed-loop system is uniformly globally asymptotically stable.

3.1.2. Coordinated Path following Controller

When designing the coordinated path following controller, a virtual vessel labeled 0 is introduced as a leader to obtain a command velocity that drives the vessels move along the path. The coordination controller is designed using the above passivity-based strategy.

Define the formation reference vector of the leader vessel as . The same as before, the auxiliary control inputs should achieve . The desired command velocity will be achieved by designing the path following controller for the leader vessel. Suppose the desired path of leader vessel is chosen as . Then the desired velocity command is where is the position tracking error vector of the virtual leader, and is the positive constant matrix. is the desired velocity along the path. is the parameter of the appointed path.

Differentiating gives where and  , , .

And the path parameter is updated through where and are the desired velocity of the vessel. is the velocity error along the path. and are positive constants.

Then we choose the coordinated path following control law for each vessel as where is a positive constant matrix.

Similarly to the stability analysis of the formation controller, we can prove the closed-loop system is uniformly globally asymptotically stable.

3.1.3. Transformation from the Formation Controller to the Coordinated Path following Controller

The coordinated path following task is performed by switching between the two controllers designed above. Based on the analysis in [15], we know that the problem can be solved with two different switching methods. One is a hard switching from formation controller to path following controller. The other adds an extra sliding dynamics controller which including the above two controllers. Considering the property of great inertia of surface vessels, hard switching is inapplicable for coordination maneuver. Thus, we propose an appropriate weighting function which enables slipping from formation controller to coordination path following controller slowly. The weighting function is defined as , and it should satisfy the following properties: (i) when the synchronization error vector of formation reference positions between two vessels approaches ; (ii) when the synchronization error vector of formation reference positions between two vessels is very large; (iii) varies slowly.

Then the weighting function can be chosen as where .

We define the formation controller and path following controller for each vessel as and , respectively. The transformation from formation to path following is defined as . Then we have .

3.2. Coordinated Dynamic Positioning Controller

In this section, a coordinated dynamic positioning controller is designed by introducing formation reference point (FRP). The desired position of each vessel is represented by the relative position vector between actual position and FRP. Then the coordinated dynamic positioning controller can be designed using the backstepping method. First, we assign the position of FRP as and the relative position vector as . The desired position of each vessel is And the positioning error of each vessel is Differentiating the position error gives that If we choose the desired velocity of each vessel as where is a positive definite matrix, then the velocity error is We choose the distributed coordinated dynamic positioning control law as where is a positive definite matrix and A positive definite Lyapunov function is designed as Differentiating the above equation yields Let and , we can know that the error vector is globally asymptotically stable.

3.3. Transformation between the Coordinated Dynamic Positioning Controller and the Coordinated Path following Controller

Considering the great inertia of surface vessels, an appropriate weighting function that enables slipping smoothly between two different controllers is quite desirable. For this need, the weighting function is defined as , and it should satisfy the following properties: (i) when a certain task controller is active in the coordination maneuver; (ii) when another task controller is active in the coordination maneuver; and the existing controller is suspended. (iii) varies slowly.

Here we can choose the weighting function as where is the vessel speed. and are the surge and sway velocity, respectively.

We define the coordinated dynamic positioning controller and coordinated path following controller for each vessel as and , respectively. Then the controller for transformation between coordinated dynamic positioning and coordinated path following is

3.4. Supervisory Switching Control

Coordination tasks of multiple vessels are often performed by switching between various controllers designed above. In order to ensure the security of coordination operations of vessels in arbitrary initial locations, the supervisory switching control method is employed in the integrated coordination control system where all the controllers are governed by a supervisor. Figure 1 shows the block diagram of the system designed in this paper. In Figure 1, Controller-1 is the formation controller; Controller-3 is the coordinated path following (CPF) controller; Controller-2 is the switching controller used to transform from formation to CPF; Controller-5 is the coordinated dynamic positioning (CDP) controller; and Controller-4 is the switching controller used to switch between CPF and CDP. The supervisor decides the actions of all these controllers according to the command from the operator; thereby it determines the current operational mode. The details of stability analysis of supervisory switching control can be found in [21].

4. Simulation Results

In this section, experimental simulations will be carried out to evaluate the effectiveness of the proposed approach. Three marine vessels are considered to perform the coordination tasks. Detailed parameters of these vessels are presented in literature [8]. The experimental process is divided into five stages to cover all the possible coordination modes. The five stages are as follows.

Stage 1. The vessels perform path following while maintaining the desired formation pattern using Controller-1, Controller-2 and Controller-3.

Stage 2. The vessels transform from path following to dynamic positioning using Controller-4.

Stage 3. The vessels realize tracking pause at an appropriate location; that is, the vessels will keep the fixed position and heading while maintaining the desired formation pattern using Controller-5.

Stage 4. The vessels transform from dynamic positioning to path following using Controller-4.

Stage 5. The vessels will continue realize coordinated path following using Controller-3.

For the sake of simplicity, we applied the switching signals based on time scale instead of command velocity from the operator. All the designed controllers mentioned previously were utilized in the simulation.

The initial positions of the three vessels are ,  ,  and , respectively. The desired formation pattern of the coordinated path following is described by ,  ,   and . The desired path for the formation is chosen as , and the parameterized forms is ,  ,  and . The incidence matrix of the topology graph for the communication among the three vessels is as

The control parameters of the coordinated path following controller are chosen as ,  ,  ,  ,  ,   m/s, and  .

Assume that the switching action from coordinated path following to coordinated dynamic positioning occurs at  s. After implementing the coordinated dynamic positioning task, the desired position of the formation reference point is chosen as . The desired formation pattern of the coordinated dynamic positioning is described by ,  , and  . Then the desired positions of the three vessels are ,  ,  and . The control parameters of the coordinated dynamic positioning controller are chosen as   and  .

The simulation results are shown in Figures 27. Figure 2 shows the trajectory of each vessel. Figures 3 and 4 show the north position and the east position of each vessel, respectively. The heading change curve of each vessel is shown in Figure 5. From these figures, we can see that the position and heading of each vessel change smoothly when the operation transforms from coordinated path following to coordinated dynamic positioning.

Figures 6 and 7 show the surge velocity and the sway velocity of each vessel during the switching process, which also change smoothly. In addition, the surge velocity and the sway velocity of each vessel cannot achieve consensus when the vessels move to the inflexion of the path curve. This phenomenon appears due to the vessel speed regulates to maintain the desired formation pattern. After completing the coordinated dynamic positioning task, the speed of each vessel approaches to zero finally. With the analysis of the simulation results, we can conclude that the vessels can accomplish all the coordination tasks considered in this paper with acceptable performance, which means that the proposed coordination control approach is successful and satisfactory.

5. Conclusion

This paper has presented a novel coordinated control approach for multiple vessels based on hybrid control theory. Several controllers have been designed for different operational tasks/modes, and an appropriate weighting function is given to switch smoothly between these controllers according to initiated commands. For security purposes, all these controllers are integrated into one control system and governed by a supervisor. Finally, the effectiveness of the proposed coordination control approach is demonstrated by experimental simulations.