Abstract | ||
---|---|---|
The cost of the great expressivity of motion planning subject to temporal logic formulae is intractability. Recent advances in sampling-based methods seem to be only applicable to “low-level” control. The problem of realizing “high-level” controllers that satisfy a temporal logic specification does not readily admit approximations, unless the notion of correctness is relaxed as might be achieved with probabilistic variants of temporal logics. In this paper, we argue that not all possible environment (uncontrolled) behaviors need to be explicitly planned for, but rather short-time strategies can be generated online while maintaining global correctness. We achieve this by separating feasibility from controller synthesis, using metrics from the underlying continuous state space to ensure short-time strategies chained together provide globally correct behavior. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ICRA.2013.6631298 | Robotics and Automation |
Keywords | Field | DocType |
control system synthesis,path planning,probability,temporal logic,continuous state space,controller synthesis,correctness notion,global correctness,high-level controllers,just-in-time synthesis,low-level control,probabilistic temporal logic variants,reactive motion planning,sampling-based methods,short-time strategies,temporal logic specification | Computation tree logic,Temporal logic of actions,Interval temporal logic,Logic optimization,Computer science,Control theory,Correctness,Theoretical computer science,Control engineering,Linear temporal logic,Probabilistic logic,Temporal logic | Conference |
Volume | Issue | ISSN |
2013 | 1 | 1050-4729 |
ISBN | Citations | PageRank |
978-1-4673-5641-1 | 5 | 0.49 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Scott C. Livingston | 1 | 24 | 2.58 |
Richard M. Murray | 2 | 12322 | 1223.70 |