Temporal logic motion planning for dynamic robots

Georgios Fainekos; Antoine Girard; Hadas Kress‐Gazit; George J. Pappas

doi:10.1016/j.automatica.2008.08.008

ScienceGate Book Chapters

JOURNAL ARTICLE

Temporal logic motion planning for dynamic robots

Georgios Fainekos Antoine Girard Hadas Kress‐Gazit George J. Pappas

Year: 2008 Journal: Automatica Vol: 45 (2)Pages: 343-352 Publisher: Elsevier BV

DOI: 10.1016/j.automatica.2008.08.008

Get Full-Text PDF Get Analytical Report

Keywords:

Temporal logic Linear temporal logic Computer science Reachability Model checking Control theory (sociology) Motion planning Bisimulation Trajectory Mobile robot Bounded function Kinematics Automaton Control engineering Obstacle avoidance Robot Theoretical computer science Artificial intelligence Mathematics Control (management) Engineering

Metrics

454

Cited By

12.31

FWCI (Field Weighted Citation Impact)

Refs

0.99

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Robotic Path Planning Algorithms

Physical Sciences → Computer Science → Computer Vision and Pattern Recognition

Model-Driven Software Engineering Techniques

Physical Sciences → Computer Science → Software

Temporal logic motion planning for dynamic robots

Metrics

Citation History

Topics

Related Documents

Temporal Logic Motion Planning for Mobile Robots

Motion Planning for Mobile Robots with Temporal Logic Specifications

Energy-Aware Temporal Logic Motion Planning for Mobile Robots

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Temporal Logic Motion Planning