信号時相論理を用いた安全性を考慮したモデル予測経路積分制御

本論文は、Signal Temporal Logic (STL) で表現された複雑な仕様を満たす、計算効率の高いサンプリングベースの再ceding-horizonプランニングフレームワーク「safety-aware-stl-mppi」を提案する。離散時間STL式を時間変化する制御バリア関数 (CBF) にエンコードし、Model Predictive Path Integral (MPPI) コントローラに統合することで、安全性と効率性を両立する。火星探査車のケーススタディとクアッドコプター実験で有効性を示す。

従来のMPPIはSTL制約を直接扱えず、ペナルティ関数による軟制約が一般的であったが、本手法はCBFを用いてSTL制約を硬制約として扱う点が新しい。また、サンプリングベースのMPPIの低計算コストを維持しつつ、CBFによる安全性保証を組み込んだ点が優れている。

離散時間STL式を時間変化するCBFに変換する手法を提案。CBFはMPPIのコスト関数に組み込まれ、制約違反を防ぐ。MPPIは並列化可能なサンプリングベースのプランナーであり、計算コストが低い。

4つの人工火星探査車ケーススタディ（多様な環境とコスト設定）で、複数のMPPIベースラインと比較し、安全性と効率性を一貫して達成。さらに、NVIDIA Isaac Labでのクアッドコプター実験も実施。

要旨からは、CBFの設計がSTL式の複雑さに依存する可能性や、サンプリングベース手法の局所最適性の問題などが議論される可能性があるが、具体的な議論は要旨からは不明。

要旨で参照されているMPPIベースラインや、STLとCBFの関連研究（例：Control Barrier Functions, Signal Temporal Logic in robotics）が挙げられる。具体的な論文名は要旨にないため、同分野の定番として「Model Predictive Path Integral Control」や「Signal Temporal Logic」に関する論文が考えられる。