時相論理仕様と運動力学制約下でのRRT*による最適軌道生成
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
線形時相論理(LTL)の仕様を満たしつつ運動力学制約も考慮した軌道を、RRT*を拡張して生成する手法を提案し、シミュレーションと実機実験で有効性を示した。
著者: Saksham Gautam, Ratnangshu Das, Pushpak Jagtap
分類: eess.SY, cs.RO, cs.SY
原文アブストラクト
In this paper, we present a novel RRT*-based strategy for generating kinodynamically feasible paths that satisfy temporal logic specifications. Our approach integrates a robustness metric for Linear Temporal Logics (LTL) with the system's motion constraints, ensuring that the resulting trajectories are both optimal and executable. We introduce a cost function that recursively computes the robustness of temporal logic specifications while penalizing time and control effort, striking a balance between path feasibility and logical correctness. We validate our approach with simulations and real-world experiments in complex environments, demonstrating its effectiveness in producing robust and practical motion plans. This work represents a significant step towards expanding the applicability of motion planning algorithms to more complex, real-world scenarios.
