[논문 리뷰] Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version)

Philip Koopman, Beth Osyk외 1명|arXiv (Cornell University)|2019. 10. 31.

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 내에서 더 적극적이고도 증명 가능한 안전한 행동을 가능하게 하여 허용성을 향상시킨다.