[논문 리뷰] Reachability-Based Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways

Mo Chen, Qie Hu외 4명|arXiv (Cornell University)|2016. 02. 25.

Robotic Path Planning Algorithms인용 수 2

한 줄 요약

이 논문은 대규모 무인 항공 교통에서 이행 가능성 있는 안전성과 활성 보장을 보장하기 위해 공중 고속도로를 이용한 무인 항공기(UAV) 플로팅 프레임워크를 제안한다. 해밀턴-자비 도달성과 빠른 이동 방법을 사용하여 모드 전환 동안의 안전성을 확보하고 실시간 고속도로 재구성 기능을 지원하며, 차량당 고도 범위당 최대 한 번의 안전성 위반까지 증명 가능한 안전성을 보장한다.

ABSTRACT

Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ensure the safety and goal satisfaction of potentially thousands of UAVs flying simultaneously. Currently, the analysis of large multi-agent systems cannot tractably provide these guarantees if the agents' set of maneuvers is unrestricted. In this paper, platoons of UAVs flying on air highways is proposed to impose an airspace structure that allows for tractable analysis. For the air highway placement problem, the fast marching method is used to produce a sequence of air highways that minimizes the cost of flying from an origin to any destination. The placement of air highways can be updated in real-time to accommodate sudden airspace changes. Within platoons traveling on air highways, each vehicle is modeled as a hybrid system. Using Hamilton-Jacobi reachability, safety and goal satisfaction are guaranteed for all mode transitions. For a single altitude range, the proposed approach guarantees safety for one safety breach per vehicle, in the unlikely event of multiple safety breaches, safety can be guaranteed over multiple altitude ranges. We demonstrate the platooning concept through simulations of three representative scenarios.

연구 동기 및 목표

• 제한 없는 조작이 가능한 대규모 UAV 교통에서의 안전성과 목표 달성 보장을 위한 과제 해결.
• 공중 고속도로를 통한 체계적 공역 구조화로 다중 에이전트 시스템 분석의 계산 비가역성 감소.
• 갑작스러운 공역 변화에 대응하기 위해 공중 고속도로 구성의 실시간 적응 가능화.
• 도달성 분석을 통한 형식적 검증을 통해 UAV 플로팅의 안전성과 활성 보장.
• 차량당 다중 안전성 위반 발생 시 다중 고도 범위로의 안전 보장 확장.

제안 방법

• 플로팅 내 UAV를 이산 모드 전환과 연속 동역학을 반영하는 하이브리드 시스템으로 모델링.
• 기본 출발지에서 목적지로의 비행 비용을 최소화하는 최적의 공중 고속도로 경로를 계산하기 위해 빠른 이동 방법 적용.
• 도달 가능한 집합을 계산하고 모든 모드 전환 동안의 안전성과 목표 달성 여부를 검증하기 위해 해밀턴-자비 도달성 활용.
• 다중 안전성 위반 상황에서의 안전 보장을 관리하기 위해 공역을 이산 고도 범위로 구조화.
• 동적 공역 변화에 대응하기 위해 공중 고속도로 배치에 실시간 업데이트 통합.
• 세 가지 대표적인 UAV 플로팅 시나리오의 시뮬레이션을 통해 프레임워크 검증.

실험 결과

연구 질문

• RQ1 어떻게 공중 고속도로를 최적의 위치에 배치하여 비행 비용을 최소화하면서도 UAV 플로팅에 대한 분석의 이행 가능성과 안전성을 확보할 수 있는가?
• RQ2 어떤 형식적 방법이 플로팅 내 모드 전환 동안 UAV의 안전성과 활성 보장을 보장하는가?
• RQ3 다중 안전성 위반 상황에서도 안전 보장이 유지될 수 있는가, 그리고 만약 가능하다면 어떤 조건에서 가능한가?
• RQ4 갑작스러운 공역 변화에 대응하기 위해 공중 고속도로 구성은 어떻게 실시간으로 업데이트할 수 있는가?
• RQ5 도달성 분석은 대규모 UAV 운영에서 목표 달성과 안전성을 얼마나 잘 보장할 수 있는가?

주요 결과

• 빠른 이동 방법은 비행 비용을 최소화하면서도 확장 가능한 분석을 가능하게 하는 공중 고속도로를 성공적으로 생성하였다.
• 해밀턴-자비 도달성은 UAV 플로팅 내 모든 모드 전환 동안의 안전성과 목표 달성 여부를 보장한다.
• 단일 고도 범위 내에서 차량당 최대 한 번의 안전성 위반까지 안전성이 보장된다.
• 다중 안전성 위반이 발생하는 경우, 체계적인 계획 수립을 통해 다중 고도 범위에 걸쳐 안전성이 유지될 수 있다.
• 프레임워크는 동적 공역 조건에 대응하기 위해 공중 고속도로의 실시간 재구성 기능을 지원한다.
• 세 가지 대표적 시나리오의 시뮬레이션을 통해 플로팅 기법의 타당성과 강건성을 검증하였다.