arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2603.09083cs.RO
收藏

在运动和环境不确定性下为机械臂提供可证明安全的轨迹生成

Provably Safe Trajectory Generation for Manipulators Under Motion and Environmental Uncertainties

Hong Kong Center for Construction Robotics, The Hong Kong University of Science and Technology(香港建设机器人中心,香港理工大学);Department of Mechanical and Automation Engineering, The Chinese University of Hong Kong(机械与自动化工程系,中国香港大学);Department of Electronic Engineering, The Chinese University of Hong Kong(电子工程系,中国香港大学);Shenzhen Key Laboratory of Robotics Perception and Intelligence and the Department of Electronic and Electrical Engineering at Southern University of Science and Technology(深圳机器人感知与智能重点实验室和南方科技大学电子与电气工程系);Department of Electronic Engineering at The Chinese University of Hong Kong(电子工程系,中国香港大学)

Fei Meng, Zijiang Yang, Xinyu Mao, Haobo Liang, Max Q. -H. Meng

AI总结:

本文提出了一种可证明安全的轨迹生成框架,通过整合深度随机Koopman操作符模型和分层验证方法,有效应对运动和环境不确定性下的碰撞风险问题。

摘要:

机器人在不确定和非凸环境中操作给安全和最优运动规划带来了重大挑战。现有方法往往难以提供高效且正式认证的碰撞风险保证,尤其是在处理复杂几何形状和非高斯不确定性时。本文提出了一种新的风险有界的运动规划框架来解决这一未满足的需求。我们的方法整合了一个刚性机械臂深度随机Koopman操作符(RM-DeSKO)模型,以在运动不确定性下稳健地预测机器人的状态分布。然后我们引入了一种高效的、分层验证方法,结合可并行化的物理模拟与求和平方(SOS)编程作为过滤器,用于对细粒度的正式认证碰撞风险进行过滤。该方法嵌入在模型预测路径积分(MPPI)控制器中,该控制器独特地利用SOS分解中的二进制碰撞信息来改进其策略。所提出框架的有效性通过两种典型机器人机械臂进行了广泛模拟和实际实验验证,包括一项具有挑战性的人机协作场景,展示了所学模型的仿真到现实转移能力及其在复杂、不确定环境中的安全和高效轨迹生成能力。

英文摘要:

Robot manipulators operating in uncertain and non-convex environments present significant challenges for safe and optimal motion planning. Existing methods often struggle to provide efficient and formally certified collision risk guarantees, particularly when dealing with complex geometries and non-Gaussian uncertainties. This article proposes a novel risk-bounded motion planning framework to address this unmet need. Our approach integrates a rigid manipulator deep stochastic Koopman operator (RM-DeSKO) model to robustly predict the robot's state distribution under motion uncertainty. We then introduce an efficient, hierarchical verification method that combines parallelizable physics simulations with sum-of-squares (SOS) programming as a filter for fine-grained, formal certification of collision risk. This method is embedded within a Model Predictive Path Integral (MPPI) controller that uniquely utilizes binary collision information from SOS decomposition to improve its policy. The effectiveness of the proposed framework is validated on two typical robot manipulators through extensive simulations and real-world experiments, including a challenging human-robot collaboration scenario, demonstrating sim-to-real transfer of the learned model and its ability to generate safe and efficient trajectories in complex, uncertain settings.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