Abstract
This paper describes the interaction between the kinematic model of the AUV MARES, and the measurement and observation of the environment through images obtained with the sonar use. Three types of Sonar are discussed in this paper; there are forward-look, side scan and multibeam. But the sonar used to develop this work was the side scan sonar. The type of observations and characteristics of the environment provided by the sonar are described here. The method, which connects the sensory part of the vehicle with the observations of the sonar, was the Kalman filter (EKF). In this paper, are presented two simulations of filters for two different characteristics. Both filters estimate the characteristics of natural landmarks, creating an environment map, but both of them consider different states of the vehicle. Results of the simulation are obtained. The features that are considered are an underwater pipe on the floor and a wall. It also generated a control for the vehicle that provides the capacity to move along the feature/landmark from a reference distance.

Abstract
This paper tackles the problem of localization of an acoustic pinger by a team of cooperative marine robots. A pinger, whose location is unknown, intermittently emits an acoustic ping which is sensed by hydrophones mounted on marine robots. In addition to position, the instant of emission is unknown. A team of robots carrying a total of four hydrophones is therefore (theoretically) required to estimate the position without ambiguity. The precision of the estimate and the uncertainty critically depend on the position of the hydrophones. In order to obtain the best possible estimation, we explore the possibility of using a cooperative method that leads the robots to points where the overall observability is improved.

Abstract
In this paper we investigate the creation of an heterogeneous underwater network with static and mobile assets cooperating together in coordinated missions using acoustic links. Each underwater device combines communication, networking, and sensing capabilities, and cooperates with the other devices to accomplish a given task. The flexibility and capability of the proposed system allows to overcome the limitations of commercial solutions currently available in the market which typically focus on point to point communications. SUNSET framework has been used to provide acoustic communication and networking capabilities to AUVs, ASVs and moored systems developed by the Oceans Systems Group, at the University of Porto, in Portugal. New solutions have been developed and tested allowing to combine together acoustic data transmission and ranging estimation, to control the underwater nodes acoustically and to instruct the vehicles on keeping a given formation using acoustic links. To validate the proposed approach several experiments with increasing complexity have been conducted at the laboratory and in the field. The experimental results confirm the validity, efficiency and reliability of the proposed solution opening to several possibilities for future developments.

Abstract
This paper describes an algorithm to make the treatment, segmentation, skeleton and characteristics extraction from acoustic images obtained from a side scan sonar. The fundamental goal is to implement a system that endows a autonomous vehicle with the capacity to know its own distance to the marine bottom and to features located on the marine environment. This features extraction would improve vehicle navigation and allow it to navigate relative to features like an underwater piper on the sea floor or a vertical wall. This paper was made based on Imagenex Sport Scan (side scan sonar) whose function is the observation of environment. Also the autonomous surface vehicle (ASV) ZARCO was used to transport the side scan sonar. Both the vehicles belong to The OceansSys Group DEEC-FEUP. A communication interface between the ASV ZARCO, Imagenex Sport Scan, and a static laptop that allows the observation of sonar data in real time is also described in this paper. The algorithms and routines implemented were validated with real acoustic images acquired during a mission. Results from algorithms application and features extraction are shown in this paper.

Abstract
This paper describes the full development process of TriMARES, a hybrid AUV/ROV designed to fulfil the requirements of a consortium for the inspection and periodic monitoring of a large dam reservoir. The demand of robotic systems for underwater operations is growing exponentially and there are many scenarios for which the commercial solutions are not adequate. Such was the case with TriMARES, where it was possible to take advantage of previous designs to achieve a custom solution in a short time. We describe the initial requirements for the underwater system, we present the main solutions adopted for the vehicle subsystems, and we provide some data from the first in-water tests, performed only 6 months after the beginning of the project.

Abstract
In this work, we address the modeling and control problems in the domain of underwater vehicles. We focus on a prototype of an autonomous underwater vehicle. Although the work presented here is applied to a particular vehicle with four controllable degrees of freedom, the method may be easily extended to several submerged bodies. In the engineering area, modeling of systems is done frequently, as it yields a mathematical translation of their behavior. Since models can become, an important tool to solve problems related to its motion or even to the design of controllers, we obtain a model with six degrees of freedom for such a vehicle. Robust control of underwater vehicles is an area in which many efforts were applied over the last two decades. However, due to nonlinear dynamics, it may be hard to design robust controllers that yield the expected behavior, and there is no general procedure to develop them. Here, we propose an approach that combines nonlinear controllers based on the deduced model and on the Lyapunov theory to control the velocities of the vehicle with linear controllers that control the vehicle's position. We derive control laws to perform several maneuvers, both in the vertical and the horizontal planes, in a decoupled way, which is made possible through the configuration of thrusters. Finally, we present realistic simulations and experimental results that validate the proposed approach in the definition of the control laws.