Temporal-logic-based reactive mission and motion planning

Hadas Kress-Gazit, Georgios Fainekos, George J. Pappas

Research output: Contribution to journalArticle

333 Citations (Scopus)

Abstract

This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible environments, and a high-level task or behavior for the robot are provided. The desired task specifications, which are expressed in a fragment of linear temporal logic (LTL), can capture complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, which results in a novel paradigm for sensor-based temporal-logic-motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multirobot specifications in a decentralized manner. Our computational approach is based on first creating discrete controllers satisfying specific LTL formulas. If feasible, the discrete controller is then used to guide the sensor-based composition of continuous controllers, which results in a hybrid controller satisfying the high-level specification but only if the environment is admissible.

Original languageEnglish (US)
Article number5238617
Pages (from-to)1370-1381
Number of pages12
JournalIEEE Transactions on Robotics
Volume25
Issue number6
DOIs
StatePublished - Dec 2009

Fingerprint

Temporal logic
Motion planning
Robots
Controllers
Specifications
Sensors
Collision avoidance
Chemical analysis

Keywords

  • Controller synthesis
  • Hybrid control
  • Motion planning
  • Sensor-based planning
  • Temporal logic

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications

Cite this

Temporal-logic-based reactive mission and motion planning. / Kress-Gazit, Hadas; Fainekos, Georgios; Pappas, George J.

In: IEEE Transactions on Robotics, Vol. 25, No. 6, 5238617, 12.2009, p. 1370-1381.

Research output: Contribution to journalArticle

Kress-Gazit, Hadas ; Fainekos, Georgios ; Pappas, George J. / Temporal-logic-based reactive mission and motion planning. In: IEEE Transactions on Robotics. 2009 ; Vol. 25, No. 6. pp. 1370-1381.
@article{cb0113fe12374f5289e658742c9bd1cf,
title = "Temporal-logic-based reactive mission and motion planning",
abstract = "This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible environments, and a high-level task or behavior for the robot are provided. The desired task specifications, which are expressed in a fragment of linear temporal logic (LTL), can capture complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, which results in a novel paradigm for sensor-based temporal-logic-motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multirobot specifications in a decentralized manner. Our computational approach is based on first creating discrete controllers satisfying specific LTL formulas. If feasible, the discrete controller is then used to guide the sensor-based composition of continuous controllers, which results in a hybrid controller satisfying the high-level specification but only if the environment is admissible.",
keywords = "Controller synthesis, Hybrid control, Motion planning, Sensor-based planning, Temporal logic",
author = "Hadas Kress-Gazit and Georgios Fainekos and Pappas, {George J.}",
year = "2009",
month = "12",
doi = "10.1109/TRO.2009.2030225",
language = "English (US)",
volume = "25",
pages = "1370--1381",
journal = "IEEE Transactions on Robotics",
issn = "1552-3098",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",

}

TY - JOUR

T1 - Temporal-logic-based reactive mission and motion planning

AU - Kress-Gazit, Hadas

AU - Fainekos, Georgios

AU - Pappas, George J.

PY - 2009/12

Y1 - 2009/12

N2 - This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible environments, and a high-level task or behavior for the robot are provided. The desired task specifications, which are expressed in a fragment of linear temporal logic (LTL), can capture complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, which results in a novel paradigm for sensor-based temporal-logic-motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multirobot specifications in a decentralized manner. Our computational approach is based on first creating discrete controllers satisfying specific LTL formulas. If feasible, the discrete controller is then used to guide the sensor-based composition of continuous controllers, which results in a hybrid controller satisfying the high-level specification but only if the environment is admissible.

AB - This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible environments, and a high-level task or behavior for the robot are provided. The desired task specifications, which are expressed in a fragment of linear temporal logic (LTL), can capture complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, which results in a novel paradigm for sensor-based temporal-logic-motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multirobot specifications in a decentralized manner. Our computational approach is based on first creating discrete controllers satisfying specific LTL formulas. If feasible, the discrete controller is then used to guide the sensor-based composition of continuous controllers, which results in a hybrid controller satisfying the high-level specification but only if the environment is admissible.

KW - Controller synthesis

KW - Hybrid control

KW - Motion planning

KW - Sensor-based planning

KW - Temporal logic

UR - http://www.scopus.com/inward/record.url?scp=72149087203&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=72149087203&partnerID=8YFLogxK

U2 - 10.1109/TRO.2009.2030225

DO - 10.1109/TRO.2009.2030225

M3 - Article

VL - 25

SP - 1370

EP - 1381

JO - IEEE Transactions on Robotics

JF - IEEE Transactions on Robotics

SN - 1552-3098

IS - 6

M1 - 5238617

ER -