arXiv:2507.13872eess.SYcs.RO2025-07

用梯度优化与安全约束结合,让自动驾驶系统又快又安全。

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions

  • 先用梯度法快速优化性能,再用安全函数修正控制器。
  • 在高维系统中实现可证明安全且高性能的控制。
  • 适合需要兼顾效率与安全的机器人、自动驾驶场景。

确保自主系统在真实环境中的性能与安全性至关重要。传统安全滤波器(如控制屏障函数,CBF)虽能实时修正控制器以满足约束,但当原始策略缺乏安全意识时会过于保守。而通过动态规划求解状态约束最优控制问题(SC-OCP)虽有形式化保证,却难以应对高维系统。本文提出一种两阶段框架:第一阶段将安全约束松弛为代价函数中的惩罚项,利用梯度方法实现快速优化,提升可扩展性并避免硬约束导致的不可行问题;第二阶段采用基于CBF的二次规划(CBF-QP)对所得控制器进行修正,以最小偏离参考轨迹的方式强制执行硬性安全约束。该方法生成的控制器兼具高性能与可证明安全性。我们在两个案例研究中验证了该框架的有效性,展示了其在复杂高维自主系统中合成可扩展、安全且高性能控制器的能力。

原文摘要 · Abstract (English)

Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce constraints by modifying nominal controllers in real time, they can become overly conservative when the nominal policy lacks safety awareness. Conversely, solving State-Constrained Optimal Control Problems (SC-OCPs) via dynamic programming offers formal guarantees but is intractable in high-dimensional systems. In this work, we propose a novel two-stage framework that combines gradient-based Model Predictive Control (MPC) with CBF-based safety filtering for co-optimizing safety and performance. In the first stage, we relax safety constraints as penalties in the cost function, enabling fast optimization via gradient-based methods. This step improves scalability and avoids feasibility issues associated with hard constraints. In the second stage, we modify the resulting controller using a CBF-based Quadratic Program (CBF-QP), which enforces hard safety constraints with minimal deviation from the reference. Our approach yields controllers that are both performant and provably safe. We validate the proposed framework on two case studies, showcasing its ability to synthesize scalable, safe, and high-performance controllers for complex, high-dimensional autonomous systems.

控制理论安全控制优化算法

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