[논문 리뷰] Interior Point Method for Dynamic Constrained Optimization in Continuous Time

Mahyar Fazlyab, Santiago Paternain외 2명|arXiv (Cornell University)|2015. 10. 05.

Optimization and Variational Analysis참고 문헌 10인용 수 5

한 줄 요약

이 논문은 시간에 따라 변화하는 목표 함수와 제약 조건을 가진 볼록 동적 제약 최적화 문제의 최적 해를 추적하기 위한 연속 시간 내부점 방법을 제안한다. 시간 도함수 기반 예측과 뉴턴 기반 보정을 시간에 따라 변화하는 로그 포텐셜 프레임워크 내에서 조합함으로써, 표준 볼록성 및 미분 가능성 가정 하에 점점 더 정확한 추적을 달성하며, 정적 최적화 갭을 제거한다.

ABSTRACT

This paper considers a class of convex optimization problems where both, the objective function and the constraints, have a continuously varying dependence on time. Our goal is to develop an algorithm to track the optimal solution as it continuously changes over time inside or on the boundary of the dynamic feasible set. We develop an interior point method that asymptotically succeeds in tracking this optimal point in nonstationary settings. The method utilizes a time varying constraint slack and a prediction-correction structure that relies on time derivatives of functions and constraints and Newton steps in the spatial domain. Error free tracking is guaranteed under customary assumptions on the optimization problems and time differentiability of objective and constraints. The effectiveness of the method is illustrated in a problem that involves multiple agents tracking multiple targets.

연구 동기 및 목표

• 시간에 따라 연속적으로 변화하는 목표 함수와 제약 조건을 가진 볼록 최적화 문제에서 최적 해를 추적하는 데 도전하는 것.
• 비정상 문제에 적용될 때 표준 반복적 방법이 내재하는 정적 최적화 갭을 극복하는 것.
• 시간 도함수를 활용한 예측과 뉴턴 단계를 통한 보정을 통해 정확성을 유지하는 동적 내부점 방법을 개발하는 것.
• 소실 속도가 점점 감소하는 조건 없이도 진정한 시간에 따라 변화하는 최적 해를 추적하는 데 이론적 수렴 보장을 확립하는 것.
• 다중 에이전트 목표 추적 시나리오와 같은 동적 제약 조건이 존재하는 환경에서 방법의 효과성을 입증하는 것.

제안 방법

• 제약 조건을 완화하고 위반에 대한 페널티를 주기 위해 시간에 따라 변화하는 로그 포텐셜 함수를 사용하여 동적 가능 영역 내에서의 타당성을 보장한다.
• 시간에 따라 변화하는 제약 조건의 여유 변수를 도입하여 시간이 지남에 따라 감소시키며, 제약 조건의 점점 더 정확한 만족을 보장한다.
• 예측 단계에서는 목표 함수와 제약 조건 함수의 시간 도함수를 사용하여 최적 해의 이동을 예측한다.
• 보정 단계에서는 공간 영역에서 뉴턴 방법을 적용하여 예측된 궤적을 현재 최적 점으로 보정한다.
• 예측과 보정을 연속 시간 프레임워크 내에서 조합하며, 장벽 함수의 기울기 강하를 보장하는 미분 방정식으로 동역학을 제어한다.
• 장벽 함수의 기울기 노름이 감소하도록 유지함으로써 전역 수렴을 보장하며, 이는 지수 감소하는 항으로 유계화된다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 볼록 최적화 문제와 동적 제약 조건이 존재할 때 내부점 방법을 어떻게 수정하여 최적 해를 추적할 수 있는가?
• RQ2 시간 도함수와 뉴턴 단계를 기반으로 한 예측-보정 구조가 연속 시간에서 오차 없이 추적을 달성할 수 있는가?
• RQ3 어떤 조건에서 방법이 소실 속도가 점점 감소하는 조건 없이 진정한 시간에 따라 변화하는 최적 해로 수렴하는가?
• RQ4 시간에 따라 변화하는 장벽 함수와 여유 변수 파라미터는 타당성 유지와 수렴성 확보에 어떻게 기여하는가?
• RQ5 이 방법은 다중 에이전트 목표 추적과 같은 실시간 제어 문제에 효과적으로 적용될 수 있는가?

주요 결과

• 제안된 방법은 정적 최적화 갭이 없는 비정상적 환경에서 최적 해를 점점 더 정확하게 추적한다.
• 장벽 함수의 기울기 노름은 시간이 지남에 따라 지수적으로 감소하여 최적 궤적으로의 수렴을 보장한다.
• 계산된 궤적과 진정한 최적 해 사이의 오차는 지수적으로 감소하며, $ \|\tilde{\textbf{z}}(t)-\tilde{\textbf{x}}^{\star}(t)\|_{2} \leq \frac{2}{m}\|\nabla_{\textbf{x}}\tilde{\Phi}(\textbf{x}_{0},0)\|_{2}e^{-\sigma t} $ 로 유계화된다.
• 시간에 따라 변화하는 제약 조건 여유 변수를 사용함으로써 타당성이 보장되며, 모든 $ i $ 와 $ t $ 에 대해 $ f_i(\tilde{\textbf{z}}^\star(t),t) < s(t) $ 를 만족한다.
• 강한 볼록성, 함수의 이중 연속 미분 가능성, 시간 도함수의 유계성 등의 표준 가정 하에 이론적 수렴이 성립한다.
• 다중 에이전트 추적 문제에서 방법을 검증하여, 동적이고 제약 조건이 존재하는 환경에서의 실용적 효과성을 입증하였다.