시간 지연 시스템 강인 강 H 무한 노름 의사스펙트럼 기반 분석

본 논문은 이산 지연을 포함하는 선형 시불변 시스템에 대해, 실수값이며 구조화된 Frobenius 노름 제한을 갖는 불확실성을 고려한 강인 H∞ 노름의 한계점을 분석한다. 기존 강인 H∞ 노름은 특정 불확실성 실현에 대해 지연 파라미터의 무한소 변동에 민감해 불연속적인 거동을 보이며, 이는 설계 단계에서 신뢰성을 저하시킨다. 이를 해결하고자 저자는 ‘강인 강 H∞ 노름(strong robust H∞ norm)’을 정의한다. 이 정의는 (1) 시스템 행렬에 대한 실수값 구조화 불확실성 δ, (2) 지연 파라미터 τ에 대한 무한소 교란을 동시에 고려한다. 강인 강 H∞ 노름은 시스템이 내부적으로 지수 안정성을 유지하는 모든 δ∈Δ̂에 대해, τ의 작은 구(ball) 안에서의 강인 H∞ 노름의 상한값을 취함으로써 연속성을 확보한다. 핵심 이론은 강인 강 H∞ 노름을 ‘특이 지연 고유값 문제(Singular Delay Eigenvalue Problem, SDEP)’의 의사스펙트럼(pseudo‑spectrum)과 연결시키는 것이다. SDEP는 특성 행렬 M(λ;τ)=Qλ−P₀−∑_{k=1}^K P_k e^{−λτ_k} 로 정의되며, Q가 특이일 수 있어 일반적인 고유값 문제와 차이가 있다. 저자는 Q의 영공간을 나타내는 행렬 U_N, V_N을 이용해 ‘well‑posed’ 조건(정규성 및 인덱스 ≤1)을 정의하고, 이 조건 하에서 강인 강 H∞ 노름이 SDEP의 ‘강인 구조화 복소수 거리(to instability)’와 정확히 일치함을 정리한다. 즉, 최소 ε>0 존재하여 Δ∈ℂ^{m×p} (복소수 교란)와 δ∈Δ̂ (실수 불확실성)으로 M(λ;δ,Δ,τ)가 불안정해지는 가장 작은 교란 크기가 강인 강 H∞ 노름이다. 이 관계를 활용해 저자는 새로운 수치 알고리즘을 제시한다. 알고리즘은 다음 단계로 구성된다: (1) 초기 ε 추정 후 Δ와 δ에 대한 구조화된 교란을 파라미터화, (2) 주어진 ε에 대해 M(λ;δ,Δ,τ)의 가장 오른쪽 고유값을 구하기 위해 라그랑주 승수 기반의 비선형 최적화와 Krylov 서브스페이스 반복을 결합, (3) ε를 이분법적으로 조정하여 교란 크기의 최소값을 수렴시킨다. 이 과정에서 고유값 계산은 대규모 희소 행렬에 적합한 Arnoldi/ Lanczos 방법을 사용해 효율성을 확보한다. 논문은 또한 두 가지 확장을 다룬다. 첫째, 지연 자체에 대한 구조화된 불확실성(Δτ) 모델을 도입하여, 지연 변동이 시스템 행렬과 동일한 방식으로 취급될 수 있음을 보인다. 둘째, 시스템이 지연 미분 대수 방정식(DAE) 형태일 경우에도 동일한 SDEP와 의사스펙트럼 프레임워크가 적용 가능함을 증명한다. 이를 위해 DAE를 적절히 정규화하고, Q, P_k 를 확대된 차원으로 정의하여 기존 이론을 그대로 이용한다. 수치 실험에서는 (i) 2차 지연 시스템 예제, (ii) 대규모 스파스 시스템, (iii) 지연 불확실성을 포함한 시스템, (iv) DAE 기반 시스템에 대해 알고리즘을 적용하였다. 모든 사례에서 강인 강 H∞ 노름이 기존 강인 H∞ 노름보다 연속적이며, 제시된 알고리즘이 정확한 값을 효율적으로 계산함을 확인했다. 특히 지연 파라미터가 무리수 비율일 때 발생하는 H∞ 노름의 급격한 상승을 강인 강 H∞ 노름이 완화시키는 모습을 보여, 설계 단계에서의 실용성을 강조한다. 결론적으로, 본 연구는 지연 시스템의 강인 성능 평가에 있어 기존 방법의 한계를 극복하고, 구조화된 불확실성과 지연 교란을 동시에 고려한 연속적인 강인 강 H∞ 노름을 정의·계산하는 체계적인 이론과 실용적인 알고리즘을 제공한다. 이는 현대 제어 설계, 특히 네트워크ed control, 로보틱스, 전력 시스템 등 지연과 파라미터 변동이 동시에 존재하는 분야에 큰 영향을 미칠 것으로 기대된다.