Dual Stress: Runtime Safety Monitoring for Safety-Constrained MPC Navigation
作者: Jamil Chahine, Wenqi Cai, John Abanes, Anthony Tzes
分类: cs.RO
发布日期: 2026-08-11
备注: 6 pages, 4 figures, 2 tables, submitted to the 13th International Conference on Automation, Robotics and Applications (ICARA 2027)
💡 一句话要点
提出双重压力信号以增强安全约束下的MPC导航监控
🎯 匹配领域: 支柱一：机器人控制 (Robot Control)
关键词: 模型预测控制 安全监测 KKT乘子 自主导航 碰撞检测 双重压力信号 几何量 机器人路径规划
📋 核心要点
- 现有的安全监测方法主要依赖几何量，容易漏检潜在的碰撞风险。
- 本文提出利用模型预测控制中的KKT乘子，构建双重压力信号，作为补充的危险监测手段。
- 实验结果显示，该方法能够识别比传统几何检测器多4.7倍的碰撞风险，显著提升了安全监测效果。
📝 摘要（中文）
在自主导航中，传统的运行时危险监测主要依赖几何量，如预测间隙、碰撞时间和所需减速。本文提出了一种新方法，通过利用模型预测控制器的Karush-Kuhn-Tucker乘子，构建了一种双重压力信号，以补充现有的几何警告。通过在物理模拟器中进行的实验，发现该信号能够有效识别更多潜在碰撞，显著提高了安全监测的准确性。
🔬 方法详解
问题定义：本文旨在解决传统几何监测方法在自主导航中的局限性，尤其是漏检潜在碰撞的风险。现有方法主要依赖几何量，缺乏对控制努力的深入分析。
核心思路：论文提出利用模型预测控制器中的KKT乘子，构建一种双重压力信号，作为补充的危险监测手段。这种信号能够反映为维持安全所需的边际控制努力，从而更全面地评估碰撞风险。
技术框架：整体方法包括两个主要模块：首先，模型预测控制器在每个控制步骤中计算KKT乘子；其次，利用这些乘子生成双重压力信号，并与传统几何监测结果进行结合，以提供更全面的安全监测。
关键创新：最重要的技术创新在于引入KKT乘子作为新的监测信号，这与传统依赖几何量的监测方法形成了本质区别，能够更准确地反映控制系统的安全状态。
关键设计：在实验中，双重压力信号与15种几何检测器进行对比，设置了匹配的误报预算，确保了实验的公平性和有效性。
🖼️ 关键图片
📊 实验亮点
实验结果表明，双重压力信号能够有效识别85次潜在碰撞，而传统几何检测器仅识别18次，提升幅度达到4.7倍。结合两者的监测结果，能够警告约75%的可行制动情况下的碰撞风险，显著提高了安全监测的全面性。
🎯 应用场景
该研究的潜在应用领域包括自动驾驶汽车、无人机导航和机器人路径规划等。通过提高安全监测的准确性，能够有效降低事故风险，提升自主系统的安全性和可靠性，具有重要的实际价值和广泛的应用前景。
📄 摘要（原文）
Runtime hazard monitors for autonomous naviga- tion are conventionally built from geometric quantities: predicted clearance, time to collision, and required deceleration. A model-predictive controller that enforces safety through explicit con- straints computes, as a by-product of every control step, a second information channel that such monitors ignore: the Karush-Kuhn-Tucker multipliers of its constrained optimization, which measure the marginal control effort spent to maintain safety against each obstacle. This paper evaluates whether a horizon-weighted sum of those multipliers, a dual stress signal, provides a hazard monitor complementary to the geometric warnings the same state already supports. We compare it against a battery of fifteen geometric detectors tuned to a matched false-alarm budget, on preregistered held-out crossing scenarios driven through a physics simulator. The stress alarm actionably flags 4.7 times as many collisions missed by the entire geometric battery as the geometric battery flags in return (85 versus 18); combined, the two channels warn of three quarters of the collisions for which braking remained feasible, against under half for the geometric battery alone.