.png){kind=icon}
Return
Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2023.3257185.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space. The main idea of the paper is to increase efficiency by adding learning-based extensions to sampling-based path planning algorithms. The proposed method includes two layers: a high-level layer that determines how to expand the search tree to satisfy logical specifications and a low-level layer that extends the search tree to search for low-cost trajectories. To efficiently find low-cost trajectories, it is learned how to extend the search tree from the data via deep learning. By leveraging the conditional variational autoencoder, we learn the ideal search tree extension distribution in a given situation, which increases solution search efficiency. Simulations show that the proposed method finds a low-cost trajectory while meeting a given mission specification. Furthermore, it is confirmed that the proposed approach performs better than the existing methods.
Keywords:
Trajectory
Path planning
Costs
Planning
Automata
Heuristic algorithms
Cost function
formal methods
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
Organization
Cited Papers
ShareSaveShareSaveShareSaveShareSaveShareSaveA Hybrid Multi-Target Path Planning Algorithm for Unmanned Cruise Ship in an Unknown Obstacle Environment.png)
SENSORS
OAAI
SENSORSIF3.5
OAAIShareSaveShareSave
View more