시간지연 시스템의 점별 소산을 이용한 V‑ISS 초월 정리

본 논문은 시간지연 비선형 시스템 ˙x(t)=f(x_t,u(t)) 에 대해 입력‑대‑상태 안정성(ISS)을 보장하기 위한 새로운 분석 틀을 제시한다. 기존 ISS 이론에서는 Lyapunov‑Krasovskii 함수(V)가 자체적으로 감소(“LKF‑wise” 소산)하거나, 감소율이 K∞‑함수인 경우에만 ISS를 유도할 수 있었다. 그러나 이러한 조건은 실제 시스템 설계 시 매우 보수적이며, 특히 점별 소산(현재 상태 ‖x(t)‖에만 의존하는 감소)만으로는 충분한지 여부가 오랫동안 미해결 문제로 남아 있었다. 저자들은 먼저 LKF 후보 V∈C(Xⁿ,ℝ₊)가 ψ₁,ψ₂∈K∞에 의해 ‖ϕ(0)‖와 ‖ϕ‖ 사이에 샌드위치 관계를 만족한다는 정의를 재확인한다. 이후, V‑ISS라는 새로운 안정성 개념을 도입한다. V‑ISS는 기존 ISS와 달리 시스템 상태를 ‖·‖ 대신 V(·)로 측정한다. 구체적으로, 존재하는 β∈KL, γ∈K∞에 대해 V(x_t)≤β(V(x₀),t)+γ(‖u‖)가 모든 t≥0에 대해 성립하면 V‑ISS라 정의한다. 핵심 정리는 다음과 같다. 동일한 LKF V가 (i) 전역 균일 안정성(UGS)을 보장하고, (ii) 점별 소산 형태의 ISS 조건 ‖ϕ(0)‖≥χ(‖u‖)⇒˙V_u(ϕ)≤−α(‖ϕ(0)‖)을 만족한다면, 시스템은 V‑ISS를 만족하고, 따라서 전통적인 ISS도 성립한다. 증명은 크게 두 단계로 이루어진다. 첫째, V가 UGS를 제공한다는 가정으로 V가 초기 히스토리 ‖x₀‖에 대한 상한을 제공함을 보인다. 둘째, 점별 소산 조건을 이용해 V‑ISS의 β,γ 함수를 구성하고, V와 ‖·‖ 사이의 샌드위치 관계를 이용해 최종적으로 ‖x(t)‖에 대한 KL‑γ 추정식을 얻는다. 또한, 저자들은 점별 소산을 만족하는 LKF를 “implication form”에서 “dissipative form”으로 변환하는 비선형 스케일링 ξ∈K∞를 제시한다. 이 스케일링은 ξ∘V를 새로운 LKF로 정의함으로써 감소율 α를 K∞‑함수로 강화한다. 이를 통해 기존 문헌에서 제시된 “implication form ⇒ dissipative form” 변환을 일반화하고, 점별 소산 기반 ISS 검증을 보다 넓은 함수 클래스에 적용 가능하게 만든다. 논문의 후반부에서는 V‑ISS를 이용한 “superposition principle”을 제시한다. 두 시스템이 각각 V‑ISS를 만족하면, 그 직합(또는 피드백 연결)도 V‑ISS를 만족한다는 정리이다. 이 정리는 복합 시스템 설계 시 각 서브시스템에 대한 점별 소산 검증만으로 전체 시스템의 ISS를 보장할 수 있음을 의미한다. 예시 섹션에서는 전형적인 2차 지연 시스템을 대상으로 기존 LKF‑wise 소산 조건과 점별 소산 조건을 비교한다. 점별 소산 기반 접근법이 요구하는 매개변수 범위가 현저히 넓으며, 특히 큰 지연 시간이나 비선형성에 대해 보수적인 LKF‑wise 조건보다 훨씬 완화된 결과를 제공한다는 것을 실험적으로 확인한다. 결론적으로, 본 연구는 “점별 소산 + 전역 균일 안정성”이라는 두 가지 비교적 간단한 가정만으로도 ISS를 보장할 수 있음을 증명한다. 이는 기존 ISS 이론이 요구하던 복잡한 LKF‑wise 소산 조건을 대체할 수 있는 강력한 대안이며, 특히 실무에서 LKF를 설계할 때 현재 상태 노름에 기반한 추정이 훨씬 용이하다는 점에서 실용적 가치를 가진다. 또한 V‑ISS라는 새로운 개념을 도입함으로써, LKF 자체를 측정 기준으로 삼아 보다 정밀한 해석이 가능해졌다. 향후 연구에서는 V‑ISS를 이용한 최적 제어 설계, 네트워크화된 지연 시스템에 대한 확장, 그리고 무한 차원 시스템에 대한 일반화가 기대된다.