Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
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 lear...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2023-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10068514/ |
| _version_ | 1797866983059881984 |
|---|---|
| author | Kyunghoon Cho |
| author_facet | Kyunghoon Cho |
| author_sort | Kyunghoon Cho |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-09T23:34:02Z |
| format | Article |
| id | doaj.art-79f1fa442e2b4e7f85989036a11e4701 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-04-09T23:34:02Z |
| publishDate | 2023-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-79f1fa442e2b4e7f85989036a11e47012023-03-20T23:00:21ZengIEEEIEEE Access2169-35362023-01-0111258652587810.1109/ACCESS.2023.325718510068514Learning-Based Path Planning Under Co-Safe Temporal Logic SpecificationsKyunghoon Cho0https://orcid.org/0000-0002-4679-6660Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South KoreaThis 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.https://ieeexplore.ieee.org/document/10068514/Path planningformal methods |
| spellingShingle | Kyunghoon Cho Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications IEEE Access Path planning formal methods |
| title | Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications |
| title_full | Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications |
| title_fullStr | Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications |
| title_full_unstemmed | Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications |
| title_short | Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications |
| title_sort | learning based path planning under co safe temporal logic specifications |
| topic | Path planning formal methods |
| url | https://ieeexplore.ieee.org/document/10068514/ |
| work_keys_str_mv | AT kyunghooncho learningbasedpathplanningundercosafetemporallogicspecifications |