arXiv:2504.03038cs.ROcs.SY2025-04被引 6

动态调整安全约束参数,让机器人更安全地快速避障。

Learning to Adapt Control Barrier Functions Under Epistemic and Aleatoric Uncertainty

  • 运行时自适应调整控制屏障函数参数,结合不确定性建模。
  • 在多种飞行器仿真中,碰撞率与不可行率低,比固定参数更高效。
  • 适合需实时安全保障的自主机器人系统开发与研究者。

控制屏障函数(CBFs)为机器人系统提供了一种可操作的安全约束机制,但其实际性能强烈依赖于类-K函数参数的选择。在输入约束下,保守参数虽能保持可行性,但进展缓慢;激进参数则可能导致CBF优化不可行或不安全。本文提出在线自适应CBF(OA-CBF)框架,可在运行时动态调整参数。引入局部验证的CBF参数概念,能在有限预测时域内验证候选参数,并证明只要在连续更新区间维持该验证,安全性即可保持。为高效识别局部验证参数,OA-CBF训练一个概率集成神经网络来评估查询的CBF参数,而非直接预测单一参数。图注意力编码器表示可变大小障碍物环境,基于共形预测校准的认知不确定性门控拒绝不可靠预测,分布鲁棒的CVaR条件筛选随机性风险。从验证候选中选取预测进展最优的参数,通过MPC-CBF或CBF-QP安全过滤器应用。在动态单轮车、平面与三维四旋翼、运动学自行车和垂直起降四旋翼飞机等基准测试中,结果表明OA-CBF在保持低碰撞率和不可行率的同时,显著降低了固定参数CBF控制器的保守性。

原文摘要 · Abstract (English)

Control barrier functions (CBFs) provide a tractable mechanism for enforcing safety constraints in robotic systems, but their practical performance depends strongly on the choice of class-K function parameters. Under input constraints, conservative parameters often preserve feasibility at the cost of slow progress, whereas aggressive parameters can make the CBF-based optimization infeasible or unsafe. This paper proposes Online Adaptive CBF (OA-CBF), a framework for adapting CBF parameters at runtime. We introduce the notion of locally validated CBF parameters, which certify candidate parameters over a finite prediction horizon, and show that safety is preserved when such validation is maintained over successive update intervals. To identify locally validated parameters efficiently, OA-CBF trains a probabilistic ensemble neural network to evaluate queried CBF parameters rather than directly predict a single parameter. A graph-attention encoder represents variable-size obstacle environments, an epistemic uncertainty gate calibrated by conformal prediction rejects unreliable predictions, and a distributionally robust CVaR condition screens aleatoric risk. Among the verified candidates, OA-CBF selects the parameter with the best predicted progress metric and applies it through either an MPC-CBF or CBF-QP safety filter. Simulation studies on dynamic unicycle, planar and three-dimensional quadrotor, kinematic bicycle, and VTOL quadplane benchmarks show that OA-CBF reduces the conservatism of fixed-parameter CBF controllers while maintaining low collision and infeasibility rates.

安全控制自适应系统不确定性建模机器人

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。