.png){kind=icon}
返回
Reactive Planner Synthesis Under Temporal Logic Specifications
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2024.3356570.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper proposes a novel, reactive control scheme for autonomous vehicles that fulfills mission specifications as defined by Linear Temporal Logic (LTL) formulas. Our method designs a point-to-point local planner utilizing control Lyapunov functions, which searches for a trajectory that satisfies given mission specifications, providing a path for the vehicle's low-level controller to follow. Two key characteristics of this local planner are: 1) its ability to generate a trajectory responsive to the current state; and 2) its reflection of the reference path procured from offline planning. Our method exhibits adaptability to disturbances and efficiently guides the vehicle to meet mission requirements. We furnish simulation experiments which manifest the robust performance of our algorithm in diverse scenarios, including evading obstacles and maintaining control amid external disturbances. The proposed approach consistently delivers high mission completion rates and robustness in facing external perturbations.
Keyword:
Formal methods
reactive control
robot mission planning
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容