[論文レビュー] Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version)

Philip Koopman, Beth Osyk+1 more|arXiv (Cornell University)|Oct 31, 2019

Autonomous Vehicle Technology and Safety参考文献 13被引用数 4

ひとこと要約

本稿は、衝突行動中の変動性、不確実性、動的変化といった実世界の複雑性に対応するため、自律走行車両における責任感覚的走行（RSS）モデルを拡張する。変動性、不確実性、動的変化を組み込むことで、衝突回避のための安全な行動を保証する。また、操作空間を細分化するためのマイクロ運用設計ドメイン（μODD）フレームワークを導入し、定義された境界内で形式的かつ安全な行動を実現するとともに、エッジ・ケース（例：ブレーキ中衝突）の取り扱いを改善する。

ABSTRACT

The Responsibility-Sensitive Safety (RSS) model offers provable safety for vehicle behaviors such as minimum safe following distance. However, handling worst-case variability and uncertainty may significantly lower vehicle permissiveness, and in some situations safety cannot be guaranteed. Digging deeper into Newtonian mechanics, we identify complications that result from considering vehicle status, road geometry and environmental parameters. An especially challenging situation occurs if these parameters change during the course of a collision avoidance maneuver such as hard braking. As part of our analysis, we expand the original RSS following distance equation to account for edge cases involving potential collisions mid-way through a braking process. We additionally propose a Micro-Operational Design Domain (μODD) approach to subdividing the operational space as a way of improving permissiveness. Confining probabilistic aspects of safety to μODD transitions permits proving safety (when possible) under the assumption that the system has transitioned to the correct μODD for the situation. Each μODD can additionally be used to encode system fault responses, take credit for advisory information (e.g., from vehicle-to-vehicle communication), and anticipate likely emergent situations.

研究の動機と目的

• 現実世界の走行シナリオにおける最悪ケースの変動性と不確実性に対処するため、RSSモデルの限界を解消すること。
• ブレーキング中の車両状態、道路の幾何学的形状、環境パラメータの動的変化が衝突回避に与える影響を分析すること。
• ブレーキ中衝突リスクとエッジ・ケースを考慮した、RSSの追従距離式の拡張。
• 操作空間を細分化することで安全な行動の形式的証明と許容性の両立を図るマイクロ運用設計ドメイン（μODD）フレームワークの提案。
• 確率的不確実性をμODD遷移に限定し、助言データと故障対応を活用することで、形式的かつ安全な証明を可能にすること。

提案手法

• ブレーキング中の動的変化を考慮し、減速のばらつきと中間行動における衝突リスクをモデル化することで、元のRSS最小追従距離式を拡張。
• 安全上の重要な状態を分離できるように、運用設計ドメインの細分化としてマイクロ運用設計ドメイン（μODD）を導入。
• 各μODD内に安全境界を定義し、正しくドメイン遷移が行われると仮定したもとで形式的かつ安全な証明を可能に。
• μODD定義内に、システムの故障対応、車両間通信（V2V）データ、緊急事態の予測モデルを統合。
• ニュートン力学を用いて物理的相互作用をモデル化し、パラメータの変化と不確実性下での故障モードを同定。
• 各μODD内で安全特性が保たれることを保証する形式的検証アプローチを適用し、行動の過剰な慎重さを低減。

実験結果

リサーチクエスチョン

• RQ1 アクティブな衝突回避行動中に最悪の変動性と不確実性を扱うために、RSSモデルをどのように拡張できるか。
• RQ2 ハードブレーキ中など、ブレーキ中における車両パラメータの変化に伴う、RSSの物理的・機械的限界は何か。
• RQ3 操作空間をどのように細分化すれば、安全な証明性を高めつつ自律走行車両の行動の許容性を維持できるか。
• RQ4 μODDは、確率的不確実性、故障対応、およびV2V通信のような助言データをどのように統合できるか。
• RQ5 不確実性をμODD遷移に限定することで、現実的な仮定のもとで形式的かつ安全な証明が可能になるか。

主な発見

• 拡張されたRSSモデルは、元の追従距離式を動的減速のばらつきを考慮して修正することで、ブレーキ中衝突リスクを適切に扱っている。
• μODDの導入により、明確に定義された操作サブドメイン内で形式的かつ安全な証明が可能となり、車両行動の過剰な慎重さが低減された。
• 確率的不確実性をμODD遷移に限定することで、現実的な仮定のもとで形式的かつ安全な証明が可能となった。
• μODDの使用により、助言データ（例：V2V）と故障対応戦略が安全に重要な意思決定に統合された。
• 分析から、ブレーキ中における未モデル化されたパラメータ変化が、従来のRSS仮定を無効にすることが判明し、動的モデル化の必要性が示された。
• 複雑な不確実性をドメイン境界に限定することで、各μODD内ではより積極的かつ形式的に安全な行動が可能となり、許容性が向上した。