Title: RRT^eta Sampling based Motion Planning and Control from STL Specifications using Arithmetic Geometric Mean Robustness Authors: Ahmad Ahmad, Shuo Liu, Roberto Tron, Calin Belta arXiv: https://arxiv.org/abs/2602.16825
Problem framing
该文的价值在于把 STL 规划里最棘手的非光滑 min-max 鲁棒度替换为 AGM 鲁棒度,缓解树搜索中的“梯度断裂/指引稀疏”问题。
Core method
核心机制是三件事:部分轨迹区间语义、增量监测器、以及基于 FPL 的满足方向组合。直观上,它把“仅由关键时刻决定的硬门槛”改为“全时域、全子公式参与”的平滑评价。可记为 (示意)并在树扩展中增量更新。
Key equations and mechanisms
实验阅读建议:先看 double integrator 与 unicycle 的可行率/收敛速度,再看 7-DoF 机械臂多约束任务,重点比较 guidance 弱时的优势。
Experiment reading guide
局限在于 AGM 参数与权重设定仍有调参成本;当 STL 公式极深且约束冲突强,平滑评价也可能掩盖硬违约边界。
Limitations
未来可把该鲁棒度嵌入学习型 planner(例如 value-guided tree expansion)形成“可证性质 + 学习启发”的混合范式。
Future work
复现建议:先复现增量监测器复杂度,再对比 min-max 与 AGM 在相同采样预算下的成功率曲线。
Replication angle
Figure
arXiv 页面无稳定直链图片
Graph: Paper Node 2602.16825