[논문 리뷰] Auction-based and Distributed Optimization Approaches for Scheduling Observations in Satellite Constellations with Exclusive Orbit Portions

Gauthier Picard|arXiv (Cornell University)|2021. 06. 04.

Constraint Satisfaction and Optimization참고 문헌 12인용 수 6

한 줄 요약

이 논문은 사용자가 특정 궤도 구역을 독점적으로 소유하는 위성 편대에서 지구 관측 요청을 스케줄링하기 위해 분산 최적화 기법—시장 기반 경매(PSI, SSI, CBBA) 및 DCOP—을 제안한다. 이는 사용자의 스케줄에 대한 기밀성을 유지하는 조건에서 이루어진다. 실제 대규모 시나리오에서 SSI는 해법 품질, 낮은 통신 부하, 빠른 계산 시간 사이의 최적의 균형을 이룹니다. 반면 CBBA와 s_dcop는 높은 충돌이 발생하는 환경에서 높은 품질의 해법을 달성하지만 통신 및 계산 부하가 더 높습니다.

ABSTRACT

We investigate the use of multi-agent allocation techniques on problems related to Earth observation scenarios with multiple users and satellites. We focus on the problem of coordinating users having reserved exclusive orbit portions and one central planner having several requests that may use some intervals of these exclusives. We define this problem as Earth Observation Satellite Constellation Scheduling Problem (EOSCSP) and map it to a Mixed Integer Linear Program. As to solve EOSCSP, we propose market-based techniques and a distributed problem solving technique based on Distributed Constraint Optimization (DCOP), where agents cooperate to allocate requests without sharing their own schedules. These contributions are experimentally evaluated on randomly generated EOSCSP instances based on real large-scale or highly conflicting observation order books.

연구 동기 및 목표

• 사용자가 특정 궤도 구역을 독점적으로 소유하는 위성 편대에서 관측 요청을 스케줄링하는 새로운 문제를 해결하기 위해, 사전에 비밀스러운 스케줄을 드러내지 않은 채로 협력이 가능하도록 하는 것.
• 중앙 계획자와 독점 사용자 간의 협력을 가능하게 하되, 위성 용량과 시간 제약 조건을 고려하면서도 개인정보 보호를 보장하는 분산형, 기밀 보장 최적화 기법을 개발하기 위해.
• 실제 및 합성 인스턴스에서 해법 품질, 통신 부하, 계산 시간 측면에서 시장 기반 및 DCOP 기반 접근법을 평가하고 비교하기 위해.
• 수천 개의 관측 요청과 다수의 독점 사용자가 포함된 대규모 실세계 지구 관측 스케줄링에 적합한 확장성 있고 효율적인 분산 알고리즘을 식별하기 위해.

제안 방법

• 중앙 집중식 최적 해를 도출하기 위해 지구 관측 위성 편대 스케줄링 문제(EOSCSP)를 혼합정수선형계획문제(MILP)로 수식화한다.
• 대규모 평가에서 기준선으로 사용하기 위해 빠르지만 부분 최적 해를 도출하는 그레디 휴리스틱을 제안한다.
• 시장 기반 접근법으로 PSI(가격 기반 스케줄링), SSI(순차 단일 항목), CBBA(합의 기반 번들 알고리즘)를 구현하여 분산 요청 할당을 수행한다.
• DCOP 기반 접근법(s_dcop)을 개발하여 에이전트들이 전체 스케줄을 공유하지 않고 국소 제약 최적화를 통해 협력하도록 하며, 관측 통합 평가를 위해 보상 평가 함수 π를 사용한다.
• 독점 사용자와 중앙 계획자가 각각 자율 에이전트로서 작동하는 분산 아키텍처를 도입하며, 각각 비밀스러운 스케줄을 유지하고 입찰 또는 제약 조건만을 교환한다.
• s_dcop에서 충돌 인식 평가 함수 π와 CBBA에서 번들 구축을 통해 스케줄링 결정이 전체 유틸리티에 미치는 영향을 모델링하면서도 기밀성을 유지한다.

실험 결과

연구 질문

• RQ1 사용자가 특정 궤도 구역을 독점적으로 소유하고 있으며 스케줄 기밀성을 유지해야 하는 조건에서, 분산 최적화 기법을 위성 관측 스케줄링에 효과적으로 적용할 수 있는 방법은 무엇인가?
• RQ2 시장 기반과 DCOP 기반 분산 스케줄링 간에 해법 품질, 통신 부하, 계산 시간 사이의 상호 교환 관계는 어떻게 되는가?
• RQ3 다양한 경매 메커니즘(PSI, SSI, CBBA)은 대규모 실세계 관측 주문부에서 확장성과 효율성 측면에서 어떻게 성능을 발휘하는가?
• RQ4 DCOP 기반 협력(s_dcop)은 중앙 집중식 조정이나 전체 스케줄 공개 없이도 얼마나 높은 품질의 해법을 달성할 수 있는가?
• RQ5 문제 구조, 예를 들어 충돌 밀도와 궤도 겹침 정도는 EOSCSP에서 분산 스케줄링 알고리즘의 성능에 어떤 영향을 미치는가?

주요 결과

• 높은 충돌이 발생하는 소규모 인스턴스에서는 CBBA와 s_dcop가 최고 성능 알고리즘과 유사한 해법 품질을 달성하며, PSI와 SSI보다 해법 품질이 뛰어나지만 통신 및 계산 부하가 더 높다.
• SSI는 해법 품질, 낮은 통신 부하, 빠른 계산 시간 사이의 균형을 항상 최적화하여 대규모 실세계 시나리오에 가장 적합하다.
• CBBA는 고충돌 환경에서 번들의 기하급수적 증가와 완전한 이웃 그래프의 증가로 인해 s_dcop보다 계산 시간이 크게 증가하지만, 강력한 해법 품질을 유지한다.
• 8颗 위성, 5명의 독점 사용자, 최대 250건의 요청을 포함한 대규모 실세계 인스턴스에서, 모든 분산 알고리즘이 그레디 기준선과 유사한 수준의 해법 품질을 도출하여 실용적 타당성을 확인한다.
• 통신 패턴은 다릅니다: PSI는 소수의 큰 메시지(대규모 인스턴스에서 10MB 이상)를 교환하지만, SSI와 s_dcop는 많은 소형 메시지를 사용하고, CBBA는 소수의 소형 메시지(~30kB 총량)를 사용하여 통신 효율성이 높습니다.
• 결과는 s_dcop와 CBBA가 완전히 분산 가능하며 동시 실행에 의해 이점을 얻을 수 있음을 확인하며, 실제 분산 환경에서의 성능 향상 잠재력을 시사한다.