Temporal logic motion planning for dynamic robots

@article{Fainekos2009TemporalLM,
  title={Temporal logic motion planning for dynamic robots},
  author={Georgios E. Fainekos and Antoine Girard and Hadas Kress-Gazit and George J. Pappas},
  journal={Automatica},
  year={2009},
  volume={45},
  pages={343-352}
}
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… CONTINUE READING

7 Figures & Tables

Topics

Statistics

020406020092010201120122013201420152016201720182019
Citations per Year

348 Citations

Semantic Scholar estimates that this publication has 348 citations based on the available data.

See our FAQ for additional information.