[논문 리뷰] Optimal Switching for Hybrid Semilinear Evolutions

Fabian Rueffler, Falk M. Hante|arXiv (Cornell University)|2016. 05. 17.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 1인용 수 3

한 줄 요약

이 논문은 비선형적으로 왜곡된 강한 연속 족집게 군에 의해 지배되는 서로 다른 모드로 전환되는 하이브리드 반선형 진화 시스템에 대해 필요한 최적성 조건을 개발한다. 이는 상태 리셋과 전환 비용을 포함한다. 전환 시간과 모드 삽입에 대해 인접 방정식을 통한 기울기 표현을 유도하며, ODE 기반 방법을 PDE와 전달 지연 방정식으로 일반화한다. 전달 지연 방정식의 주요 부분 또는 생성자에서 전환이 발생하는 경우에도 적용 가능하다.

ABSTRACT

We consider the optimization of a dynamical system by switching at discrete time points between abstract evolution equations composed by nonlinearly perturbed strongly continuous semigroups, nonlinear state reset maps at mode transition times and Lagrange-type cost functions including switching costs. In particular, for a fixed sequence of modes, we derive necessary optimality conditions using an adjoint equation based representation for the gradient of the costs with respect to the switching times. For optimization with respect to the mode sequence, we discuss a mode-insertion gradient. The theory unifies and generalizes similar approaches for evolutions governed by ordinary and delay differential equations. More importantly, it also applies to systems governed by semilinear partial differential equations including switching the principle part. Examples from each of these system classes are discussed.

연구 동기 및 목표

• 추상 반선형 진화에 의해 지배되는 하이브리드 시스템에서 최적 전환을 위한 통합 프레임워크를 개발하는 것.
• 예를 들어 PDE의 주요 부분이 변화하는 경우와 같이 생성자에서 전환이 발생하는 시스템에 대해 기울기 기반 최적화 방법의 부족을 해결하는 것.
• ODE에서의 전환 시간 최적화와 모드 삽입 기울기를 비선형 왜곡과 상태 리셋을 포함한 무한차원 시스템으로 일반화하는 것.
• 전환 시간과 모드 순서에 대해 모두 인접 방정식을 사용한 미분 가능 비용 표현을 제공하는 것.
• 전환에 의해 영향을 받는 진화 연산자로 인해 복잡한 시스템(예: 가스 네트워크)에서 기울기 기반 최적화를 가능하게 하는 것.

제안 방법

• 베르누아 공간 설정에서 인접 방정식 공식을 사용하여 비용 기능의 전환 시간에 대한 기울기를 유도한다.
• 모드 순서 최적화를 위해 모드 삽입 기울기를 도입하여 다양한 모드 순서의 알고리즘적 탐색을 가능하게 한다.
• 각기 다른 모드에서의 연속 동역학을 족집게 이론을 사용하여 모델링하며, 생성자 $A^j$ 는 $C^0$-족집게 군을 생성한다.
• 전환 시간에서 비선형 상태 리셋 맵 $g^{j,j'}$ 와 전환 페널티를 포함한 라그랑주 형식의 비용 함수를 통합한다.
• 주요 부분에서 전환이 발생하는 시스템, 예를 들어 운반과 확산 PDE 간의 전환 또는 DDE의 전달 매개변수에서의 전환에 이론을 적용한다.
• 시스템 매개변수와 족집게 생성자에 대한 약한 연속성 가정 하에 비용 기능의 미분 가능성을 확립한다.

실험 결과

연구 질문

• RQ1 상태 리셋과 전환 비용을 포함한 하이브리드 반선형 진화 시스템에서 전환 시간에 대한 비용 기능 기울기는 어떻게 표현할 수 있는가?
• RQ2 특히 기존 순서에 새로운 모드를 삽입할 때, 모드 순서 최적화를 위한 적절한 기울기 공식은 무엇인가?
• RQ3 ODE에서의 인접 기반 기울기 접근법은 생성자 자체가 모드 간 전환하는 PDE를 제어하는 시스템으로 일반화될 수 있는가?
• RQ4 예를 들어 운반과 확산 연산자 간 전환하는 PDE의 주요 부분에서의 전환은 이 이론이 어떻게 다루는가?
• RQ5 무한차원 설정에서 비용 기능의 미분 가능성과 인접 표현의 타당성을 보장하는 조건는 무엇인가?

주요 결과

• 전환 시간에 대한 비용의 기울기는 인접 방정식의 해를 통해 표현되며, 이는 기울기 기반 최적화를 가능하게 한다.
• 모드 삽입 기울기는 다양한 모드 순서의 체계적 탐색을 가능하게 하며, 하이브리드 최적화 알고리즘의 기초를 이룬다.
• 이론은 ODE 기반 전환 시간 최적화를 PDE와 전달 지연 방정식으로 일반화하며, 생성자(예: 주요 부분)가 전환하는 경우에도 적용 가능하다.
• 운반 방정식($A^1 = \partial_x$)에서 확산 방정식($A^2 = \partial_x^2$)으로의 전환에 대해 최적 전환 시간은 $\tau = 0$ 이며, 이는 비음성 기울기를 통해 확인된다.
• 인접 해는 시간에 따라 역행적으로 전파되며, 족집게 군이 교환되지 않더라도 민감도의 효율적 계산을 가능하게 한다.
• 이 프레임워크는 안정성 분석과 일관되며, 향후 연구에서 유계가 아닌 왜곡과 일반 경계 조건으로의 확장을 가능하게 한다.