Abstract

This paper presents the platoon formation control design for unmanned surface vehicles with input and output constraints. First, Barrier Lyapunov Function (BLF) is employed to ensure the desired line-of-sight (LOS) range. The LOS range should be maintained within the predefined regions between each marine vehicle and its predecessor while the connected platoons track the trajectory. Next, to handle the model uncertainties and unknown external disturbance, we propose an adaptive neural network controller that approximates the unknown nonlinearities. Furthermore, the Nussbaum function is applied to compensate for input saturations. In addition, formation errors can be guaranteed by stability analysis. The distance between two consecutive agents does not violate collision avoidance and connectivity in the presence of input saturation. Finally, the feasibility of the theoretical results is illustrated through the simulation results.

1. Introduction

Multiagent systems have been an active area due to higher efficiency, stronger robustness, and less communication requirement [13]. Recently, many effective schemes have been developed to solve the formation control problem, such as sliding mode control [46] and backstepping control [711]. Platoon control strategy has played an increasingly important role in decentralized formation fields [1214], which brings many benefits such as less energy consumption and more channel capacity. The robust control method was proposed to design platoon velocity profile which promotes smoothness of traffic flow [15]. Traffic efficiency was studied with the help of vehicular networking to optimize traffic flow [16]. Existing works mostly focus platoon formation on the development of the automobile industry. However, extensive applications on marine control are seldom considered. Inland navigation and channel transshipment are important components of waterborne transport. Marine vessel train consists of a lead vessel followed by a series of unmanned follower vessels. Motivated by the previous discussion, this paper investigates the issue of adaptive platoon formation control of marine surface vehicles.

Dynamic disturbances and unmodeled dynamics widely exist in many physical systems, such as power industries [17, 18] and aerospace systems [19, 20]. Inherently, nonlinear and uncertainty characteristics of system dynamics are difficult to model. In addition, ignoring the unknown disturbances in controller design, the precision and robustness will have an effect on the performance of the closed-loop system. Neural network has the ability to adjust the parameters adaptively [21]. Comparing with the existing work, model-based control [22] and the linearity-in-parameter assumption [23, 24] are not required. Due to extreme or varying environments, the external forces such as wind, wave, and current are involved into vessel motion. Many academicians and engineers have dedicated to adaptive control of marine surface vehicles. To overcome the nonlinear uncertainty and external disturbance, adaptive neural control schemes are proposed for multiple marine surface vehicles with model uncertainties in platoon formation cases.

Driven by practical needs and theoretical challenges, the constrained control design of practical systems has become an interesting research topic [2527]. In practical systems, input saturation and output constraint cause performance degradation or even instability [28]. How to achieve and maintain a desired formation geometry in these situations is one of the fundamental issues in platoon. If the relative motion states are constrained within the predefined regions, two consecutive vehicles can avoid undesired collision in the procedure of platoon phase. This problem is generally described by line-of-sight (LOS) range and angle as output constraint. To ensure output constraint, barrier Lyapunov function (BLF) is a remarkable concept to deal with output constraints. Various schemes based on BLF have been reported for marine vessels [2931]. On the basis of a previous successful work, BLF in the current study is further applied to MSVs by solving constraints of LOS range and angle. Furthermore, the requirements of limited input amplitude should be incorporated into the platoon formation design. Actuator saturation is another important factor to a practical system. Many research results have been carried out on input saturation. In [32], adaptive fuzzy tracking was developed for uncertain multi-input multi-output (MIMO) nonlinear systems in the presence of input saturation. In [33], the auxiliary system based on backstepping design is employed to cope with input constraints. No assumption on the uncertain parameters is needed within the compact set. Decentralized neural network based on adaptive backstepping scheme was presented in [34] to deal with time delay and input nonsmooth constraint. However, in all the papers mentioned above, there is little information on how to handle the two challenging constraints for the platoon formation. Therefore, it is meaningful to consider the platoon formation subject to output constraint and input saturation.

Marine vessels have characteristics of coupled dynamics, nonlinearities, and parametric uncertainties. Actually, the requirements of safety, reliability, robustness, and limited input amplitude should be improved in multiple marine vessels. Motivated by the aforementioned discussion, a platoon formation control approach of multiple marine vessels has been developed to simultaneously deal with output constraint and input saturation. BLF in adaptive backstepping design is proposed to ensure the platoon in the safe ranges. The unknown external disturbance and unmodeled dynamics are approximated by using neural network. The problem of multiple marine vehicles with actuator saturations is also considered in this paper. The main contributions of the proposed schemes are highlighted as follows:(i)Output constraints on marine vessels positioning within line-of-sight cone is proceeded under the framework of adaptive backstepping design. LOS range and angle errors in formation operations of unmanned surface vehicles are handled by barrier Lyapunov function.(ii)Adaptive backstepping is applied to parametric-uncertain systems. Unknown disturbances and parametric uncertainties are compensated by adaptive neural network control. Backstepping control provides the systematic and recursive design.(iii)An auxiliary system is employed to cope with physical constraints of the actuators. In order to ensure the constraints on thrust magnitude, Nussbaum function is introduced to facilitate the closed-loop system design. Compared with other algorithms dealing with input constraints, this approach avoids the discontinuous switching mechanism [32] and singularity in [35].

