用双重安全机制让扩散模型在自动驾驶中更安全可靠
DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
- 用哈密顿-雅可比可达性函数引导扩散过程,确保动作符合车辆动力学
- 通过控制屏障值函数实时修正动作,保障不确定交互下的安全性
- 适合关注自动驾驶安全与多智能体交互的工程师和研究者
扩散模型已成为自动驾驶中多模态轨迹规划的强大方法。然而,其实际部署常受限于难以约束车辆动力学以及对其他智能体行为预测的高依赖性,导致在不确定交互下易引发安全隐患。为此,我们提出DualShield框架,利用哈密顿-雅可比(HJ)可达性值函数实现双重功能:首先,作为主动引导,将扩散去噪过程导向安全且动力学可行的区域;其次,构建反应式安全盾牌,通过控制屏障值函数(CBVF)调整执行动作,确保安全。该双重机制在保留扩散模型丰富探索能力的同时,提供了在不确定甚至对抗性交互下的严谨安全保证。在具有挑战性的无保护左转场景仿真中,DualShield相较于不同规划范式的领先方法,在安全性和任务效率上均有显著提升。
原文摘要 · Abstract (English)
Diffusion models have emerged as a powerful approach for multimodal motion planning in autonomous driving. However, their practical deployment is typically hindered by the inherent difficulty in enforcing vehicle dynamics and a critical reliance on accurate predictions of other agents, making them prone to safety issues under uncertain interactions. To address these limitations, we introduce DualShield, a planning and control framework that leverages Hamilton-Jacobi (HJ) reachability value functions in a dual capacity. First, the value functions act as proactive guidance, steering the diffusion denoising process towards safe and dynamically feasible regions. Second, they form a reactive safety shield using control barrier-value functions (CBVFs) to modify the executed actions and ensure safety. This dual mechanism preserves the rich exploration capabilities of diffusion models while providing principled safety assurance under uncertain and even adversarial interactions. Simulations in challenging unprotected U-turn scenarios demonstrate that DualShield significantly improves both safety and task efficiency compared to leading methods from different planning paradigms under uncertainty.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。