[논문 리뷰] Run Time Assurance for Autonomous Spacecraft Inspection

Kyle Dunlap, David van Wijk외 1명|arXiv (Cornell University)|2023. 02. 06.

Risk and Safety AnalysisDecision Sciences인용 수 3

한 줄 요약

이 논문은 자율 다중 우주선 점검 중에 안전 간격, 속도 제한, 금지 구역 등의 다중 안전 제약 조건을 강제하기 위해 제어 장벽 함수(CBF)와 활성 집합 불변 필터(ASIF)를 사용하는 런타임 보증(RTA) 프레임워크를 제안한다. 몬테카를로 시뮬레이션을 통해 중심화된 RTA는 100%의 경우에서 안전성을 확보하는 반면, 분산형 RTA는 90.95%의 경우에서 성공하며, 실패 원인은 다중 에이전트 금지 구역 제약 조건 간의 충돌로 나타나며, 이는 제약 조건의 완화나 적응형 강화 함수를 통해 완화될 수 있다.

ABSTRACT

As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-time safety assurance technique that monitors a primary controller and intervenes to assure safety when necessary. As these autonomous systems become more complex, RTA is useful because it can be designed completely independent of the primary controller. This paper develops several translational motion safety constraints for a multi-agent autonomous spacecraft inspection problem, where all of these constraints can be enforced with RTA. A comparison is made between centralized and decentralized control, where simulations of the inspection problem then demonstrate that RTA can assure safety of all constraints. Monte Carlo analysis is then used to show that no scenarios were found where the centralized RTA cannot assure safety. While some scenarios were found where decentralized RTA cannot assure safety, solutions are discussed to mitigate these failures.

연구 동기 및 목표

• 수동 위성(Chief)과 능동 위성(Deputy)으로 구성된 자율 다중 우주선 점검 임무에 대한 안전 제약 조건을 개발하기 위해.
• 런타임 보증(RTA)이 실시간으로 다중 선형 운동 안전 제약 조건을 강제하는 데 효과적인지 평가하기 위해.
• 다중 에이전트 우주선 점검에서 안전 보장을 위한 중심화형 대비 분산형 RTA 아키텍처를 비교하기 위해.
• 분산형 RTA에서 발생하는 실패 사례를 규명하고 제약 조건 간 충돌에 대비한 완화 전략을 제안하기 위해.
• ASIF 기반 RTA와 스위칭 기반 RTA를 조합하여 연료 제약 조건이 있는 조작에 유용성을 입증하기 위해.

제안 방법

• 저자들은 우주선 점검 문제를 일반 미분 방정식으로 제어되는 제어-아핀 동역학 시스템으로 모델링한다.
• 안전 간격, 속도 제한, 금지 구역, 동적 속도 제약 조건 등을 포함한 다중 안전 제약 조건을 제어 장벽 함수(CBF)를 통해 정의한다.
• 활성 집합 불변 필터(ASIF)를 사용하여 제약 조건을 정수계획법을 통해 강제하며, 주 제어기에서의 편이를 최소화하면서도 안전성을 확보한다.
• 중심화 및 분산형 RTA 아키텍처를 구현하며, 중심화된 버전은 모든 디퓨의 상태와 제약 조건에 대한 전역 지식을 갖춘다.
• 연료 제한 강제 조건을 위해 스위칭 기반 RTA 접근법을 도입하여, 공격적인 LQR 제어기에서 탈출하여 디퓨를 극한의 비조작 궤도(eNMT)로 안내하는 백업 제어기로 전환한다.
• 두 RTA 아키텍처의 안전 보장 성능을 평가하기 위해 2,000개의 초기 조건에 대해 몬테카를로 시뮬레이션을 수행한다.

실험 결과

연구 질문

• RQ1 ASIF 기반 RTA는 다중 우주선 점검 시나리오에서 동시에 다중 선형 안전 제약 조건을 효과적으로 강제할 수 있는가?
• RQ2 동일한 제약 조건 하에서 중심화형 RTA와 분산형 RTA의 안전 보장 신뢰성은 어떻게 비교되는가?
• RQ3 분산형 RTA에서 실패가 발생하는 원인은 무엇이며, 제약 조건 설계나 적응형 강화를 통해 이러한 실패를 완화할 수 있는가?
• RQ4 스위칭 기반 RTA가 연료 제한과 같은 제약 조건을 강제하는 데서 ASIF보다 더 효과적인 경우는 어떤가?
• RQ5 ASIF와 스위칭 기반 RTA의 조합은 복잡한 우주선 점검 작업에서 견고한 안전 보장 프레임워크를 제공할 수 있는가?

주요 결과

• 중심화된 RTA는 2,000개의 몬테카를로 시험 케이스 전부에서 안전성을 성공적으로 보장하여 100%의 성공률를 기록했다.
• 분산형 RTA는 시험 케이스의 90.95%에서 안전 보장을 달성하였으며, 실패 원인은 다중 에이전트 금지 구역 제약 조건 간의 충돌로 기인하였다.
• 분산형 RTA의 실패는 다수의 디퓨가 동시에 동일한 금지 영역을 피하려 할 때 발생하였으며, 이로 인해 모든 제약 조건을 만족시키기 위한 가속도가 부족하였다.
• 다중 에이전트 금지 구역 제약 조건을 제거하거나 완화함으로써 분산형 RTA에서 100%의 안전 보장을 복원할 수 있었으며, 이는 제약 조건이 협업에 민감함을 시사한다.
• 스위칭 기반 RTA 접근법은 백업 제어기를 통해 연료 소비 예산(Δv) 위반 전에 디퓨를 eNMT로 안내함으로써 연료 제한을 효과적으로 강제하였다.
• 시뮬레이션 결과는 ASIF 기반 RTA가 대부분의 제약 조건에 대해 매우 효과적임을 확인하였으며, 복잡하고 자원이 제한된 상황에서는 ASIF와 스위칭 기반 RTA를 조합한 하이브리드 접근법이 최적의 안전 보장을 위해 필요하다는 것을 입증하였다.