Abstract

Abstract
This paper presents a centralized coordination scheme for multiple marine vehicles. The only requirements for proper operation of this method are the presence of bidirectional communication links with a virtual leader and bounded reference tracking errors. By relying on a, lower level, individual position tracking control, coordination is achieved by means of a centralized potential-field that uniquely defines the desired formation geometry as well as its position. The formation can be driven along a path that does not necessarily need to be predefined. Instead, a virtual leader defines the formation position at each instant of time. Furthermore, the possibility of setting stationary points over the path followed by the formation is guaranteed. The approach is illustrated in practice with autonomous surface vehicles in real environment, subjected to disturbances such as wind and waves.

Abstract
The ability to employ autonomous vehicles to find and track the boundary between two different water masses can increase the efficiency in waterborne data collection, by concentrating measurements in the most relevant regions and capturing detailed spacial and temporal variations. In this paper we provide a guidance mechanism to enable an autonomous vehicle to find and track the steepest gradient of a scalar field in the horizontal plane. The main innovation in our approach is the mechanism to adapt the orientation of the crossings to the local curvature of the boundary, so that the vehicle can keep tracking the gradient regardless of its horizontal orientation. As an example, we show how the algorithms can be used to find and track the boundary of a dredged navigation channel, using only altimeter measurements. © 2014 IEEE.

Abstract
The problem of homing a mobile robot to a given reference location under unknown relative and absolute positions is addressed in this paper. This problem is easy to solve when all the positions and kinematic variables are known or are observable, but remains a challenge when only range is measured. Its complexity further increases when variable and unknown drifts are added to the motion, which is typical for marine vehicles. Based on the range measurements, it is possible to drive the robot arbitrarily close to the reference. This paper presents a complete solution and demonstrates the validity of the approach based on the Lyapunov theory. The use of models, which are often affected by uncertainties and/or unmodeled terms, is intended to be minimal and only some constraints are imposed on the speed of the robot. We derive a control law that makes the robot converge asymptotically to the reference and prove its stability theoretically. Nevertheless, as it is well known, practical limitations on the actuation can weaken some properties of convergence, namely when the system dynamics require increasing actuation along the approach trajectory. We will demonstrate that the robot reaches a positively invariant set around the reference whose upper bound is determined. Finally, we conclude our work by presenting simulation and experimental data and by demonstrating the validity and the robustness of the method.

Abstract
In those positioning systems based on the detection of acoustic signals, an accurate detection of the arrival times is crucial for a correct estimation of the distance between nodes, and therefore, for the precise estimation of the node that wants to be located. In order to obtain this arrival time more accurately, acoustic signals can be coded using pseudorandom noise, but these coded signals are still affected by underwater channel phenomena. In this work, the detection of spread-spectrum modulated signals is analyzed in underwater environments that are highly affected by multipath and reverberation. A spread-spectrum signal, which consist of a modulated Kasami code, has been emitted through two different pools, reaching a receiver where it has been captured after following several line-of-sight and non-line-of-sight paths. Then, a correlation process has been performed offline to provide information about the arrival times (times-of-flight) that form the multipath structure. These times-of-flight are compared with those provided by an underwater acoustic propagation model, in order to test the performance of this model and its capacity to predict the outcome of signal detection in underwater environments with a strong multipath and reverberation component. That way, the validated propagation model could be later used in future studies to predict the detection of spread-spectrum signals and the performance of systems that use them in these adverse environments.

Abstract
This paper addresses the problem of bottom following by the MARES Autonomous Underwater Vehicle, and presents derivation of a controller able to cope with the peculiarities of such problem. In specific, the main requirement for the controller is the existence of no overshoot both in the depth and pitch outputs of the system. The existence of such time-domain requirements motivates the use of Eigenstructure Assignment techniques in the formulation of the controller. Simulation results obtained with a dynamic model of the MARES AUV are presented and discussed, indicating the validity of the proposed approach.