Signal Temporal Logic仕様下での軌道最適化のための厳密で滑らかな再定式化
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Signal Temporal Logicの仕様を満たす軌道最適化問題に対し、max/min演算子を厳密かつ滑らかに再定式化する手法を提案し、数値シミュレーションで有効性を示した。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Shaohang Han, Joris Verhagen, Jana Tumova
分類: cs.RO
原文アブストラクト
We study motion planning under Signal Temporal Logic (STL), a useful formalism for specifying spatial-temporal requirements. We pose STL synthesis as a trajectory optimization problem leveraging the STL robustness semantics. To obtain a differentiable problem without approximation error, we introduce an exact reformulation of the max and min operators. The resulting method is exact, smooth, and sound. We validate it in numerical simulations, demonstrating its practical performance.
