Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
2016 (English)In: 2016 AMERICAN CONTROL CONFERENCE (ACC), IEEE conference proceedings, 2016, 7104-7109 p.Conference paper (Refereed)
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 twostage 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.
Place, publisher, year, edition, pages
IEEE conference proceedings, 2016. 7104-7109 p.
Proceedings of the American Control Conference, ISSN 0743-1619
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-204150DOI: 10.1109/ACC.2016.7526793ISI: 000388376107028ScopusID: 2-s2.0-84992090923ISBN: 978-1-4673-8682-1 (print)OAI: oai:DiVA.org:kth-204150DiVA: diva2:1084733
American Control Conference (ACC), JUL 06-08, 2016, Boston, MA
QC 201703372017-03-272017-03-272017-03-27Bibliographically approved