[论文解读] Vision Zero: on a Provable Method for Eliminating Roadway Accidents without Compromising Traffic Throughput

Shai Shalev‐Shwartz, Shaked Shammah+1 more|arXiv (Cornell University)|Dec 9, 2018

Software Reliability and Analysis Research参考文献 1被引用 8

一句话总结

本文提出了一种基于责任敏感安全（RSS）模型的预防性、数学上可保证的ADAS系统，名为APB（自适应预防性制动）系统，该系统可在碰撞发生前实现早期、平稳的制动，从而避免碰撞。通过形式化保证安全并最小化误报，该系统在不降低交通流量的前提下，将事故减少高达99%，为实现零愿景（Vision Zero）提供了可证明的路径。

ABSTRACT

We propose an economical, viable, approach to eliminate almost all car accidents. Our method relies on a mathematical model of safety and can be applied to all modern cars at a mild cost.

研究动机与目标

• 开发一种可证明安全的预防性ADAS系统，以减少碰撞而不影响交通通行能力。
• 通过引入具有加速度变化率（jerk）限制的早期干预方法，解决当前AEB系统仅在最后一刻反应、导致高加速度变化率制动的问题。
• 将RSS安全模型扩展至人类驾驶车辆，通过ADAS实现，确保在所有车辆遵守规则时，可获得形式化的数学安全保证。
• 通过低成本、兼容现有硬件的系统实现安全增强功能的广泛部署，同时保持驾驶舒适性和正常交通流。
• 证明在现实系统故障率下，事故减少99%是可实现的，从而推进零愿景（Vision Zero）目标。

提出的方法

• APB系统采用加速度变化率受限的制动曲线，在碰撞即将发生前即启动制动，确保平稳减速，降低对后方车辆的意外冲击。
• 应用RSS模型定义安全距离和正确的响应规则，确保若所有车辆均遵守规则，则不会发生追尾碰撞。
• 采用形式化归纳证明，保证在初始安全距离合理且前车制动加速度受限制的前提下，碰撞不可能发生。
• 利用现有AEB硬件并调整参数配置，降低误报率，并实现更高速度下的制动激活。
• 第二阶段通过融合周围环境感知与众源高清地图，实现对路口、汇流区及视线受阻区域的提前预判。
• 系统在所有场景中集成RSS规划，利用地图数据预先调整车速，避免危险操作。

实验结果

研究问题

• RQ1 预防性ADAS系统是否能比反应式AEB系统更有效地减少追尾碰撞，同时保持交通通行能力？
• RQ2 能否通过ADAS将形式化的数学安全保证应用于人类驾驶车辆，确保在车辆合规时实现碰撞规避？
• RQ3 与突然触发的AEB相比，加速度变化率受限的制动曲线如何提升安全性并减少误报？
• RQ4 在混合交通环境中，考虑现实系统故障率时，事故减少99%的实现程度如何？
• RQ5 众源高清地图与RSS结合，能否在无需完全自动驾驶的前提下，实现主动、场景感知的驾驶决策？

主要发现

• 基于RSS与加速度变化率受限制动的APB系统，可通过早期平稳干预预防碰撞，显著降低后方追尾风险。
• 形式化归纳证明表明，若所有车辆均遵守RSS规定的响应规则，且前车制动加速度不超过最大值，则碰撞不可能发生。
• 该系统可基于现有AEB硬件实现，仅需调整参数配置，支持在高速下激活，减少漏报（false negatives）。
• 由于制动过程更平顺，该系统误报率远低于传统AEB，从而可设置更高的检测阈值，减少漏检威胁。
• 在每100次危险情境中发生1次故障的条件下，系统可实现99%的事故减少率，证明其为实现零愿景（Vision Zero）提供了切实可行的路径。
• 高清地图与周围环境感知的融合，使系统能够对路口、汇流区及视线受阻区域实现主动规划，显著提升复杂场景下的安全性。