[논문 리뷰] Multi-Vehicle Collision Avoidance via Hamilton-Jacobi Reachability and Mixed Integer Programming

Mo Chen, Jennifer C. Shih외 1명|arXiv (Cornell University)|2016. 03. 16.

Robotic Path Planning Algorithms참고 문헌 17인용 수 9

한 줄 요약

이 논문은 하이브리드 접근법을 제안하며, 하이브리드-자코비 도달 가능성(Hamilton-Jacobi reachability)과 혼합정수계획법(Mixed Integer Programming, MIP)을 결합하여 다중 차량 무인항공기(UAV) 시스템에서 확장 가능하고 안전 보장이 보장된 충돌 회피를 가능하게 한다. MIP를 사용해 쌍별 HJ 기반 안전 제어기를 조율함으로써, 이 방법은 저비용의 계산 부담으로서 세 대의 차량 충돌 회피를 보장하며, 시뮬레이션에서 쌍별 전용 전략보다 뛰어난 성능을 보인다.

ABSTRACT

Multi-agent differential games are important and useful tools for analyzing many practical problems. With the recent surge of interest in using UAVs for civil purposes, the importance and urgency of developing tractable multi-agent analysis techniques that provide safety and performance guarantees is at an all-time high. Hamilton-Jacobi (HJ) reachability has successfully provided safety guarantees to small-scale systems and is flexible in terms of system dynamics. However, the exponential complexity scaling of HJ reachability prevents its direct application to large scale problems when the number of vehicles is greater than two. In this paper, we overcome the scalability limitations of HJ reachability by using a mixed integer program that exploits the properties of HJ solutions to provide higher-level control logic. Our proposed method provides safety guarantee for three-vehicle systems -- a previously intractable task for HJ reachability -- without incurring significant additional computation cost. Furthermore, our method is scalable beyond three vehicles and performs significantly better by several metrics than an extension of pairwise collision avoidance to multi-vehicle collision avoidance. We demonstrate our proposed method in simulations.

연구 동기 및 목표

• 차량 수 증가에 따라 지수적으로 증가하는 복잡도로 인해 하이브리드-자코비(HJ) 도달 가능성의 다중 차량 시스템에서의 확장성 한계를 해결한다.
• 순수한 HJ 도달 가능성으로는 이전에 해결이 불가능했던 세 대의 차량 UAV 시스템에 대해 증명 가능한 안전 보장을 제공한다.
• 서로 다른 쌍별 HJ 안전 제어기를 독립적으로 운용할 경우 발생할 수 있는 갈등을 방지하기 위해, 쌍별 HJ 안전 제어기를 조율하는 고수준 제어 논리를 개발한다.
• 이 방법이 세 대 이상의 차량으로도 계산 효율성과 확장성을 유지하도록 보장한다.
• 다중 차량 환경로에 일반적인 쌍별 충돌 회피 전략의 단순 연장선에 비해 뛰어난 성능을 보임을 입증한다.

제안 방법

• 모든 두 차량 간의 충돌을 악성 행동 조건 하에서도 보장하는 HJ 도달 가능성 기반의 쌍별 안전 제어기를 통합한다.
• 제어 논리 행렬 $\hat{U}$ 와 보상 계수 행렬 $C$ 를 사용하여 최적의 공동 회피 전략을 선택하기 위한 혼합정수계획법(MIP)을 수립한다.
• MIP 목적 함수를 안전성과 조율 효율성을 극대화하도록 정의하며, $c_{ij}$ 는 회피 우선순위와 안전 수준을 표현한다.
• 제약 조건을 적용: $\hat{u}_{ij} + \hat{u}_{ji} \leq 1$ 을 통해 중복 회피를 방지하고, $\sum_j \hat{u}_{ij} \leq 1$ 을 통해 각 차량이 최대 한 대의 다른 차량만 회피하도록 제한한다.
• 차량 상태에 따라 변하는 안전 수준 $s_{ij} = V_{ij}(x_{ij})$ 를 정의하여 보상 행렬 $C$ 를 정보화하고 동적 적응성을 확보한다.
• MIP 해를 적용하여 필요한 쌍별 안전 제어기만 활성화함으로써, 조율된 장기적 시각의 회피 동작을 가능하게 한다.

실험 결과

연구 질문

• RQ1 HJ 도달 가능성은 세 대의 차량 UAV 시스템에서 그 지수적 복잡도로 인해 이전에 해결이 어려웠지만, 증명 가능한 안전 보장을 제공할 수 있는가?
• RQ2 쌍별 회피가 독립적으로 적용될 경우 발생할 수 있는 갈등 확산 위험을 고수준 조율 논리가 어떻게 완화할 수 있는가?
• RQ3 다중 차량 시스템에서 HJ 도달 가능성과 MIP 기반 조율을 통합할 경우 계산 비용은 얼마나 되는가?
• RQ4 하이브리드 방법의 성능은 다중 차량 환경에서 쌍별 충돌 회피의 단순 연장선에 비해 어떻게 비교되는가?
• RQ5 보상 계수 행렬 $C$ 의 설계 원칙은 안전성과 조율 효율성을 보장하는 데 어떻게 기여하는가?

주요 결과

• 제안된 방법은 순수한 HJ 도달 가능성으로는 해결이 불가능한 세 대의 차량 시스템에 대해 증명 가능한 안전 보장을 제공한다.
• 이 방법은 세 대 이상의 차량으로도 확장 가능하며, 효율적인 MIP 수식 덕분에 낮은 계산 비용을 유지한다.
• 시뮬레이션 결과, 하이브리드 방법은 안전성과 임무 성공률 측면에서 쌍별 전용 충돌 회피 전략의 단순 연장선보다 뚜렷이 뛰어난 성능을 보였다.
• MIP 기반 조율은 두 차량이 서로를 독립적으로 피하면서 제3의 차량과 충돌하는 갈등을 방지한다.
• 안전 수준 $s_{ij} > 0$ 는 차량이 HJ 최적 제어를 적용할 경우 무한정으로 안전하게 유지됨을 보장하므로, 신뢰할 수 있는 안전 보장을 가능하게 한다.
• 보상 행렬 $C$ 는 상태에 따라 변하는 안전 수준을 사용하여 비용을 동적으로 우선순위를 정함으로써 핵심 회피 동작을 우선적으로 처리할 수 있도록 설계할 수 있다.