DC 프로그래밍 기반 계산 효율적 강인 비선형 MPC

초록

**
본 논문은 차분-볼록(DC) 함수와 순차 볼록 프로그래밍을 이용해, 비선형 시스템에 대한 튜브 기반 강인 모델 예측 제어(Robust NMPC)를 실시간에 해결 가능한 형태로 전환한다. 데이터‑드리븐 방법으로 다항식, 입력‑볼록 신경망(ICNN), 그리고 방사형 기저 함수(RBF)를 활용해 시스템 동역학을 DC 형태로 모델링하고, 콘케이브(볼록이 아닌) 부분만 선형화함으로써 온라인 최적화 문제를 순수 볼록 프로그램으로 만든다. 제안된 알고리즘은 재귀적 실현 가능성 및 강인 안정성을 보장하며, PVTOL 항공기 사례를 통해 세 가지 DC 모델링 기법의 성능을 비교한다.

**

상세 분석

**
이 논문은 비선형 시스템에 대한 강인 모델 예측 제어(MPC)의 두 가지 핵심 난제를 동시에 해결한다. 첫 번째는 정확한 동역학 모델을 확보하기 어려운 현실적인 상황에서, 데이터 기반으로 시스템을 DC(차분-볼록) 형태로 근사하는 방법론을 제시한다. 구체적으로(1) 고차 다항식의 Gram 행렬을 이용한 SOS‑convex 다항식 분해, (2) 입력‑볼록 신경망(ICNN) 구조를 활용한 DC 신경망(DCNN) 모델링, (3) 볼록성을 만족하는 방사형 기저 함수(RBF)의 양(+)·음(–) 가중치 분해 세 가지 절차를 제시한다. 각 방법은 기존의 비선형 모델링 기법보다 구조적으로 볼록·볼록이 아닌 성분을 명시적으로 구분함으로써, 이후 최적화 단계에서 필요한 선형화 작업을 최소화한다는 장점을 갖는다.

두 번째 난제는 강인 MPC에서 튜브 전파를 위한 제약식이 비볼록성을 내포하고 있어 실시간 해결이 불가능하다는 점이다. 저자들은 DC 분해된 동역학을 (f_\Gamma = g - h) 형태로 표현하고, 콘케이브 성분 (h)만 현재 예측 궤적 주변에서 1차 테일러 전개(선형화)한다. 이때 선형화된 (h)는 과보수적인 상한을 제공하므로, 원래의 비볼록 제약식 (f_\Gamma \le q_{k+1})를 볼록 제약식 (g - \hat h \le q_{k+1})으로 대체할 수 있다. 이렇게 변환된 제약식은 순수 볼록 프로그램이며, 순차 선형화와 차분-볼록 프로그래밍(DC programming)의 수렴 이론에 따라 지역 최적해에 선형 수렴한다.

알고리즘은 튜브의 단면을 다각형(폴리토프)으로 파라미터화한다. 두 가지 파라미터화(요소별 구간 및 심플렉스)를 제시하고, 각 경우에 대해 콘케이브 부분의 야코비안을 효율적으로 계산하는 절차를 부록에 제공한다. 또한, 터미널 집합을 반볼록(ellipsoidal) 형태로 설계하고, 반볼록 세미디피니트 프로그래밍을 통해 터미널 비용과 가중치를 보장함으로써 강인 안정성을 증명한다.

이론적 기여 외에도, 저자들은 PVTOL(Planar Vertical Take‑Off and Landing) 항공기 모델을 대상으로 세 가지 DC 모델링 기법을 비교 실험한다. 실험 결과는 다항식 기반 DC 모델이 계산 속도에서 가장 유리하지만, 복잡한 비선형성에서는 ICNN 기반 모델이 정확도가 높으며, RBF 기반 모델은 중간 정도의 성능을 보인다. 전반적으로 제안된 프레임워크는 기존의 비선형 강인 MPC가 요구하던 고비용 전역 비선형 최적화기를 대체할 수 있는 실용적인 대안을 제공한다.

**