비선형 최적제어 영해의 감도 지수 감쇠

초록

본 논문은 그래프 구조 상호작용을 갖는 비선형 최적제어 문제에서, 초기 영점(0) 해에 대한 작은 국부 교란이 그래프 거리와 함께 지수적으로 감소한다는 감도 감쇠 특성을 제시한다. 비선형 탈결합 동역학과 2차 비용을 가정하고, 비선형 제어가능성 조건을 이용해 차원에 독립적인 상수들을 도출하였다. 수치 실험을 통해 이론적 결과를 검증하였다.

상세 분석

본 연구는 대규모 네트워크 시스템에서 개별 에이전트가 국소적인 상호작용만을 갖는다는 전제 하에, 최적제어 해의 감도가 그래프 거리와 함께 어떻게 감소하는지를 정량화한다. 먼저, 각 서브시스템 i에 대해 탈결합 비선형 동역학 ˙x_i = f_i(x_i,u_i) 를 가정하고, 비용 함수는 전역적인 2차 형태 ℓ(x,u)=xᵀQx+uᵀRu 로 정의한다. 여기서 Q는 그래프 구조에 따라 희소성을 가지며, Q_{ij}=0이면 노드 i와 j 사이에 직접적인 비용 상호작용이 없음을 의미한다. 이러한 구조는 그래프 G=(V,E) 로 표현되며, 노드 간 거리 d_G(i,j) 가 정의된다.

핵심 가정은 Assumption 1, 즉 “원점으로의 비선형 제어가능성”이다. 이는 임의의 초기 상태 x₀에 대해 적절한 제어 u_{x₀}(t) 가 존재하여 상태와 제어가 모두 지수적으로 수렴한다는 조건이다. 이 가정은 C와 σ라는 두 양의 상수를 통해 ∥x(t)∥ ≤ C e^{-σt}∥x₀∥, ∥u(t)∥ ≤ C e^{-σt}∥x₀∥ 로 표현된다.

정리 2는 위 가정 하에, 초기 교란이 하나의 노드 i에만 존재할 때, 임의의 노드 집합 W에 대한 최적 궤적의 L₂-노름이
∥xW∥{L₂} ≤ S ρ^{d_G(i*,W)} |x_{0,i*}|
를 만족함을 증명한다. 여기서 S=2·max{C_init, C_prop}이며, ρ=2^{-1/q}<1, q=⌈S⌉² 로 정의된다. C_init 은 초기 교란이 전체 시스템에 미치는 영향을, C_prop 은 교란이 인접 노드로 전파되는 정도를 각각 상한한다. 중요한 점은 S와 ρ가 시스템 차원 n이나 서브시스템 수 s에 의존하지 않는다는 것이다. 이는 Q와 R의 스펙트럼 상한 µ, M_Q, M_R 가 차원에 무관하게 존재한다는 전제와, Assumption 1이 차원에 독립적으로 성립한다는 가정에 기반한다.

증명은 두 단계로 구성된다. 첫 번째 Lemma 4는 초기 교란이 전체 최적 궤적에 미치는 L₂-노름을 C_init·|x_{0,i*}| 로 제한한다. 여기서는 비용 함수의 양의 정의와 제어가능성 가정만을 이용한다. 두 번째 Lemma 5는 인접 집합 I와 외부 교란 집합 J 사이의 상호작용을 분석한다. ℓ_I 를 세 부분(교차 비용 ℓ₁, 내부 비용 ℓ₂, 제어 비용 ℓ₃)으로 분해하고, ℓ₃≥0 를 이용해 ℓ₁+ℓ₂≤0 를 도출한다. 이후 Young 부등식을 적용해 ∥x_I∥{L₂} ≤ C_prop·∥x_J∥{L₂} 를 얻는다. Lemma 6은 그래프 거리 1인 이웃 노드가 모두 J에 포함된 경우, 전체 최적 해와 부분 최적 해가 일치함을 보인다. 최종적으로, 거리 d에 따라 반복적으로 Lemma 5와 Lemma 6을 적용함으로써 지수적 감쇠 ρ^{d} 를 얻는다.

수치 실험에서는 10개의 노드로 구성된 라인 그래프를 사용해, 초기 교란을 첫 번째 노드에만 부여하고 최적 궤적을 시뮬레이션하였다. 결과는 이론적 경계와 매우 근접했으며, 거리 3 이상에서는 상태 크기가 기계적 오차 수준 이하로 감소함을 확인했다.

본 연구는 기존 선형‑이차(LQ) 시스템에서만 알려졌던 공간적 감도 감쇠 결과를 비선형 탈결합 시스템으로 일반화한 최초 사례이며, 차원에 무관한 상수들을 명시함으로써 대규모 분산 제어 설계에 실용적인 근거를 제공한다. 향후 연구에서는 Q의 비대각성(비대칭) 구조, 비선형 상호작용이 있는 경우, 그리고 근사 최적 해(예: 강화학습 기반)에도 동일한 감쇠 특성이 유지되는지를 탐색할 필요가 있다.