경로완전 그래프 기반 스위치 시스템 최적 제어와 값함수 상한 추정

초록

본 논문은 외부에서 주어지는 임의 스위칭을 갖는 이산시간 스위치 선형 시스템의 값함수(비용‑대‑목)를 계산하기 어려운 문제에 대해, 경로완전 그래프를 이용한 다중 2차 Lyapunov 함수 조합으로 계산 가능한 상한을 제공한다. 제시된 방법은 LMI 형태로 구현 가능하며, 그래프 크기를 늘릴수록 근사 오차가 감소함을 이론적으로 보인다. 또한, affine 입력을 포함한 제어 설계까지 확장한다.

상세 분석

이 논문은 스위치 시스템에서 스위칭 신호가 외부에 의해 결정되는 상황, 즉 최악‑case(최대) 비용을 평가하는 문제를 다룬다. 전통적인 LQR이나 Riccati 해법은 스위칭을 제어 변수로 취급할 때만 적용 가능하고, 스위칭이 임의일 경우 상태‑공간 차원은 그대로이지만 가능한 모드 시퀀스가 지수적으로 증가해 정확한 값함수 J(x)를 구하는 것이 NP‑hard에 가깝다. 저자들은 이러한 비가역성을 극복하기 위해 ‘경로완전 그래프(path‑complete graph)’라는 개념을 도입한다. 그래프의 각 노드는 하나의 후보 Lyapunov(또는 비용) 함수 V_α(x)를 나타내고, 간선 (α,β,i)는 모드 i에 대한 동적 프로그래밍 부등식 V_α(x) ≥ c(x)+V_β(f_i(x)) 를 의미한다. 그래프가 경로완전이면 어떤 모드 시퀀스라도 그래프상의 경로로 표현될 수 있으므로, 모든 가능한 전이에서 부등식이 만족되면 V(x)=max_{α∈S}V_α(x) 가 정확히 J(x)의 상한이 된다.

핵심 기술은 이 부등식을 2차 형태로 제한하고, 반정밀(semidefinite) 프로그램으로 변환해 LMI 형태로 풀 수 있다는 점이다. 구체적으로, V_α(x)=xᵀP_αx (P_α≽0) 로 두고, 각 간선에 대해 P_α−A_iᵀP_βA_i−Q≽0 (Q는 비용 행렬) 라는 LMI를 구성한다. 이렇게 하면 그래프의 노드 수와 간선 수에 비례하는 SDP가 생성되며, 복잡도는 O(|S|³) 정도로 제어 설계에 실용적이다. 또한, 그래프를 ‘완전(complete)’ 혹은 ‘공완전(co‑complete)’ 형태로 선택함에 따라 상한의 보수성(보수 정도)을 조절할 수 있다. 특히, De Bruijn 그래프의 이중형(dual) 시퀀스를 무한히 확장하면 상한이 실제 값함수에 점근적으로 수렴한다는 비보수성(asymptotic non‑conservativeness) 결과를 증명한다. 이는 그래프의 차수가 커질수록 각 노드가 더 많은 전이를 커버하게 되어, 기존 단일 2차 Lyapunov 방법보다 훨씬 촘촘한 근사를 제공한다는 의미다.

제어 입력이 포함된 경우에도 동일한 프레임워크를 적용한다. affine 입력 u_k = K_α x_k + k_α 로 가정하고, 각 노드에 대해 제어 매트릭스(K_α, k_α)와 비용 행렬을 동시에 최적화한다. 이때도 LMI 형태로 변환 가능하며, 얻어진 상한은 설계된 제어기의 최악‑case 비용을 직접 보증한다. 논문은 수치 실험을 통해 작은 2‑모드 시스템부터 5‑모드 고차원 시스템까지, 그리고 입력이 있는 경우와 없는 경우 모두에서 제안 방법이 기존 단일 Lyapunov 기반 상한보다 현저히 타이트한 결과를 보임을 확인한다.

마지막으로, 기존 스위치 LQR 연구와의 차별점을 명확히 제시한다. 스위치 LQR은 모드와 입력을 동시에 최적화하지만, 여기서는 모드가 외생 변수이므로 그와 같은 최적화가 불가능하다. 대신, 그래프 구조를 설계 변수로 활용해 보수성을 조절하고, LMI 기반의 다중 2차 함수 조합을 통해 계산 가능한 상한을 제공한다는 점이 혁신적이다. 전체적으로 이 논문은 스위치 시스템의 안전·성능 검증에 필요한 최악‑case 비용 추정에 실용적이고 이론적으로도 견고한 도구를 제시한다.