[논문 리뷰] Higher order variational time discretization of optimal control problems

Cédric M. Campos, Oliver Junge외 1명|arXiv (Cornell University)|2012. 04. 27.

Robotic Mechanisms and Dynamics인용 수 9

한 줄 요약

이 논문은 다항식 콜로케이션 기반의 구적 규칙을 활용하여 기계 시스템의 최적 제어 문제를 위한 고차수 변분 시간 이산화 방법을 제안한다. 이는 계산 효율성을 높이면서도 운동량 맵과 에너지 행동과 같은 핵심 기하학적 구조를 유지한다. 이 방법은 네 번째 차수 수렴을 달성하며, 저차수 방법에 비해 계산 비용을 크게 감소시킨다.

ABSTRACT

We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction preserve important structural properties of the system, like the evolution of the momentum maps or the energy behavior. Here, we employ higher order quadrature rules based on polynomial collocation. The resulting variational time discretization decreases the overall computational effort.

연구 동기 및 목표

• 기계 시스템의 최적 제어 문제를 위한 고차수 시간 이산화 방법을 개발하여 내재된 기하학적 구조를 유지한다.
• 두 번째 차수 규칙 대신 다항식 콜로케이션 기반의 고차수 구적 규칙을 활용하여 계산 비용을 감소시킨다.
• 정확도와 효율성을 높이면서도 운동량 맵 진동 및 에너지 행동과 같은 구조 보존 성질을 유지한다.
• 수치적으로 고차수 스킴이 더 적은 노드로도 유사한 정확도를 달성함으로써 메모리 및 CPU 사용량을 줄임을 입증한다.
• 미래 작업을 위한 적응형 순서 변분 적분기의 기초를 마련한다.

제안 방법

• 고차수 다항식 콜로케이션을 사용하여 작용 적분을 근사함으로써 라그랑주-다알렘베르 원리를 이산화한다.
• 변분 원리에서 유도된 이산 역학 제약 조건을 갖는 유한차원 비선형 프로그래밍 문제로 최적 제어 문제를 공식화한다.
• 이 방법은 이산 변분 역학에 기반하여 심플렉틱성, 운동량 맵, 에너지 행동을 보존한다.
• 차수 s의 다항식 콜로케이션은 2s차수의 변분 적분기를 유도하므로, 각 시간 단계에서 더 높은 정밀도를 달성할 수 있다.
• 이산 시스템은 비선형 프로그래밍 솔버(fmincon)를 사용하여 해결하며, 제약 조건과 야코비안은 수치적으로 평가된다.
• 이 방법은 적응형 노드 배치와 가변 순서 이산화를 허용하여 노드 수를 줄여 효율성을 높인다.

실험 결과

연구 질문

• RQ1 고차수 다항식 콜로케이션은 최적 제어 문제에 대한 변분 시간 이산화의 효율성을 향상시킬 수 있는가?
• RQ2 고차수 스킴은 저차수 변량과 동일한 구조 보존 성질(예: 운동량 맵, 에너지 행동)을 유지하는가?
• RQ3 실제로 고차수 변분 이산화의 수렴 속도는 어떠한가?
• RQ4 더 적은 노드를 사용하는 고차수 스킴과 더 많은 노드를 사용하는 저차수 스킴 간의 계산 비용은 어떻게 비교되는가?
• RQ5 이산 변분 프레임워크에서 적응형 순서 이산화를 유도할 수 있는가? 이를 통해 성능을 추가로 최적화할 수 있는가?

주요 결과

• 다항식 콜로케이션을 사용한 변분 시간 이산화 방법은 s=2일 때 네 번째 차수 수렴을 달성하였으며, 수치 실험에서 오차 감쇠 비율을 통해 확인되었다.
• 제어된 조화 진동자에 대해 상태, 제어, 양변 변수의 오차는 노드 수가 두 배로 증가할 때 약 한 계단 감소하였다.
• s=5(10차수 방법)를 사용하고도 노드 수가 4개 뿐이었을 때, s=2일 때 256개 노드를 사용한 경우와 유사한 정확도를 달성하였으며, 제약 조건 평가 횟수를 두 계단 감소시켰다.
• 라그랑주 제약 조건 평가 횟수는 s=2, N=256일 때 8790만 번에서 s=5, N=8일 때 796,848번으로 감소하여 뚜렷한 계산 절감 효과를 보였다.
• 저차수 경우 라그랑주 야코비안 평가 횟수가 110만 번 이상이었으나, 고차수 경우 약 188,000번으로 감소하여 효율성 향상을 명확히 보여주었다.
• 고차수에서(예: s=5) 이론적으로 기계 정밀도를 초월하여 추가 정밀도가 필요 없이 더 이상 정밀도 향상이 불필요해지며, 고정밀 산술이 제공되지 않는 한 계산 자원 낭비가 발생하지 않는다.