Certified Model Predictive Control for Switched Evolution Equations using Model Order Reduction

기술적 요약: 모델 차원 축소를 이용한 스위칭 진화 방정식에 대한 인증된 모델 예측 제어

문제 정의
본 논문은 포물형 편미분 방정식 (PDE) 에서 기인하는 선형 스위칭 진화 방정식에 대한 모델 예측 제어 (MPC) 와 관련된 계산적 어려움을 다룹니다. 구체적으로, 저자들은 시간 미분에 해당하는 스위칭된 쌍선형 형식으로 시스템 역학이 지배되는 유한 시간 최적 제어 문제 (OCP) 를 고려합니다. 제어 문제는 볼록하고 하반연속인 정규화 함수를 포함하며, 이를 통해 제어 상자 제약 조건과 희소성 ($L_1$) 정규화를 허용합니다. 주요 어려움은 재예측 시간 프레임워크 내에서 전체 차원 모델 (FOM) 의 최적성 조건을 반복적으로 해결하는 데 따른 높은 계산 비용에 있으며, 이는 실시간 적용 가능성을 저해합니다.

방법론
이 계산적 부담을 완화하기 위해 저자들은 갤러킨 모델 차원 축소 (MOR) 와 MPC 를 통합하는 프레임워크를 제안합니다. 방법론은 다음과 같은 단계를 거칩니다:

1. 최적성 조건: 저자들은 유한 시간 OCP 에 대한 1 차 필요 최적성 조건을 유도합니다. 주요 분석적 발견은 시간 미분과 관련된 쌍선형 형식에서의 스위칭이 스위칭 시점에서 특정 상태 천이 맵을 갖는 스위칭된 접선 시스템을 유도한다는 점입니다. 이 분석은 $L_1$ 페널티와 같은 비미분 항을 포함한 일반적인 볼록 정규화를 수용합니다.
2. 축소 차원 모델링 (ROM): 상태 및 접선 시스템을 위한 저차원 대리 모델을 구축하기 위해 갤러킨 사영이 사용됩니다. 축소된 시스템을 해결하여 ROM-MPC 피드백 법칙을 얻습니다.
3. 사후 오차 추정: 방법론의 핵심은 재귀적 사후 오차 추정을 유도하는 것입니다. 이러한 추정은 ROM-MPC 궤적과 실제 FOM-MPC 궤적 사이의 오차를 상한으로 묶습니다. 분석은 다음을 고려합니다:
   • 이전 MPC 반복에서 전파된 초기 값의 오차.
   • 최적 제어, 상태 및 접선 상태의 오차.
   • 서로 다른 스위칭 모드 간의 에너지 노름 동등성에서 유도된 상수로 특징지어지는 스위칭 시간의 특정 기여도.
4. 인증된 알고리즘: 이러한 오차 경계를 기반으로 두 가지 적응형 알고리즘이 수립됩니다:
   • FOM-ROM-MPC: 컨트롤러는 ROM 을 사용하여 설계되지만 FOM 에 적용됩니다. 이 접근 방식은 중간 상태를 위해 FOM 방정식을 풀어야 하는 비용이 많이 드는 오차 경계를 활용합니다.
   • ROM-ROM-MPC: 컨트롤러의 설계와 적용 모두 ROM 프레임워크 내에서 완전히 이루어집니다. 이 접근 방식은 잔차 노름에 기반한 계산 비용이 저렴한 오차 경계를 사용하여 완전히 온라인 효율성을 갖습니다.
   • 인증 메커니즘: 두 알고리즘 모두 재시작 메커니즘을 포함합니다. 계산된 오차 추정기가 사용자 정의 임계값을 초과하면 축소된 제어가 거부되고, 전체 FOM-MPC 단계가 수행된 후 ROM 이 (예: Proper Orthogonal Decomposition 을 통해) 업데이트된 뒤 재시작됩니다.

주요 기여

