Bilevel MPC for Linear Systems: A Tractable Reduction and Continuous Connection to Hierarchical MPC

1. 연구 배경 및 문제 정의 (Problem)

• 배경: 공정 제어, 자동차, 전력망 등 다양한 분야에서 상층부 (경제성, 안전성 등) 와 하층부 (동적 제어) 로 구성된 계층적 제어 아키텍처가 널리 사용됩니다. 특히 모델 예측 제어 (MPC) 에서 상층부는 정상 상태 목표치를 설정하고 하층부는 이를 추종하는 동적 MPC 를 수행하는 **계층적 MPC(HMPC)**가 일반적입니다.
• 문제점:
  • 상층부의 목표가 과도기 (transient) 동역학에 의존할 때, 상층부가 동역학을 무시하면 성능 저하가 발생합니다. 이를 해결하기 위해 **이중 계층 MPC(Bilevel MPC)**가 제안되었으나, 이는 하층 문제의 해가 상층 문제의 제약 조건으로 작용하는 형태입니다.
  • 기존 이중 계층 문제를 단일 단계로 변환하는 표준적인 방법인 **KKT 조건 기반의 MPCC(Mathematical Program with Complementarity Constraints)**는 **비볼록 (nonconvex)**하고 비매끄러운 (nonsmooth) 구조를 가집니다.
  • 이로 인해 국소 해 (local minima) 가 존재하거나, 수치적 불안정성이 발생하며, 제어 시스템에 필수적인 **해의 유일성 (uniqueness)**과 **연속성 (continuity)**이 보장되지 않아 실시간 적용에 어려움이 있습니다.

2. 제안된 방법론 (Methodology)

저자들은 비볼록한 MPCC 문제를 피하면서도 최적 성능을 유지할 수 있는 새로운 접근법을 제시합니다.

A. 매끄러운 단일 단계 축소 (Tractable Reduction)

• 핵심 아이디어: 하층 문제의 부등식 제약 조건을 상층으로 '리프팅 (lifting)'하고, 하층 문제의 KKT 조건 중 상보성 (complementarity) 조건은 제거한 채 정류성 (stationarity, $\nabla_U F_l = 0$) 조건만 유지합니다.
• 수식적 변환:
  • 기존 이중 계층 문제 ($P_1$) 를 $P_2$로 변환합니다.
  • 하층 MPC 가 강한 볼록성 (strongly convex QP) 을 가진다고 가정할 때, 하층의 최적 입력 $U$와 상층의 참조 시퀀스 $\Theta$ 사이의 관계를 선형 방정식 ($\nabla_U F_l = 0$) 으로 표현합니다.
  • 이 선형 관계를 통해 $\Theta$를 $U$의 함수로 명시적으로 표현하거나, $\Theta$와 $U$를 동시에 풀 수 있는 단일 단계 문제로 만듭니다.
• 정리 1 (해의 포함 관계): 특정 조건 (블록 행렬의 비특이성, $\bar{\Gamma}$ nonsingular) 하에서, 축소된 문제 $P_2$의 실현 가능한 집합은 원래 이중 계층 문제 $P_1$의 부분집합이며, 최적값 (optimal value) 은 동일합니다. 즉, 성능 저하 없이 문제를 단순화할 수 있습니다.

B. 중앙 집중식 MPC 와의 동등성 (Equivalence to Centralized MPC)

• 정리 2: 상층 목적 함수와 제약 조건이 볼록하다는 가정 하에, 제안된 이중 계층 구조 ($P_2 \to P_L$) 는 **중앙 집중식 MPC($P_3$)**와 입력 궤적 측면에서 **동등 (equivalent)**합니다.
• 의미: 이중 계층 구조를 사용하더라도, 중앙 집중식 MPC 가 가지는 폐루프 안정성 (closed-loop stability) 및 다른 동적 특성을 그대로 계승 (inherit) 할 수 있음을 보장합니다. 이는 이중 계층 설계의 안정성을 중앙 집중식 문제의 검증만으로 확인할 수 있게 합니다.

C. HMPC 와의 연속적 연결 및 이동 차단 (Move-Blocking)

• 이동 차단 (Move-Blocking) 활용: 예측 구간을 블록으로 나누어 각 블록 내 신호를 고정하는 기법을 도입하여, HMPC 와 이중 계층 MPC 를 연결합니다.
  • HMPC: 전체 구간을 하나의 블록으로 간주하는 경우 (상수 참조 시퀀스).
  • 이중 계층 MPC: 블록 수를 늘려 자유도를 높인 경우.
