[논문 리뷰] Pontryagin Maximum Principle - a generalization

Janusz Grabowski, Michał Jóźwikowski|arXiv (Cornell University)|2009. 05. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 거의 리 대수군(Almost Lie, AL) 대수군이라는 기하적 프레임워크를 통해 폰트리아긴 최대원리(Pontryagin Maximum Principle, PMP)를 일반화한다. 이 프레임워크는 감소된 최적 제어 문제와 감소하지 않은 최적 제어 문제를 통합한다. AL 대수군 위의 가측 경로에 대한 호모토피 이론을 도입함으로써, 대칭 감소(예: 강체 역학에서의 감소)를 자연스럽게 포함하는 보편적인 PMP 설정을 유도한다. 이는 변형과 제어의 전체 기하학적 구조를 유지한다.

ABSTRACT

The fundamental theorem of the theory of optimal control, the Pontryagin maximum principle (PMP), is extended to the setting of almost Lie (AL) algebroids, geometrical objects generalizing Lie algebroids. This formulation of the PMP yields, in particular, a scheme comprising reductions of optimal control problems similar to the reduction for the rigid body in analytical mechanics. On the other hand, in the presented approach the reduced and unreduced PMPs are parts of the same universal formalism. The framework is based on a very general concept of homotopy of measurable paths and the geometry of AL algebroids.

연구 동기 및 목표

• 클래식한 리 대수군을 초월하여 거의 리(Almost Lie, AL) 대수군이라는 더 일반적인 설정으로 폰트리아긴 최대원리(PMP)를 확장하는 것.
• 대칭에 의해 유도되는 감소를 자연스럽게 포함하는 기하학적 프레임워크를 개발하여 감소된 최적 제어 문제와 감소하지 않은 최적 제어 문제의 처리를 통합하는 것.
• AL 대수군 위의 가측 경로에 대한 호모토피를 사용하여 최적 제어의 변분 원리를 재구성함으로써, 단순한 계산적 감소를 넘어서 감소의 기하학적 본질을 포착하는 것.
• 원래의 PMP와 감소된 PMP가 동일한 기초 구조에서 유도되는 보편적인 형식을 확립하여 제어, 궤적, 변형의 기하학적 구조를 유지하는 것.

제안 방법

• AL 대수군 위의 가측 경로에 대한 호모토피 개념을 도입하여 최적 제어에서의 변형 개념을 일반화한다.
• 시간 $\tau$ 에서의 무한소 변형의 볼록뿔 $\operatorname{cl}(\bm{K}^{u}_{\tau})$ 를 정의하여 제어 경로의 허용 가능한 편미분을 캡처한다.
• 역행 평행이동 $\bm{B}_{tt_1}$ 과 그 쌍대 $\bm{B}^*_{tt_1}$ 을 사용하여 종단 시간 $t_1$ 에서의 코스테이트 벡터를 이전 시간으로 전파한다.
• 볼록뿔에 대한 분리 정리를 적용하여 필요 조건을 도출한다: $\bm{K}^{u}_{t_1}$ 과 반사 $\bm{\Lambda}_{\bm{x}(t_1)}$ 를 분리하는 영이 아닌 코스테이트 $\bm{\xi}(t_1)$ 의 존재.
• 해밍턴 함수 $\bm{H}(\bm{x}(t), \bm{\xi}(t), u(t)) = 0$ 이 정규점에서 항상 영이 되며, 제어 집합에서 최대값을 갖는다. 이는 최대원리가 정규점에서 성립함을 보장한다.
• $\tau < t_1$ 에 대해 $\operatorname{cl}(\bm{K}^{u}_{\tau})$ 의 직접 극한으로 $\bm{K}^{u}_{t_1}$ 을 정의함으로써 종단 시간에서의 일致성을 확보한다.

실험 결과

연구 질문

• RQ1 폰트리아긴 최대원리는 리 대수군을 초월하여 거의 리 대수군과 같은 더 일반적인 기하학적 구조로 어떻게 일반화될 수 있는가?
• RQ2 대칭에 의해 발생하는 최적 제어 문제의 감소는 감소하지 않은 시스템과 감소된 시스템을 모두 포함하는 하나의 보편적 형식으로 어떻게 기술할 수 있는가?
• RQ3 AL 대수군에서 최적 제어의 변분 원리에서 가측 경로의 호모토피는 어떤 역할을 하는가?
• RQ4 대칭 제어 시스템에서 동역학과 함께 변형의 기하학(호모토피)을 일致적으로 감소시키는 방법은 무엇인가?
• RQ5 AL 대수군 설정에서 변형의 뿌리뿔과 종단 데이터의 반사 사이에 분리되는 코스테이트 벡터의 존재를 보장하는 조건은 무엇인가?

주요 결과

• 거의 리 대수군 위의 일반화된 PMP는 감소하지 않은 최대원리와 감소된 최대원리를 하나의 기하학적 프레임워크 안에서 통합한다.
• 변형 뿌리뿔 $\bm{K}^{u}_{t_1}$ 과 종단 반사 $\bm{\Lambda}_{\bm{x}(t_1)}$ 사이에 분리되는 코스테이트 $\bm{\xi}(t_1) \in \bm{A}^*_{\bm{x}(t_1)}$ 의 존재는 필요 최적성 조건을 보장한다.
• 해밍턴 함수 $\bm{H}(\bm{x}(t), \bm{\xi}(t), u(t))$ 는 제어의 정규점에서 항상 영이 되며, $U$ 에서 최대값을 갖는다. 이는 핵심 PMP 조건을 만족한다.
• 역행으로 코스테이트를 $\bm{B}^*_{tt_1}$ 을 통해 전파함으로써 시간에 걸쳐 필요한 쌍대성과 일致성을 유지하며, 최대원리 유도에 기여한다.
• 이 프레임워크는 $\mathfrak{so}(3)^*$ 위에서의 강체 역학과 같은 고전적 감소를 자연스럽게 복원하여 분석역학의 기존 결과와의 호환성을 보여준다.
• $\bm{K}^{u}_{t_1}$ 이 직접 극한으로 구성되어 있음으로써, 불연속 제어에 대해서도 종단 시간에서의 변형 뿌리뿔의 연속성과 일致성을 보장한다.