arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2407.03569cs.RO
收藏

使用自适应保形预测进行不确定性量化的安全关键控制

Safety-Critical Control with Uncertainty Quantification using Adaptive Conformal Prediction

University of North Carolina at Charlotte(北卡罗来纳大学夏洛特分校)

Hao Zhou, Yanze Zhang, Wenhao Luo

AI总结:

针对未知运动噪声分布下机器人安全保证易失效的问题,提出融合自适应保形预测、概率CBF与MPC的无分布安全控制框架,并通过多机器人仿真验证其高概率安全保障。

摘要:

安全保障在机器人系统的规划与控制中至关重要。对于在现实世界中运行的机器人,安全关键设计通常需要显式处理不确定性,而预先计算的保证往往依赖于关于不确定性特定分布的假设。然而,事先刻画真实的不确定性分布十分困难,因此已建立的安全保证可能会因可能存在的分布不匹配而被违反。本文提出一种新颖的安全控制框架,为遵循未知运动噪声分布的随机动力系统提供高概率安全保证。具体而言,该框架采用自适应保形预测,根据在线观测动态量化预测不确定性,并将其与控制障碍函数(CBFs)的概率扩展相结合,以刻画具备不确定性感知的控制约束。通过将这些约束集成到模型预测控制方案中,该框架使机器人能够在无分布设定下在线自适应捕获真实预测不确定性,并享有形式上可证明的高概率安全保障。文中给出了在具有随机单积分器动力学和独轮车动力学的多机器人系统上的仿真结果,以证明本框架的有效性。

英文摘要:

Safety assurance is critical in the planning and control of robotic systems. For robots operating in the real world, the safety-critical design often needs to explicitly address uncertainties and the pre-computed guarantees often rely on the assumption of the particular distribution of the uncertainty. However, it is difficult to characterize the actual uncertainty distribution beforehand and thus the established safety guarantee may be violated due to possible distribution mismatch. In this paper, we propose a novel safe control framework that provides a high-probability safety guarantee for stochastic dynamical systems following unknown distributions of motion noise. Specifically, this framework adopts adaptive conformal prediction to dynamically quantify the prediction uncertainty from online observations and combines that with the probabilistic extension of the control barrier functions (CBFs) to characterize the uncertainty-aware control constraints. By integrating the constraints in the model predictive control scheme, it allows robots to adaptively capture the true prediction uncertainty online in a distribution-free setting and enjoys formally provable high-probability safety assurance. Simulation results on multi-robot systems with stochastic single-integrator dynamics and unicycle dynamics are provided to demonstrate the effectiveness of our framework.

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

↑