Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
| Autor: | Jesper Karlsson, Fernando S. Barbosa, Jana Tumova |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
0209 industrial biotechnology
Path Planning Computer science Semantics (computer science) 020208 electrical & electronic engineering Robotics 02 engineering and technology Control Engineering Formal Methods Spatial relation Trajectory Planning 020901 industrial engineering & automation Robotteknik och automation Linear temporal logic Fragment (logic) Temporal Logic Reglerteknik Control and Systems Engineering Robustness (computer science) 0202 electrical engineering electronic engineering information engineering Trajectory Temporal logic Motion planning Algorithm |
| Zdroj: | IFAC-PapersOnLine. 53:15537-15543 |
| ISSN: | 2405-8963 |
| Popis: | While motion planning under temporal logic specifications has been addressed in several state-of-the-art works, spatial aspects have been so far largely neglected. In this work, we enrich the semantics of robot motion specifications by including preferences on spatial relations between its trajectory and various elements in its environment. The spatial preferences are given in a fragment of Signal Temporal Logic (STL) on top of complex missions in syntactically co-safe Linear Temporal Logic (scLTL). We propose a cost function with user-specified parameters, which determines the compromise between efficiency and spatial robustness of a trajectory. The proposed modification of the incremental sampling-based RRT$^\star$ driven by this cost function guarantees that the motion plan (if found) simultaneously satisfies the mission and asymptotically minimize the cost. The paper includes several case studies showcasing the effects of the user-adjustable parameters on the resulting trajectories. QC 20210318 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|