The rest of the paper is divided into four sections. Section 2 describes the problem formation for platoon formation and preliminaries. Section 3 presents the controller design process, and the stability of the multiple marine vessels is rigorously analyzed. In Section 4, numerical simulations are conducted to support the theoretical developments. Finally, conclusions are drawn in Section 5.

2. Preliminaries and Problem Description

2.1. Problem Description

We consider marine surface vehicles labeled as 0 to . The formation pattern of this class multiagent system is shown in Figure 1. The kinematics and dynamics of the -th MSV can be modeled as follows:where denotes the MSV position and yaw angle with respect to earth-fixed frame, represents the orientation known as surge, sway, and yaw velocities in the body-fixed frame, is external disturbances induced by wind, wave, and ocean currents, represents the unmodeled dynamics, denotes the actual control inputs of the -th MSV, is a nonsingular transformation matrix, is the inertia matrix, is the skew-symmetric matrix of Coriolis and centripetal terms, and is the damping matrix.

From a practical point of view, the control forces and moments of the marine vessels are limited by the physical properties of thrusters. The saturation nonlinearities can be described aswhere stands for the maximum control forces or moments of vessels’ propulsion systems:Then, we obtain

The relationship between the saturation and approximation function is shown in Figure 2. Then, the augmented system considering the saturation approximation function iswhere describes the control command signal that we should design, is a diagonal matrix of thruster time constant, and the ‘disturbance-like’ term is denoted as

Assumption 1. The desired reference trajectory and its first time derivative are bounded functions.

Assumption 2. The external disturbances are bounded with unknown constants. Then, according to equation (7), there exist positive constants such that .
In this section, the platoon formation problem is considered for MSVs modeled by (1) and (2) with uncertainties and constraints. We will design a control strategy for the control objectives as follows:(1)A desired line-of-sight range between two consecutive MSVs can be achieved under collision and connectivity constraints.(2)Modelling uncertainties and external disturbances should be compensated, which can improve the system performance.(3)A string of MSVs proceed along a given trajectory in a platoon configuration. All MSVs can maintain the desired position in a decentralized formation.

2.2. Preliminaries

Lemma 1. (see [31]). For any constant , if and is a constant, then the following inequality holds

Lemma 2. (see [36]). Let be an even Nussbaum function and and be smooth functions defined on , with . If the following inequality holds,where , and M is a positive constant, then and are bounded on .

3. Control Design with Barrier Lyapunov Function

3.1. Formation Control of MSVs

In this section, we consider the communications among MSVs involving a LOS guidance system. First, a LOS guidance procedure is derived in this section. The desired output is reduced from to based on LOS projection algorithm. The LOS projection algorithm will guarantee that the task of tracking trajectory is satisfied. LOS geometric task is to force the vessel position to converge to a desired path by following its leader. Line-of-sight (LOS) range, , and angle, , between two MSVs are defined as

The formation errors of the MSVs are designed aswhere is a desired distance between two MSVs. According to equation (11), differentiating and with respect to time, we can obtain

In order to avoid collision and connectivity maintenance among vehicles, the desired distance during the whole moving process must satisfy the following equations:where and represent the minimum safety distance and maximum effective communication distance respectively. For convenience, we define the maximum and minimum error distance as

The bounds of yaw angle errors are defined as and . Kinematic constraints are generally considered from the motion planning. Based on coordinate transformation, kinematic constraints have been transferred to collision avoidance and connectivity maintenance constraints based on LOS range and angle. The constraints of the errors are given as follows:

Define the tracking errors aswhere is a stabilizing function designed as follows:

Differentiating with respect to time, we can get

The continuous nonlinear function related to the speed and the unmodeled dynamics of the MSV are all unknown. To solve these problems, RBFNN is used to estimate the unknown dynamics and hydrodynamic damping terms. We giveHere, is the inputs of the NN, is the true constant weight value, is the radial basis function, is the approximate error, is an unknown arbitrary small constant, and is used to approximate . The adaptive update law is designed as follows:where are adaptive gain matrices and is a positive constant.

