파라미터 의존 선형 시스템 복잡도 감소

초록

본 논문은 파라미터가 반정밀 대수적 집합에 제한된 선형 시스템군에 대해, 원 시스템과 차원·파라미터가 축소된 모델 간 H∞-노름 차이를 최소화하는 복잡도 감소 알고리즘을 제안한다. SOS(합동제곱) 최적화를 이용한 서브옵티멀 해법을 제시하고, 연속·이산 시간 시스템 모두에 적용 가능한 프레임워크를 구축하였다. 수치 예제를 통해 제안 방법의 실효성을 검증한다.

상세 분석

이 연구는 파라미터 의존 선형 시스템의 모델 차원을 축소하면서도 동적 특성을 보존하는 문제를 H∞-노름 기반 최적화 문제로 정형화한다. 파라미터 공간이 컴팩트하고 반정밀 대수적(semi‑algebraic) 구조를 갖는다는 가정 하에, 시스템 행렬 A(p), B(p), C(p), D(p) 를 다항식 형태로 표현한다. 원 시스템 G(p)와 축소 시스템 Ĝ(θ) 사이의 전송함수 차이를 Δ(p,θ)=G(p)−Ĝ(θ) 로 정의하고, sup p∈𝒫‖Δ(p,θ)‖∞ 를 최소화하는 것이 목표이다.

직접적인 H∞-노름 최소화는 비선형·비볼록 문제이므로, 저자는 이를 SOS 프로그램으로 근사한다. 구체적으로, Δ(p,θ) 의 주파수 응답을 실수 다항식 형태로 전개하고, 라우시안(Lyapunov) 함수 V(x,p) 를 다항식으로 가정한다. 그러면 H∞-노름 제약은 “∀p∈𝒫, ∀ω∈ℝ, V̇+zᵀz−γ²wᵀw ≤ 0” 형태의 부등식으로 변환될 수 있다. 여기서 z와 w는 각각 출력·입력 신호를 나타내며, γ는 허용 오차 상수이다. 이 부등식을 SOS 형태로 표현하면, SDP(반정밀계획) 형태의 최적화 문제로 풀 수 있다.

연속시간과 이산시간 시스템 모두에 대해 동일한 프레임워크를 적용할 수 있다는 점이 중요한 기여이다. 연속시간 경우에는 라우시안 미분 항을 다항식으로, 이산시간 경우에는 차분 연산자를 다항식으로 치환한다. 또한, 파라미터 차원을 감소시키는 방법으로는 (i) 파라미터 재정의 θ = φ(p) 를 통해 비선형 매핑을 설계하거나, (ii) 상태 차원을 직접 축소하는 프로젝션 매트릭스 T를 도입한다. 두 경우 모두 SOS 제약에 포함시켜 최적화 변수로 동시에 결정한다.

알고리즘의 서브옵티멀 특성은 SOS 근사가 본질적으로 보수적이기 때문에 발생한다. 그러나 실험 결과는 실제 H∞-노름과 비교했을 때 허용 오차 내에서 충분히 근접함을 보여준다. 특히, 파라미터 차원이 510 수준인 경우에 3050% 정도의 상태 차원 감소를 달성하면서도 성능 저하가 미미했다.

이 논문의 한계는 SOS 최적화가 차원 폭증 문제를 안고 있다는 점이다. 파라미터와 상태 차원이 커질수록 SDP 규모가 급격히 증가해 계산 비용이 크게 늘어난다. 따라서 향후 연구에서는 구조적 스파스성 활용, 차원 축소 전처리, 혹은 대규모 SOS 해법(예: ADMM 기반) 등을 도입해 확장성을 개선할 필요가 있다. 또한, 비선형 시스템이나 비정밀 파라미터 집합에 대한 일반화도 중요한 과제로 남는다.