Abstract
Mountain areas are the source of high quality and socioeconomic relevance water resources. The sustainable management of such regions is fundamental to maintain the water supply to populations in wide areas all over the planet. Serra da Estrela is the origin of water resources of strategic importance to Portugal. In the highest part of the mountain, especially above 1400 m a.s.l., the use of road de-icing chemicals (NaCl and, accessorily, CaCl) may affect both groundwater and surface water as well as soils and therefore is a major environmental concern that should be investigated. This article presents a multidisciplinary methodology meant to support the study of water pollution as a result of the use of road de-icing salts in a mountain environment. This methodology encompasses contributions from Hydrogeology, Hydrogeochemistry, Isotope Geochemistry, Hydrogeophysics, GIS supported geological mapping and mathematical modelling. The main purpose of the application of this methodology in Serra da Estrela is to prepare a hydrogeological conceptual model focused in the processes related to groundwater pollution by NaCl from road de-icing. Another objective is to improve the sustainability of water resources and to provide new guidelines for water exploration and exploitation in the region.

Abstract
The Erlang programming language is a concurrency oriented functional language, based on the notion of independent processes and uses message passing for communication between processes. It is specially adapted to the realization of highly reliable distributed systems. In this paper it is analyzed the use of the Erlang's computational paradigm for the design and implementation of application specific heterogeneous computational systems. The main objective is to use for the low level implementation the same computational model used in high level view of the system. This will allow an easier and faster design space exploration and optimization. © 2010 IEEE.

Abstract
This paper addresses the design and implementation of feedback controllers for the direction of autonomous robotic sailboats. In order to design such a controller, it is important to determine a model for the sailboat dynamics during turns. However, there are many uncontrollable factors that may affect the direction of the sailboat, which make it difficult to obtain an accurate model and require a lot of sensors to feed a proper controller. Instead, we assume a rather simple model relating the most important variables and concentrate on data that can easily be available with simple low-cost sensors, compensating the lack of accuracy of the model with the robustness of the controller. We describe our approach to extract the parameters of such a dynamic model using data obtained in field experiments and we show how to use this model to tune a PI controller. As a case study, we use the FASt vehicle, a 2.5 m long robotic sailing boat capable of fully autonomous navigation through a set of predefined marks. Experimental results show the performance of the designed controller. © 2010 IEEE.

Abstract
Autonomous Underwater Vehicles (AUVs) are routinely being used to provide the scientific community with detailed ocean data at very reasonable costs. In typical operations, AUVs are programmed to follow pre-defined geo-referenced trajectories, while collecting the relevant information about the underwater environment, with a clear separation between navigation and payload sensors. Under the adaptive sampling paradigm, the AUVs are able to interpret some of the payload data in order to change the sampling pattern and concentrate measurements in the regions of interest. In this paper, we describe an implementation of such paradigm, in which a small sized AUV is able to process CTD data, in real time, and change depth in order to maintain tracking of the thermocline region. We demonstrate the developed algorithms with data from field experiments in a dam reservoir, which show a very good performance, even in very shallow waters with hardly detectable features. The implementation ensures the safety of the AUV, by resuming to standard yo-yo patterns if the thermocline is not detected.

Abstract
This paper addresses the development of a new generation of lightweight intelligent buoys. These buoys are used to support underwater acoustic positioning systems, but were also designed to be elements of portable coastal observatories for short term deployments. We will present the main features of a buoy prototype including the physical structure, the computational system and algorithms developed to support operations. The paper also shows how to take advantage of this new tool to implement different navigation algorithms for AUVs.

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.