Temporal logic motion planning for dynamic robots

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

Research output: Contribution to journalArticle

209 Citations (Scopus)

Abstract

In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification.

Original languageEnglish (US)
Pages (from-to)343-352
Number of pages10
JournalAutomatica
Volume45
Issue number2
DOIs
StatePublished - Feb 2009
Externally publishedYes

Fingerprint

Temporal logic
Motion planning
Robots
Specifications
Kinematics
Automata theory
Collision avoidance
Invariance
Mobile robots
Dynamic models
Trajectories

Keywords

  • Hierarchical control
  • Hybrid systems
  • Motion planning
  • Robustness
  • Temporal logic

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Temporal logic motion planning for dynamic robots. / Fainekos, Georgios; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.

In: Automatica, Vol. 45, No. 2, 02.2009, p. 343-352.

Research output: Contribution to journalArticle

Fainekos, G, Girard, A, Kress-Gazit, H & Pappas, GJ 2009, 'Temporal logic motion planning for dynamic robots', Automatica, vol. 45, no. 2, pp. 343-352. https://doi.org/10.1016/j.automatica.2008.08.008
Fainekos, Georgios ; Girard, Antoine ; Kress-Gazit, Hadas ; Pappas, George J. / Temporal logic motion planning for dynamic robots. In: Automatica. 2009 ; Vol. 45, No. 2. pp. 343-352.
@article{67ae2919cf714a5a8f442f8fff0238e9,
title = "Temporal logic motion planning for dynamic robots",
abstract = "In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification.",
keywords = "Hierarchical control, Hybrid systems, Motion planning, Robustness, Temporal logic",
author = "Georgios Fainekos and Antoine Girard and Hadas Kress-Gazit and Pappas, {George J.}",
year = "2009",
month = "2",
doi = "10.1016/j.automatica.2008.08.008",
language = "English (US)",
volume = "45",
pages = "343--352",
journal = "Automatica",
issn = "0005-1098",
publisher = "Elsevier Limited",
number = "2",

}

TY - JOUR

T1 - Temporal logic motion planning for dynamic robots

AU - Fainekos, Georgios

AU - Girard, Antoine

AU - Kress-Gazit, Hadas

AU - Pappas, George J.

PY - 2009/2

Y1 - 2009/2

N2 - In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification.

AB - In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification.

KW - Hierarchical control

KW - Hybrid systems

KW - Motion planning

KW - Robustness

KW - Temporal logic

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

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

U2 - 10.1016/j.automatica.2008.08.008

DO - 10.1016/j.automatica.2008.08.008

M3 - Article

VL - 45

SP - 343

EP - 352

JO - Automatica

JF - Automatica

SN - 0005-1098

IS - 2

ER -