Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

12/14/2020
by   Yiannis Kantaros, et al.
0

This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them to continuously learn a grid map of the unknown environment using existing Simultaneous Localization and Mapping (SLAM) methods. The goal of the robots is to accomplish complex collaborative tasks, captured by global Linear Temporal Logic (LTL) formulas. The majority of existing LTL planning approaches rely on discrete abstractions of the robot dynamics operating in known environments and, as a result, they cannot be applied to the more realistic scenarios where the environment is initially unknown. In this paper, we address this novel challenge by proposing the first reactive, abstraction-free, and distributed LTL planning algorithm that can be applied for complex mission planning of multiple robots operating in unknown environments. The proposed algorithm is reactive, i.e., planning is adapting to the updated environmental map and abstraction-free as it does not rely on designing abstractions of the robot dynamics. Also, our algorithm is distributed in the sense that the global LTL task is decomposed into single-agent reachability problems constructed online based on the continuously learned map. The proposed algorithm is complete under mild assumptions on the structure of the environment and the sensor models. We provide extensive numerical simulations and hardware experiments that illustrate the theoretical analysis and show that the proposed algorithm can address complex planning tasks for large-scale multi-robot systems in unknown environments.

READ FULL TEXT

page 1

page 8

page 10

page 11

research
12/18/2020

Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps

This paper addresses a multi-robot mission planning problem in uncertain...
research
07/25/2016

Estimating Activity at Multiple Scales using Spatial Abstractions

Autonomous robots operating in dynamic environments must maintain belief...
research
01/28/2022

Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications

We present a Deep Reinforcement Learning (DRL) algorithm for a task-guid...
research
05/17/2021

Reactive Navigation Framework for Mobile Robots by Heuristically Evaluated Pre-sampled Trajectories

This paper describes and analyzes a reactive navigation framework for mo...
research
03/27/2021

Multi-Robot Distributed Semantic Mapping in Unfamiliar Environments through Online Matching of Learned Representations

We present a solution to multi-robot distributed semantic mapping of nov...
research
07/17/2023

Vision-Based Reactive Planning and Control of Quadruped Robots in Unstructured Dynamic Environments

Quadruped robots have received increasing attention for the past few yea...
research
03/19/2021

Multi-Robot Dynamical Source Seeking in Unknown Environments

This paper presents an algorithmic framework for the distributed on-line...

Please sign up or login with your details

Forgot password? Click here to reset