@inproceedings{10.1145/2695664.2696029,
author = {Marques, Eduardo R. B. and Ribeiro, Manuel and Pinto, Jos\'{e} and Sousa, Jo\~{a}o B. and Martins, Francisco},
title = {NVL: A Coordination Language for Unmanned Vehicle Networks},
year = {2015},
isbn = {9781450331968},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2695664.2696029},
doi = {10.1145/2695664.2696029},
abstract = {The coordinated use of multiple unmanned vehicles over a network can be employed for numerous real-world applications. However, multi-vehicle operations are often deployed through a patchwork of separate components that informally "glue" together during operation, as they are hard to program as a "whole". With this aim, we developed the Networked Vehicles' Language (NVL) for coordinated control of unmanned vehicle networks. A single NVL program expresses an on-the-fly selection of multiple vehicles and their allocation to cooperative tasks, subject to time, precedence, and concurrency constraints. We present the language through an example application involving unmanned underwater vehicles (UUVs) and unmanned aerial vehicles (UAVs), the core design and implementation traits, and results from simulation and field test experiments.},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing},
pages = {331–334},
numpages = {4},
location = {Salamanca, Spain},
series = {SAC '15}
}