@article{MARQUES2015256,
title = "Towards Programmable Coordination of Unmanned Vehicle Networks★",
journal = "IFAC-PapersOnLine",
volume = "48",
number = "2",
pages = "256 - 261",
year = "2015",
note = "4th IFAC Workshop onNavigation, Guidance and Controlof Underwater VehiclesNGCUV 2015",
issn = "2405-8963",
doi = "https://doi.org/10.1016/j.ifacol.2015.06.042",
url = "http://www.sciencedirect.com/science/article/pii/S2405896315002815",
author = "Eduardo R.B. Marques and Manuel Ribeiro and José Pinto and João B. Sousa and Francisco Martins",
keywords = "Unmanned vehicles, Coordination, Cooperative control, Programming",
abstract = "The use of unmanned vehicle networks for diverse applications is becoming widespread. It is generally hard to program unmanned vehicle networks as a “whole”, however. The coordination of multiple vehicles requires careful planning through intricate human intervention, and a high degree of informality is implied in what concerns the specification of a “network program” for an application scenario. In this context, we have been developing a programming language for expressing global specifications of coordinated behavior in unmanned vehicle networks, the Networked Vehicles' Language (NVL). In this paper we illustrate the use of the language for a thermal pollution plume tracking scenario employing unmanned underwater vehicles."
}