[논문 리뷰] Symbolic Computation of Variational Symmetries in Optimal Control

Paulo D.F. Gouveia, Delfim F. M. Torres외 1명|ArXiv.org|2006. 04. 04.

Nonlinear Waves and Solitons참고 문헌 12인용 수 10

한 줄 요약

이 논문은 최적 제어 문제에서 변분 대칭과 관련된 노이만의 첫 번째 적분을 효율적으로 계산하기 위한 Maple용 기호 계산 패키지를 제시한다. 비보존력과 게이지 항이 포함된 경우를 포함하여 적용 가능하며, 핵심 기여는 하나의 비가환 부분군에서 8개의 독립된 첫 번째 적분을 자동으로 유도한 것으로, 리우빌 정리의 범위를 초월한 적분 가능성 분석을 가능하게 한다.

ABSTRACT

We use a computer algebra system to compute, in an efficient way, optimal control variational symmetries up to a gauge term. The symmetries are then used to obtain families of Noether's first integrals, possibly in the presence of nonconservative external forces. As an application, we obtain eight independent first integrals for the sub-Riemannian nilpotent problem (2,3,5,8).

연구 동기 및 목표

• 최적 제어 문제에서 변분 대칭을 효율적으로 계산하기 위한 컴퓨터 대수 시스템을 개발하는 것.
• 기존 방법을 확장하여 게이지 항에 따른 불변성과 비보존 외부 힘의 존재를 포함하는 것.
• 기호 계산을 이용한 노이만의 첫 번째 적분 자동 계산을 수행하는 것.
• 서브리만다르 비가환 (2,3,5,8) 시스템과 같은 복잡한 문제에 방법을 적용하는 것.
• (2,3,5,8) 시스템의 8개의 독립된 첫 번째 적분 발견을 통해 그 적분 가능성의 가능성을 입증하는 것.

제안 방법

• Lagrangian 함수형식과 제어 시스템으로 기술된 최적 제어 문제의 변분 대칭을 기호적으로 계산하기 위해 맞춤형 Maple 패키지를 활용하는 방법.
• 노이만 정리를 게이지 항에 따른 불변성까지 일반화하여, 비보존 시스템에 더 넓은 적용 가능성을 확보하는 방법.
• 확장된 폰트리아긴 최대 원리와 수정된 쌍대 시스템을 통해 비보존력이 포함된 문제를 처리하는 방법.
• 최대화 조건에서 유도된 정적 조건을 이용해 해밀토니안과 최적 제어 입력을 계산하는 방법.
• 대칭 조건을 풀고, 대입 및 단순화를 통해 보존 법칙을 검증함으로써 첫 번째 적분을 도출하는 방법.
• 서브리만다르 (2,3,5,8) 문제에 대해 8개의 독립된 첫 번째 적분을 계산함으로써 방법의 타당성을 검증하는 방법.

실험 결과

연구 질문

• RQ1 비보존력이 포함된 최적 제어 문제에서 변분 대칭과 관련된 첫 번째 적분을 효율적으로 계산할 수 있는가?
• RQ2 기호 계산 프레임워크가 최적 제어 시스템에서 게이지 항에 따른 불변성을 처리할 수 있는가?
• RQ3 고차원 비가환 최적 제어 문제에 대해 첫 번째 적분을 도출하는 데 계산 가능성이 있는가?
• RQ4 여러 개의 독립된 첫 번째 적분이 존재할 경우, 리우빌 정리의 파아손 괄호 조건을 만족하지 않더라도 시스템이 여전히 적분 가능할 수 있는가?
• RQ5 기호 계산 도구는 어떻게 서브리만다르 기하학에서 보존 법칙의 유도를 자동화할 수 있는가?

주요 결과

• 논문은 기존 문헌에서 달성하지 못한 바, 서브리만다르 비가환 문제 (2,3,5,8)에 대해 8개의 독립된 첫 번째 적분을 성공적으로 계산하였다.
• 8개의 첫 번째 적분 중 7개는 자명하다: 해밀토니안 H와 쌍대 변수 ψ₃, ψ₄, ψ₅, ψ₆, ψ₇, ψ₈는 모두 상수로 보존된다.
• 여덟 번째 첫 번째 적분은 비자명하다: ψ₂ + x₃ψ₅ + x₄ψ₇ + x₅ψ₈는 보존되며, 이는 비자명한 대칭 구조를 나타낸다.
• ψ₃와 비자명한 첫 번째 적분 사이의 비가환 파아손 괄호 조건이 만족되지 않음에도 불구하고 시스템은 여전히 적분 가능하다. 이는 리우빌 정리가 적용되지 않음을 보여준다.
• 기존 구현 대비 기호 계산 패키지가 훨씬 효율적이며, 이전에는 해결이 어려웠던 케이스의 계산을 가능하게 하였다.
• 컴퓨터 대수 시스템을 이용한 복잡한 기하 최적 제어 문제에서 보존 법칙의 자동 유도 가능성을 입증하였다.