• 최적값 순서 (Optimal-Value Ordering):
  • $V_{중앙집중식} \le V_{이중계층} \le V_{이동차단된 이중계층} \le V_{HMPC}$ 순으로 성능이 열화됨을 증명합니다.
• 후사적 성능 저하 증명 (A Posteriori Degradation Certificates):
  • 이동 차단으로 인한 성능 저하를 상한 (upper-bound) 으로 추정하는 효율적인 계산식을 제시합니다.
  • 이를 통해 "계산 부하가 큰 고해상도 문제를 풀지 않아도, 저해상도 (차단된) 문제의 해가 얼마나 나쁜지"를 사전에 평가할 수 있어, 성능과 계산 효율성 사이의 원칙적인 트레이드오프 (principled trade-off) 결정을 지원합니다.

3. 주요 기여 (Key Contributions)

1. 실용 가능한 이중 계층 MPC 축소: 비볼록한 MPCC 없이, 볼록한 단일 단계 QP 로 이중 계층 문제를 정확하게 변환하는 방법을 제안했습니다. 이는 해의 유일성과 안정성을 보장합니다.
2. 성능 보장 및 안정성 계승: 제안된 방법이 중앙 집중식 MPC 와 동등함을 증명하여, 복잡한 이중 계층 구조를 사용하더라도 기존 MPC 의 이론적 안정성 보장을 유지할 수 있음을 보였습니다.
3. HMPC 와의 통합 프레임워크: 이동 차단 기법을 통해 HMPC 와 이중 계층 MPC 를 하나의 연속적인 스펙트럼으로 연결하고, 이동 차단 정도에 따른 성능 저하를 정량적으로 평가하는 **저비용 증명 (certificate)**을 제공했습니다.
4. 실제 적용 가능성: Toyota 와 협력하여 제안된 알고리즘의 코드를 공개하고, 수치 실험을 통해 기존 방법론의 한계 (초기값 의존성 등) 를 극복함을 입증했습니다.

4. 수치 실험 결과 (Results)

• 시나리오: 적분기를 포함한 간단한 선형 시스템 (위치/속도 제어) 을 대상으로 실험했습니다.
• 결과:
  • P0 (기존 HMPC): 최적 성능을 내지 못했습니다.
  • P1 (기존 MPCC 기반): 초기값에 따라 최적 해에 수렴하지 못하거나, 여러 해 중 하나만 찾았습니다 (비볼록성 문제).
  • P2 (제안된 축소법): 중앙 집중식 MPC(P3) 와 완전히 일치하는 최적 입력 궤적을 유일하게 도출했습니다. 초기값에 무관하게 안정적인 성능을 보였습니다.
  • 이동 차단 효과: 차단 블록 수를 줄여가며 계산 부하를 낮췄을 때, 제안된 **성능 저하 상한 (degradation bound)**이 실제 성능 저하를 잘 예측하여, 불필요한 계산 없이도 충분한 성능을 가진 블록 크기를 선택할 수 있음을 보여주었습니다.

5. 의의 및 결론 (Significance)

이 논문은 복잡성으로 인해 실제 적용이 꺼려지던 이중 계층 제어 아키텍처를 실시간 검증 가능하고 (verifiable), 안정적이며, 계산 효율적으로 만드는 길을 열었습니다.

• 이론적 기여: 비볼록 이중 계층 문제를 볼록 단일 단계 문제로 정확하게 축소하는 수학적 근거를 마련했습니다.
• 실무적 기여: 기존 HMPC 의 단순함과 중앙 집중식 MPC 의 최적성 사이의 균형을, 이동 차단과 성능 저하 증명을 통해 체계적으로 설계할 수 있는 도구를 제공합니다.
• 미래 전망: 자율 주행, 로봇, 스마트 그리드 등 안전과 성능이 동시에 요구되는 분야에서 계층적 제어 설계의 표준으로 자리 잡을 수 있는 기반을 마련했습니다.

요약하자면, 이 연구는 **"이중 계층 MPC 의 이론적 우월성을 유지하면서도, 계산적 복잡성과 비볼록성 문제를 해결하여 실제 제어 시스템에 적용 가능하게 만든 획기적인 방법론"**입니다.