在未知扰动下,为机器人设计了可证明安全的运动规划算法。
Provably Safe Motion Planning Under Unknown Disturbances

- 基于轨迹数据学习瓦瑟斯坦不确定带,捕捉状态分布的高置信区间
- 在复杂环境中实现严格安全阈值下的有效路径规划,优于现有方法
- 引入高效贝叶斯验证器,提升实测性能且保持概率完备性
我们提出一种针对受未知分布随机扰动影响的机器人系统,具有可证明安全性的采样式运动规划算法。考虑具有线性或可线性化动力学、任意形状障碍物、状态与控制约束的系统。安全要求以机会约束形式表述。方法利用系统轨迹数据学习瓦瑟斯坦不确定带,即一系列包含系统状态分布的高置信度模糊集。该不确定带被用于概率完备的采样式规划树生长,以满足约束。我们证明,学习多个低维不确定带而非单一高维不确定带,显著降低保守性并提升可扩展性。此外,设计了一种高效的基于博弈论的验证器,显著提高算法实测性能,且不牺牲概率完备性。案例研究显示,该算法在密集环境与严格安全阈值下仍能生成有效路径,优于当前最优方法。
原文摘要 · Abstract (English)
We present a provably safe sampling-based motion planning algorithm for robotic systems affected by random disturbances of unknown distribution. We consider systems with linear or linearizable dynamics evolving in workspace with arbitrary-shaped obstacles subject to state and control constraints. Safety requirements are formulated as chance-constraints. Our approach leverages data from trajectories of the system to learn a Wasserstein ambiguity tube, i.e., a sequence of ambiguity sets, which contains the trajectory of the system's state distribution with high confidence. This ambiguity tube is then used in a probabilistically complete algorithm to grow a sampling-based motion planning tree that respects the constraints of the problem. We show that learning several lower-dimensional ambiguity tubes instead of a single high-dimensional one effectively reduces the conservatism and boosts scalability. Additionally, we design an efficient bandit-based validity checker that remarkably increases the empirical performance of our approach without sacrificing probabilistic completeness. Case studies show our algorithm finds valid plans in cluttered environments under strict safety thresholds, outperforming state-of-the-art methods.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。