Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots

04/11/2022
by   Amy Fang, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/20/2019

An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems

For a team of heterogeneous robots executing multiple tasks, we propose ...
research
01/14/2021

Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems

In this paper, we consider the problem of optimally allocating tasks, ex...
research
11/06/2020

Fast Near-Optimal Heterogeneous Task Allocation via Flow Decomposition

Multi-robot systems are uniquely well-suited to performing complex tasks...
research
05/12/2021

A Resilient and Energy-Aware Task Allocation Framework for Heterogeneous Multi-Robot Systems

In the context of heterogeneous multi-robot teams deployed for executing...
research
02/28/2022

Efficient Task Allocation in Smart Warehouses with Multi-delivery Stations and Heterogeneous Robots

The task allocation problem in multi-robot systems (MRTA) is an NP-hard ...
research
04/18/2022

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations

We present a framework that, given a set of skills a robot can perform, ...
research
10/21/2021

Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications

This paper presents a hierarchical framework to solve the multi-robot te...

Please sign up or login with your details

Forgot password? Click here to reset