• 스위칭 시스템에 대한 1 차 최적성: 일반적인 볼록 정규화를 갖는 선형 스위칭 포물형 PDE 에 대한 최적성 조건을 유도하고, 시간 미분 연산자의 스위칭으로 인해 발생하는 불연속 접선 역학을 명시적으로 특징짓습니다.
• 재귀적 오차 경계: 교란된 초기 값과 여러 MPC 반복에 걸친 오차 누적을 명시적으로 고려하는 최적 제어, 상태 및 접선에 대한 사후 오차 추정을 개발합니다. 이러한 경계는 ROM-MPC 궤적이 FOM-MPC 궤적에 대해 진동하는 이웃의 크기를 제어함이 입증되었습니다.
• 인증된 MPC 프레임워크: 근사 오차가 ROM 의 품질에 의해 제어되는 계산 가능한 경계 내에 유지됨을 보장하는 두 가지 별도의 인증된 MPC 알고리즘 (FOM-ROM-MPC 및 ROM-ROM-MPC) 을 수립합니다.
• 비연속 제어로의 확장: 기존에 매끄러운 경우나 특정 경우로 제한되었던 오차 추정 기법을 일반적인 볼록 하반연속 정규화 함수를 처리하도록 확장합니다.

결과
개방과 폐쇄가 반복되는 문으로 두 개의 인접한 방을 나타내는 스위칭 열 방정식 모델에 대한 수치 실험이 수행되었습니다 (스위칭을 통해 영역 연결성을 변경).

• 오차 추정기 성능: 연구는 (FOM 해를 필요로 하는) "비용이 많이 드는" 경계와 (잔차 기반인) "비용이 저렴한" 경계를 비교했습니다. 비용이 많이 드는 경계는 날카로웠으며 (효과성 약 1), 비용이 저렴한 경계는 보수적이었으나 (효과성 약 $10^{-3}$) 계산이 훨씬 빨랐습니다.
• 알고리즘 성능:
  • ROM-ROM-MPC 알고리즘은 가장 높은 속도 향상 (최대 13.7 배) 을 달성했으나, 비용이 저렴한 오차 추정기의 보수성으로 인해 정확도를 유지하기 위해 더 빈번한 ROM 업데이트와 더 큰 기저 크기가 필요했습니다.
  • FOM-ROM-MPC 알고리즘은 더 적은 업데이트와 더 작은 기저 크기로 균형 잡힌 속도 향상 (약 4 배) 을 제공하며 오차 과대 평가에 대한 강건성을 입증했습니다.
  • 두 알고리즘 모두 폐루프 궤적을 인증된 오차 이웃 내에 성공적으로 유지했습니다.
• 민감도: 성능은 POD 에너지 매개변수에 민감했습니다. 더 엄격한 허용 오차 (더 많은 에너지 유지) 는 업데이트 필요성을 줄이고 속도 향상을 개선하는 반면, 느슨한 허용 오차는 과도한 업데이트를 초래하여 계산적 이점을 상쇄했습니다.

의의 및 주장
저자들은 이 작업이 무한 차원 설정 내에서 스위칭 시스템에 대한 최적 제어/MPC, MOR 와 결합된 MPC, 그리고 스위칭 시스템에 대한 MOR 을 결합한 최초의 기여라고 주장합니다. 이 논문의 의의는 근사 오차가 단순히 작다고 가정되는 것이 아니라 명시적으로 상한이 설정되고 제어되는 인증된 프레임워크를 제공한다는 점에 있습니다. 이는 스위칭 PDE 에 대한 실시간 제어 시나리오에서 축소된 모델을 안전하게 적용할 수 있게 하며, 축소된 컨트롤러가 전체 차원 시스템에 대해 예측 가능하게 작동하도록 보장합니다. 이 프레임워크는 안정화 및 경제적 MPC 설정 모두에 적용 가능하도록 설계되었습니다. 저자들은 현재 작업이 선형 스위칭 시스템에 초점을 맞추고 있지만 이론적 프레임워크는 다른 설정으로 확장될 수 있으며, 향후 작업은 이러한 추정기를 시간 적분을 위한 균형 절단 및 등적분 방법과 통합하는 것을 목표로 한다고 겸손하게 언급합니다.