Abstract
In the robotic domain, it is common to deduce and use models that allow translating mathematically the element behavior. In some cases, these would serve as base to determine and develop a controller, for example. Beyond this, the simulation and experiments are reasons that leave to the development of models, becoming evaluation tools of the system behavior, especially when there are constraints of implementation or in experiments. However, the modeling is an approach to the reality, since it is difficult to translate the behavior of an element in a strict way and the disturbances to witch it is subject to. In this work, we address the modeling questions of an autonomous underwater vehicle. This paper describes the deducing of a dynamic model with six degrees of freedom of an underwater vehicle, considering all of its physical characteristics. This is achieved by the determination of all forces that actuates on the body during its motions and by the determination of the rigid body dynamic. The modeling method is presented as well as the coefficients determination. Finally, a comparison with experimental results is carried out.

Abstract
This paper focuses the control problem of a nonholonomic autonomous underwater vehicle, moving in the tridimensional space. The dynamic of a body in submarine environments is strongly nonlinear. This implies that classical linear controllers are often inadequate whereby Lyapunov theory is here considered. Methods based in this theory are promising tools to design controllers and are applied to the case of MARES, a small-sized autonomous underwater vehicle. Several controllers based only on Lyapunov theory are determined while others combine linear and nonlinear control theory in order to perform various maneuvers. Aiming to verify the correct performance of controllers, simulations and experiments are carried out.

Abstract
In this paper, we discuss some of the potential applications of small scale autonomous sailboats. The use of autonomous sailboats for ocean sampling has been tentatively proposed before, but there have been minor efforts towards the development and deployment of actual prototypes, due to a number of technical limitations and significant risks of operation. We show that, currently, most of the limitations have been surpassed, with the existing availability of extremely low power electronics, flexible computational systems and high performance renewable power sources. At the same time, some of the major risks have been mitigated, allowing this emerging technology to become an effective tool for a wide range of applications in real scenarios. We illustrate some of these scenarios and we describe the status of the current efforts being made to develop operational prototypes, with some promising results already being achieved.

Abstract
The article presents an estimation approach for navigation of the Modular Autonomous Robot for Environment Sampling (MARES) autonomous underwater vehicle (AUV) based on the range to a single beacon deployed in the operation area. Faculty of Engineering of the University of Porto developed the MARES AUV. Typical MARES missions include environmental sampling and monitoring in which the vehicle sweeps a given area while collecting relevant data. The current localization system uses a long-baseline acoustic system based on two acoustic beacons mounted on surface buoys. Each beacon answers the AUV with an acoustic pulse after having been questioned by the AUV in the same way. The MARES AUV interprets sensor data and generates commands at a constant rate of 10 hertz. While measurements from the depth sensor and the compass are available at each time step, range measurements are performed at a lower frequency due to the speed of propagation of acoustic waves.

Abstract
A reliable navigation system is a key factor for the success of an operational mission with an AUV in a real scenario. In this paper, we address the main issues involved in the implementation of a long baseline (LBL) navigation system for a REMUS AUV. This system replaces both the original hardware and software of the vehicle with a simpler, faster, less expensive and more precise system, based on a Kalman filter. We also discuss the influence of transponder location in the overall performance of the LBL navigation, and present results obtained with this new system in operational missions.

Abstract
This paper describes the specification and design of a prototype of a low cost open system for the inspection of underwater structures based on a remotely operated underwater vehicle under the project IES, a 3 year long effort funded by the Portuguese R&D program Praxis XXI. Unlike commercial approaches, a modular open system characterised by the incorporation of an on-board computer allowing for advanced control capabilities is envisaged. The control console is based on a standard PC and the tether is used only for power delivery and to establish a simple communication channel. In this project, we use advanced hybrid control techniques for sophisticated semi-autonomous operation management and control. The control architecture reuses part of the one designed for the underwater vehicle Isurus operated by the Laboratory of Underwater Systems and Technologies of Porto University. The implementation is designed in order to allow for multiple sensor configurations specified as add-ins. This leads to a dynamic, scalable and flexible system that can be easily configured according to the user specifications.