Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
It provides a systematic solution for multi-agent systems requiring timed coordination, but the method is incremental as it builds on existing temporal logic planning approaches.
This paper addresses cooperative task planning for multi-agent systems under timed constraints specified by Metric Interval Temporal Logic (MITL), proposing a two-stage automatic control synthesis method that guarantees satisfaction of both individual and team task specifications.
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.