Cooperative Task Planning of Multi-Agent Systems Under TimedTemporal Specifications
2016 (English)In: Proceedings of the American Control Conference, 2016, 7104-7109 p.Conference paper (Refereed)
In this paper the problem of cooperative taskplanning of multi-agent systems when timed constraints areimposed to the system is investigated. We consider timedconstraints 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 thatall the agents satisfy their own individual task specifications aswell as that the team satisfies a team global task specification.
Place, publisher, year, edition, pages
2016. 7104-7109 p.
Computer Science Robotics
IdentifiersURN: urn:nbn:se:kth:diva-194407ScopusID: 2-s2.0-84992090923OAI: oai:DiVA.org:kth-194407DiVA: diva2:1040226
American Control Conference 2016
QC 201610272016-10-262016-10-262017-02-28Bibliographically approved