Temporal logic motion planning for dynamic robots

E FainekosGeorgios,GirardAntoine,Kress-GazitHadas,J PappasGeorge

Temporal logic motion planning for dynamic robots

2009

E FainekosGeorgios
GirardAntoine
Kress-GazitHadas
J PappasGeorge

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 specifi...

Keywords:

Robustness (computer science)
Usual control
Control engineering
Mobile robot
Motion planning
Hybrid system
Temporal logic
Robot
Mathematics
Control theory

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations