We present Dolphin, an extensible programming language for autonomous vehicle networks. A Dolphin program expresses an orchestrated execution of tasks defined compositionally for multiple vehicles. Building upon the base case of elementary one-vehicle tasks, the built-in operators include support for composing tasks in several forms, for instance according to concurrent, sequential, or event-ba...

We present a methodology for the deployment of the maxsum algorithm, a well known decentralised algorithm for coordinating autonomous agents, for problems related to situational awareness. In these settings, unmanned autonomous vehicles are deployed to collect information about an unknown environment. Our methodology then helps identify the choices that need to be made to apply the algorithm to...

Autoland controllers are prevalent for both large and small/micro unmanned aerial vehicles, but very few are available for medium-sized unmanned air vehicles. These vehicles tend to have limited sensors and instrumentation, yet must possess good performance in the presence of modeling uncertainties and exogenous inputs such as turbulence. Quantitative feedback theory has been reported in the li...