[논문 리뷰] Hamilton-Jacobi equations for optimal control on multidimensional junctions

Salomé Oudet|arXiv (Cornell University)|2014. 12. 08.

Optimization and Variational Analysis참고 문헌 14인용 수 6

한 줄 요약

이 논문은 반평면들이 공통의 (d-2)차원 경계 Γ를 공유하는 R^d 내의 네트워크 구조인 다차원 접합체 위에서 해밀턴-자비 방정식에 대한 점성 해법 이론을 개발한다. 일반적인 제어 가능성 조건 하에 비교 원리가 확립되고, 가치 함수가 점성 해법임을 증명하며, 비가속성 기하학을 가진 가지치기된 상태 공간으로 최적 제어 이론을 확장한다.

ABSTRACT

We consider continuous-state and continuous-time control problems where the admissible trajectories of the system are constrained to remain on a union of half-planes which share a common straight line. This set will be named a junction. We define a notion of constrained viscosity solution of Hamilton-Jacobi equations on the junction and we propose a comparison principle whose proof is based on arguments from the optimal control theory.

연구 동기 및 목표

• R^d 내의 다차원 접합체에 제약된 최적 제어 문제를 위한 잘 정의된 해밀턴-자비 방정식을 수립하는 것.
• 상태 공간이 비가속성이고 가지치기된 구조를 가진 접합체에서 제약된 점성 해법의 개념을 정의하는 것.
• 역동성과 해밀턴 함수에 대한 일반적인 가정 하에 점성 해법에 대한 비교 원리를 확립하는 것.
• 기존의 네트워크 결과를 한 개의 1차원 경계(예: R^3 내의 직선)를 가진 고차원 접합체로 확장하는 것.
• 최적 제어 문제의 가치 함수가 유도된 HJ 방정식의 점성 해법임을 증명하는 것.

제안 방법

• R^d 내의 반평면들의 합집합으로서 접합체를 정의하며, 이들은 공통의 (d-2)차원 경계 Γ를 공유한다.
• 해당 해가 각 반평면 내에서 HJ 방정식을 만족하고, 경계에서 전달 조건을 충족하도록 제약된 점성 해법을 정의한다.
• 경계 Γ를 沿해 동작하는 역동성을 모델링하기 위해 접선 해밀턴 함수 H^T_Γ를 도입한다.
• Barles, Briani, Chasseigne의 영감을 받은 동적 프로그래밍 원리와 제어 이론적 접근을 사용하여 비교 원리를 도출한다.
• Γ 근처에서 강한 또는 정규 제어 가능성 조건을 활용하여, 반평면과 경계 사이를 오가는 전략을 가진 허용 가능한 궤적의 변형을 적용한다.
• 근사 궤적의 수열과 점근 전개를 이용한 점성 하부해법 테스트를 통해 접합점에서 HJ 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 비가속성 경계를 가진 다차원 접합체에서 최적 제어 문제에 대한 해밀턴-자비 방정식은 어떻게 수립할 수 있는가?
• RQ2 여러 개의 반평면이 한 직선에 모여 형성된 가지치기된 집합에서 적절한 점성 해법의 개념은 무엇인가?
• RQ3 각 영역에서 독립적이고 비강제성인 해밀턴 함수를 가진 HJ 방정식에 대해 비교 원리를 어떻게 확립할 수 있는가?
• RQ4 역동성과 제어 집합에 어떤 조건이 성립하면 가치 함수가 점성 해법이 되는가?
• RQ5 접합 경계에서의 전달 조건은 해의 구조와 유일성에 어떤 영향을 미치는가?

주요 결과

• 접합체 위에서 최적 제어 문제의 가치 함수는 유도된 해밀턴-자비 방정식의 점성 해법이다.
• 정규 경계에 대한 제어 가능성과 각 반평면 내 독립적인 해밀턴 함수를 포함한 일반적인 조건 하에 비교 원리가 확립된다.
• 해는 정규 및 접선 성분의 동역학을 포함한 경계에서 전달 조건을 만족한다.
• 증명은 순수한 PDE 기법이 아닌 제어 이론적 접근에 의존하며, [2]의 결과를 고차원 접합체로 확장한다.
• 접선 해밀턴 함수 H^T_Γ의 존재는 경계 Γ에 머무르는 궤적을 포괄하는 데 필수적이다.
• 이 방법은 경계를 가로질러 역동성과 보상 함수가 불연속일 수 있도록 허용하여, 이전의 네트워크 및 아이케오날 방정식 연구를 일반화한다.