The wide range of applications for civilian UAVs, will open up a variety of markets for potential sales and economic growth. The Scientific Community could benefit in many ways from employing UAVs in the civilian sphere. Within the EC funded project TANGO “Telecommunications Advanced Networks for GMES Operations”, a three-year European Commission (EC) programme with the aim to develop, integrat...

Model checking has been successfully employed for verification of industrial hardware systems. Recently, model checking techniques have also enjoyed limited success in verifying software systems, viz., device drivers. However, there are several hurdles which must be overcome before model checking can be used to handle industrial-scale software systems. This article reviews some of the prominent...

Equipping a fixed wing unmanned air vehicle (UAV) with low-level autopilots, we derive high-level velocity and roll angle control laws for the UAV. Backstepping techniques are applied to design the velocity and roll angle control laws from known velocity and heading angle control laws that explicitly account for velocity and heading rate constraints of the UAV. Regarding unknown autopilot const...

Ice concentrations in orographic wave clouds at temperatures between 2248 and 2298C were shown to be related to aerosol characteristics in nearby clear air during five research flights over the Rocky Mountains. When clouds with influence from colder temperatures were excluded from the dataset, mean ice nuclei and cloud ice number concentrations were very low, on the order of 1–5 L. In this envi...

The present paper introduces a principal-agent model in which the principal pays wages that exceed agents’ resevations values, and agents voluntarily comply with his directives even though no formal mechanisms exist to enforce these directives. We view the agency relationship as a reciprocal exchange where the principal pays rents to reduce the probability of a collective challenge. These rents...

In this paper, we propose a novel approach to mini‐UAV localization in a wireless sensor network. We firstly employ the environment adaptive RSS parameters’ estimation method to estimate the parameters of range estimation model. However, the direct path from the target to a beacon is blocked by obstacles in a complicated indoor environment. So the proposed me...

The RoboCup (robot world-cup soccer) effort, initiated to stimulate research in multi-agents and robotics, has blossomed into a significant effort of international proportions. RoboCup is simultaneously a fundamental research effort and a set of competitions for testing research ideas. At IJCAI’97, a broad research challenge was issued for the RoboCup synthetic agents, covering areas of multi-a...

The goal of Morpho Challenge 2008 was to find and evaluate unsupervised algorithms that provide morpheme analyses for words in different languages. Especially in morphologically complex languages, such as Finnish, Turkish and Arabic, morpheme analysis is important for lexical modeling of words in speech recognition, information retrieval and machine translation. The evaluation in Morpho Challen...

The use of Unmanned Aerial Vehicles (UAVs) which can operate autonomously in dynamic and complex operational environments is becoming increasingly more common. The UAVTech Lab , is pursuing a long term research endeavour related to the development of future aviation systems which try and push the envelope in terms of using and integrating high-level deliberative or AI functionality with traditi...

An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate differen...