The adaptive neural network control law is proposed as follows:where is the Moore–Penrose pseudoinverse of and the control gain matrix . Denote the 3rd tracking error as

The saturation of the thrusters has been considered in the abovementioned equation. Then, we havewhere and . We introduce Nussbaum function matrix , and an auxiliary dynamic system is defined as follows:where and design parameter .

The control law is designed aswhere control gain matrix .

Theorem 1. Consider a string of N + 1 USVs modeled as (1) and (2) with Assumptions 1 and 2, if the initial condition satisfies with being any positive constant, by adjusting the design parameters ; then, under virtual control law (17) and control law (25) with adaptive updating law (20), the following properties hold:The output constraint is never violated; i.e., . The constraints on collision avoidance and connectivity maintenance are guaranteed between two consecutive marine vehicles.The formation errors , the tracking error , and weigh error converge to a small neighborhood of zero.All signals of the MSVs platoon formation closed-loop are bounded.

Remark 1. Vessel train configurations of inland waterways and port areas are an innovative shipping scheme to meet the transportation demand. Although similar works have been developed in robotics and vehicular technology domains, few researchers investigated the waterborne platooning. In the platoon-operating mode, the follower vessels can track the leader in LOS guidance. By employing BLF, collision avoidance is handled to keep a safe distance. Effective communication in predetermined configuration is also taken into account in the design. Besides, input saturation has been dealt with due to the requirement on thrusters.
We present here an analysis based on the obtained platoon controller structure and derive a set of constraints to satisfy platoon objectives. To guarantee the output constraints, it is necessary to ensure that the errors defined in (11) are not violated and all signals are bounded. Therefore, BLF can be utilized in constraints of LOS rang and angle for MSVs to prevent constraint violation. Consider the symmetric barrier Lyapunov function candidate aswhere and are positive constants used to constrain and , i.e., , respectively. Differentiating with respect to time, we haveSubstituting equations (12) and (17) into equation (27) yieldswhereConsider the Lyapunov function candidate as follows:where . Then, the derivation of iswhereFor adaptive law (20), there exists a compact setwhere with , such that , provided that .
From Lemma 2, we can know thatSubstituting control law (25), then according to the Young inequality and Lemma 1, we haveConsider the following Lyapunov function candidate as follows:Taking the time derivative of yieldsThe overall Lyapunov function isSo we can obtainwherewhere the minimum and maximum eigenvalues of matrix are denoted by and , respectively.From (42) and Lemma 2, it is obvious that and are uniformly ultimately bounded for all on . Therefore, we can deduce that the closed-loop errors are also uniformly ultimately bounded.

4. Simulation Examples

In this section, a string of 4 MSVs is used for the numerical simulations to demonstrate the effectiveness of the proposed method. The communication relationship of the 4 MSVs is shown in Figure 3. The 3-DOF rotation matrix is defined as is a symmetric positive definite inertia matrix specified aswhere , and the mass of the -th marine vehicle is , and the marine vehicle’s inertia matrix in the body-fixed frame is . is a hydrodynamic damping matrix specified aswhere

The matrix is specified as

The marine vehicle model parameters in this simulation are exploited from Cybership-II [37].

The initial states of the MSVs are given as , . From Figure 3, the MSVs formate in platoon during the moving process. The desired positions and the orientations of MSVs are shown in Figure 4. Figure 5 shows the control inputs, which satisfy the design requirement. The distances between the follower and the leader are shown in Figure 6. The outputs are constrained between the boundaries effectively. The desired distance between the successive vehicles is 5 m. The minimum collision distance is set as 4 m, and the maximum connectivity distance is set as 6 m. Figure 7 shows the velocities information among MSVs. Simulation results demonstrate the efficacy of the proposed method.

5. Conclusions

In this paper, decentralized formation control with input and output constraints have been proposed for a string MSVs. In order to achieve collision avoidance and connectivity maintenance, LOS range and angle errors were presented in the controller design. A BLF has been employed to prevent constraint violation. Next, to deal with the model uncertainties, the adaptive neural networks are applied in the backstepping control scheme due to their superior approximation capability. Furthermore, the nonlinear term arising from the input saturation is compensated by using a Nussbaum function. The analysis of uniformly ultimate boundedness for the closed-loop platoon system was provided by choosing the design parameters. Finally, the proposed algorithm was applied to MSVs to illustrate the feasibility of the theoretical results.

Data Availability

The simulation data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was funded by the National Natural Science Foundation of China under Grant 51709027 and the Chinese Scholarship Council of the Ministry of Education.