[논문 리뷰] Enhancements to the DIDO Optimal Control Toolbox

I. Michael Ross|arXiv (Cornell University)|2020. 04. 27.

Spacecraft Dynamics and Control참고 문헌 43인용 수 22

한 줄 요약

이 논문은 DIDO 최적 제어 툴박스에 핵심적인 알고리즘적 향상을 도입하며, 기본적인 스펙트럴 이산화에서부터 추측이 없는 스펙트럴 해밀토니안 프로그래밍 접근법으로 전환하여 강건성, 속도, 검증 가능한 정확성을 보장한다. 이 방법은 어려운 궤도 최적화 문제에서 국소 최솟값에 갇히는 것을 방지하며, 로봇 공학 벤치마크를 통해 이를 입증한다. 이는 본질적으로 폰트리아긴 원리에 기반한 최소화된 사용자 인터페이스를 유지한다.

ABSTRACT

In 2020, DIDO$^©$ turned 20! The software package emerged in 2001 as a basic, user-friendly MATLAB$^\circledR$ teaching-tool to illustrate the various nuances of Pontryagin's Principle but quickly rose to prominence in 2007 after NASA announced it had executed a globally optimal maneuver using DIDO. Since then, the toolbox has grown in applications well beyond its aerospace roots: from solving problems in quantum control to ushering rapid, nonlinear sensitivity-analysis in designing high-performance automobiles. Most recently, it has been used to solve continuous-time traveling-salesman problems. Over the last two decades, DIDO's algorithms have evolved from their simple use of generic nonlinear programming solvers to a multifaceted engagement of fast spectral Hamiltonian programming techniques. A description of the internal enhancements to DIDO that define its mathematics and algorithms are described in this paper. A challenge example problem from robotics is included to showcase how the latest version of DIDO is capable of escaping the trappings of a ``local minimum'' that ensnare many other trajectory optimization methods.

연구 동기 및 목표

• 나쁜 수렴성 또는 초기 추측에 민감한 전통적인 직접 및 간접 방법의 한계를 해결하기 위해.
• 사용자 제공의 초기 추측 또는 해석적 기울기 정보가 필요 없는 강건성, 빠름, 정확성을 갖춘 알고리즘 개발을 위해.
• 폰트리아긴 원리에 기반한 타당성 및 최적성 검증을 통해 해의 정확도를 검증 가능하게 하기 위해.
• 항공우주 분야를 넘어서 로봇공학, 양자 제어, 비선형 민감도 분석 등 복잡한 문제에까지 DIDO의 적용 범위를 확장하기 위해.
• 실시간 최적 제어 응용을 위한 저성능 마이크로프로세서에 통합 가능한 알고리즘 설계를 위해.

제안 방법

• 수렴 속도를 가속화하기 위해 이산 코탄젠트 턨널링과 스펙트럴 해밀토니안 프로그래밍을 중심으로 하는 다각도적 알고리즘 세트를 활용한다.
• 해밀토니안 시스템의 구조를 유지함으로써 수치적 안정성과 정확성을 확보하기 위해 이산화된 스펙트럴 이산화를 중심으로 한다.
• 해밀토니안 수식의 내재된 성질을 활용하여 초기 궤도 추측에 의존하지 않도록 함으로써 추측이 없는 접근법을 구현한다.
• 역동성 및 비용 함수의 가분성 특성을 활용하여 메모리 및 계산 부담을 감소시키며, 250개의 격점에서 상태 변수당 약 ~1MB의 메모리 비용을 유도한다.
• 폰트리아긴 원리로부터 필요한 조건을 명시적으로 계산하고 출력함으로써 해의 품질을 검증하며, 최적성의 독립적 검증이 가능하게 한다.
• Nyquist 속도 신호 샘플링과 일치하는 신호 샘플링 레이트를 활용하여 저성능 마이크로프로세서에 통합 가능한 알고리즘 설계를 통해 메모리 및 계산 요구량을 최소화한다.

실험 결과

연구 질문

• RQ1 어떻게 사용자 제공의 초기 추측이 없이도 최적 제어 문제를 강건하게 해결할 수 있는가?
• RQ2 어떤 알고리즘적 향상이 다른 궤도 최적화 방법이 갇히는 국소 최솟값을 회피하는 데 기여하는가?
• RQ3 해석적 기울기 정보 없이도 스펙트럴 기반 최적 제어 솔버가 검증 가능한 정확도와 타당성을 얼마나 달성할 수 있는가?
• RQ4 핵심 알고리즘이 자원이 제한된 하드웨어에 통합되어 실시간 최적 제어 응용에 활용될 수 있는가?
• RQ5 DIDO의 해밀토니안 중심 접근법은 전통적인 직접 또는 간접 방법과 비교해 성능 및 신뢰성 측면에서 근본적으로 어떻게 다를 수 있는가?

주요 결과

• DIDO 알고리즘은 어려운 로봇 공학 궤도 최적화 문제에서 국소 최솟값을 성공적으로 회피하여, 다른 방법이 실패하는 상황에서도 강건성을 입증한다.
• 250점 격자에서는 상태 변수당 약 1MB의 메모리 비용을, 1,000점에서는 상태 변수당 약 10MB의 메모리 비용을 기록하여 저메모리 배포가 가능하다.
• 사용자 제공의 기울기, 초기 추측, 고성능 컴퓨팅 자원 없이도 높은 계산 속도와 정확도를 달성한다.
• 해의 검증 가능성이 폰트리아긴 원리로부터 출력된 전반적인 필요 조건을 통해 보장되며, 최적성의 독립적 검증이 가능하다.
• 실시간 제어 응용에서의 개념 증명을 통해 저성능 마이크로프로세서에 통합 가능하며, 신호 샘플링 레이트와 최적 제어 주파수 성분이 일치함을 통해 이를 입증했다.
• 해밀토니안 프로그래밍에 기반한 알고리즘은 다른 솔버가 애로를 겪는 어려운 미분-대칭 방정식 문제를 해결할 수 있으며, 항공우주 외 분야인 양자 제어 및 자동차 설계 등에서도 효과를 발휘한다.