Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
Systems and Control
2015-10-01 v1
Abstract
In this paper the problem of cooperative task planning of multi-agent systems when timed constraints are imposed to the system is investigated. We consider timed constraints given by Metric Interval Temporal Logic (MITL). We propose a method for automatic control synthesis in a two-stage systematic procedure. With this method we guarantee that all the agents satisfy their own individual task specifications as well as that the team satisfies a team global task specification.
Cite
@article{arxiv.1509.09137,
title = {Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications},
author = {Alexandros Nikou and Jana Tumova and Dimos V. Dimarogonas},
journal= {arXiv preprint arXiv:1509.09137},
year = {2015}
}
Comments
Submitted to American Control Conference 2016