비선형 시스템의 지역 소산성 분석을 위한 연속 조각선형 저장함수 설계

초록

본 논문은 제어 선형 비선형 시스템에 대해 지역 QSR 소산성을 판단하기 위해 연속 조각선형(CPA) 저장함수를 합성하는 새로운 볼록 최적화 프레임워크를 제시한다. 행렬 부등식(MI)을 선형 행렬 부등식(LMI) 형태로 근사하고, 삼각분할(triangulation) 상에서 오류 경계를 엄격히 제어함으로써 모든 점에서 소산성 부등식을 만족하도록 설계한다. 또한, 2차형 저장함수와 CPA 저장함수를 결합해 적용 범위를 확대하고, 충분히 엄격히 지역 소산적인 경우 항상 해를 찾을 수 있음을 이론적으로 보증한다. 실험을 통해 다양한 비선형 시스템의 콘식 경계와 L₂ 이득을 정확히 추정한다.

상세 분석

이 논문은 비선형 제어 선형 시스템의 지역 소산성 판단을 두 가지 핵심 아이디어로 풀어낸다. 첫 번째는 저장함수의 형태를 연속 조각선형(CPA) 함수로 제한함으로써 무한 차원의 함수 공간을 유한 차원의 변수 집합(삼각분할의 정점값)으로 축소한다는 점이다. CPA 함수는 각 심플렉스 내에서 선형 보간으로 정의되며, 정점값만을 최적화 변수로 두면 전체 영역에 대한 함수가 자동으로 결정된다. 두 번째는 소산성 부등식(행렬 부등식, MI)을 직접 다루는 대신, 각 심플렉스의 정점에서 MI를 만족하도록 LMI 형태의 오류 경계를 도입한다. 이를 위해 Taylor 전개와 새로운 LMI 오류 경계(정리 10)를 활용해, 실제 비선형 항을 상한 행렬(Π)와 Hessian 기반 상수(ˆϕ, ˆζ)로 포괄한다. 결과적으로, 정점에서 만족하는 LMI가 심플렉스 전체에 대한 MI를 보장한다는 보수적이면서도 계산적으로 효율적인 조건을 얻는다.

논문은 또한 QSR 소산성 매개변수(Q, S, R)를 동시에 최적화 변수로 두어, 주어진 시스템에 가장 큰 허용 영역(또는 최소 이득)을 자동으로 찾아낸다. 이는 기존 방법이 사전에 QSR 파라미터를 가정하거나 수동으로 튜닝해야 했던 점을 크게 개선한다. 추가적으로, 2차형(Quadratic) 저장함수와 CPA 저장함수를 혼합하는 기법을 제시해, 시스템이 어느 정도 선형적인 구역에서는 단순한 2차형 저장함수로 커버하고, 비선형성이 강한 구역에서는 CPA 함수를 적용한다. 이 혼합 방식은 최적화 문제의 스케일을 줄이면서도 보수성을 완화한다.

이론적 측면에서는 “충분히 엄격히 지역 소산적”이라는 가정 하에, 제시된 볼록 최적화가 항상 해를 찾는다는 정리(섹션 5)를 증명한다. 여기서 ‘엄격히’는 공급 함수 w(u,y)=yᵀQy+2yᵀSu+uᵀRu에 대해 β<0인 상수를 존재시킨다는 의미이며, 이는 실제 시스템이 작은 영역에서 에너지를 소모한다는 물리적 직관과 일치한다.

실험에서는 2차 비선형 진동기, 로봇 관절 모델, 그리고 전력 전자 변환기 등 다양한 사례에 대해 제안 방법을 적용하였다. 각 사례에서 기존 SOS 기반 방법이나 데이터 기반 방법보다 더 넓은 콘식 영역과 더 정확한 L₂ 이득을 제공함을 보였다. 특히, 삼각분할의 해상도를 조절함으로써 계산 복잡도와 보수성 사이의 트레이드오프를 명시적으로 제어할 수 있음을 강조한다.

전체적으로 이 논문은 비선형 시스템의 지역 소산성 분석을 위한 실용적이고 이론적으로 견고한 프레임워크를 제공한다. CPA 저장함수와 새로운 LMI 오류 경계가 결합되어, 기존의 다항식 기반 SOS 방법이 갖는 제한(다항식 형태, 비볼록성)과 데이터 기반 방법이 갖는 노이즈 민감성을 동시에 극복한다는 점이 가장 큰 공헌이다.