Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots
Abstract
Given a heterogeneous group of robots executing a complex task represented in Linear Temporal Logic, and a new set of tasks for the group, we define the task update problem and propose a framework for automatically updating individual robot tasks given their respective existing tasks and capabilities. Our heuristic, token-based, conflict resolution task allocation algorithm generates a near-optimal assignment for the new task. We demonstrate the scalability of our approach through simulations of multi-robot tasks.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.05423
- arXiv:
- arXiv:2204.05423
- Bibcode:
- 2022arXiv220405423F
- Keywords:
-
- Computer Science - Robotics
- E-Print:
- Accepted by IEEE International Conference on Robotics and Automation (ICRA) 2022