Name
Abstract | ||
|---|---|---|
Motivated by robotic motion planning, we develop a framework for control policy synthesis for both non-deterministic transition systems and Markov decision processes that are subject to temporal logic task specifications. We introduce a fragment of linear temporal logic that can be used to specify common motion planning tasks such as safe navigation, response to the environment, persistent coverage, and surveillance. This fragment is computationally efficient; the complexity of control policy synthesis is a doubly-exponential improvement over standard linear temporal logic for both non-deterministic transition systems and Markov decision processes. This improvement is possible because we compute directly on the original system, as opposed to the automata-based approach commonly used. We give simulation results for representative motion planning tasks and compare to generalized reactivity(1). |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/ICRA.2013.6631296 | Robotics and Automation |
Keywords | Field | DocType |
Markov processes,automata theory,control system synthesis,controllers,decision making,temporal logic,Markov decision processes,automata-based approach,control policy synthesis complexity,control policy synthesis framework,doubly-exponential improvement,linear temporal logic fragment,nondeterministic transition systems,persistent coverage,reactive controller synthesis,robotic motion planning tasks,surveillance,temporal logic task specifications | Motion planning,Markov process,Temporal logic of actions,Interval temporal logic,Computer science,Logic optimization,Markov decision process,Control engineering,Linear temporal logic,Temporal logic | Conference |
Volume | Issue | ISSN |
2013 | 1 | 1050-4729 |
ISBN | Citations | PageRank |
978-1-4673-5641-1 | 19 | 0.95 |
References | Authors | |
18 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eric M. Wolff | 1 | 64 | 3.72 |
| Ufuk Topcu | 2 | 1032 | 115.78 |
| Richard M. Murray | 3 | 12322 | 1223.70 |