Abstract | ||
---|---|---|
This paper addresses the path planning problem of a mobile robot based on linear temporal logic formulae over a set of regions of interest in the environment. The regions have fixed and known locations but have some dynamic observations that can appear and disappear based on exponential probability density functions. The robot movement capabilities are modeled by a finite-state transition system. By drawing inspiration from temporal logic control for static environments, we find a run that has the greatest chance of satisfying the temporal logic specification. Then, we devise a supervising strategy for the robot motion along this run, which updates the execution based on the currently observed regions. The approach is supported by two simulations. |
Year | DOI | Venue |
---|---|---|
2012 | 10.3182/20121003-3-MX-4033.00048 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
Temporal logic,mobile robots,transition systems,probabilistic models,formal languages | Motion planning,Transition system,Computation tree logic,Interval temporal logic,Computer science,Theoretical computer science,Linear temporal logic,Real-time computing,Temporal logic,Robot,Mobile robot | Conference |
Volume | Issue | ISSN |
45 | 29 | 1474-6670 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Kloetzer | 1 | 476 | 29.21 |
Cristian Mahulea | 2 | 161 | 19.50 |