[논문 리뷰] Complex Number Formulation and Convex Relaxations for Aircraft Conflict Resolution

David Rey, Hassan Hijazi|arXiv (Cornell University)|2017. 03. 20.

Spacecraft Dynamics and Control인용 수 4

한 줄 요약

이 논문은 복소수 표현을 활용한 항공기 갈등 해소 기법을 제안하며, 속도 및 항로 제어를 이차약속으로 모델링하여 MIQP 및 MIQCP를 통한 날카로운 볼록 근사화를 가능하게 한다. 이 방법은 이전에 해결되지 않았던 인스턴스에 대해 전역 최적성을 확보하고, 표준 벤치마크에서 계산 시간을 최대 두 계급 감소시킨다.

ABSTRACT

We present a novel complex number formulation along with tight convex relaxations for the aircraft conflict resolution problem. Our approach combines both speed and heading control and provides global optimality guarantees despite non-convexities in the feasible region. As a side result, we present a new characterization of the conflict separation condition in the form of disjunctive linear constraints. Our formulation features one binary variable per pair of aircraft, is free of trigonometric functions, and captures the non-convexity in a set of quadratic concave constraints. Using our approach, we are able to close a number of open instances and reduce computational time by up to two orders of magnitude on standard instances.

연구 동기 및 목표

• 속도 및 항로 제어에서 삼각함수 제약 조건으로 인한 비볼록성 문제를 해결한다.
• 비볼록 가능 영역에도 불구하고 최적성을 보장하는 전역 최적화 프레임워크를 개발한다.
• 기존 방법으로는 해결되지 않았던 표준 벤치마크 세트 내의 미해결 인스턴스를 해결한다.
• 최신 정확한 접근 방식에 비해 계산 시간을 크게 감소시킨다.
• 최대 40架 항공기와 높은 갈등 밀도를 처리할 수 있는 확장 가능한 솔루션을 제공한다.

제안 방법

• 속도 및 항로 조정을 통합한 단일 수학적 프레임워크로 항공기 속도 제어를 복소수로 표현한다.
• 상대 위치 및 속도 벡터를 기반으로 한 이원선형 제약 조건으로 갈등 분리 조건을 수식화한다.
• 교차점에서 항공기 통과 순서를 포괄하는 단일 이원을 통해 궤적 교차를 모델링한다.
• 혼합정수이차계획법(MIQP) 및 혼합정수이차제약계획법(MIQCP) 형태의 볼록 근사를 유도한다.
• 3단계 알고리즘을 구현한다: 먼저 MIQP 근사를 풀고, 필요에 따라 MIQCP를 풀며, 나머지 격차가 남아 있으면 NLP를 사용해 국소 해를 구한다.
• 경계 위반 제약 조건을 활용해 휴리스틱 복구를 이끌고 고밀도 갈등 시나리오에서 해의 품질을 향상시킨다.

실험 결과

연구 질문

• RQ1 복소수 표현이 항공기 갈등 해소에서 속도 및 항로 제어의 비볼록 동역학을 효과적으로 포괄할 수 있는가?
• RQ2 MIQP 및 MIQCP 형태의 볼록 근사는 실제 비볼록 문제를 얼마나 날카롭게 근사하는가? 전역 최적성을 달성하는가?
• RQ3 제안된 방법이 이전에 해결되지 않았던 표준 벤치마크 인스턴스를 해결할 수 있는가?
• RQ4 기존 최신 알고리즘에 비해 계산 시간을 얼마나 줄일 수 있는가?
• RQ5 최대 40架 항공기의 고밀도 갈등 시나리오에서 알고리즘이 어떻게 성능을 발휘하는가?

주요 결과

• 제안된 방법은 10- 및 20-항공기 무작위 원형 문제(RCP) 인스턴스를 평균 1초 이내에 전역 최적해로 해결했다.
• 30-항공기 RCP 인스턴스에서는 71%가 한 번의 단계에서 전역 최적해로 해결되었고, 추가로 12%가 두 번째 단계에서 해결되었으며, 나머지 17%의 평균 최적성 격차는 4.8%였다.
• 40-항공기 RCP 인스턴스에서는 전역 최적해로 해결된 비율이 17%에 불과했지만, 75%는 국소 최적해로 해결되었고, 평균 최적성 격차는 13.9%, 표준편차는 16.1%였다.
• 기존 접근 방식에 비해 표준 벤치마크 문제에서 계산 시간을 최대 두 계급 감소시켰다.
• 알고리즘이 여러 개의 개방형 인스턴스를 성공적으로 해결하여 이전의 7대 항공기 한계를 초월한 최신 기술 수준을 확립했다.
• 10- 및 20-항공기 인스턴스의 100%는 MIQP 근사로 충분했고, 30-항공기 인스턴스의 17%와 40-항공기 인스턴스의 75%는 더 높은 경계 위반으로 인해 MIQCP가 필요했다.