좌표 불변 증분 Lyapunov 함수와 증분 안정성의 새로운 정량적 해석

초록

본 논문은 좌표 변환에 강인한 증분 Lyapunov 함수 개념을 제시하고, 이를 이용해 증분 전역 점근 안정성(δ∃‑GAS) 및 증분 입력‑상태 안정성(δ∃‑ISS)의 존재조건을 정확히 기술한다. 기존의 Euclidean 거리 기반 정의와 달리 일반 메트릭을 허용함으로써 시스템 모델링의 자유도를 높이고, 좌표 변환에 따른 안정성 보존을 보장한다.

상세 분석

논문은 먼저 제어 시스템 Σ=(ℝⁿ,U,𝒰,f)의 기본 설정을 정리하고, 메트릭 d와 KL, K∞ 함수들의 표준 정의를 재확인한다. 핵심은 증분 전역 점근 안정성(δ∃‑GAS)과 증분 입력‑상태 안정성(δ∃‑ISS)을 기존의 Euclidean 거리 의존 정의에서 일반 메트릭 d를 이용한 정의로 확장한 점이다. 이때 d는 좌표 변환에 따라 변하지 않는 ‘좌표 불변’ 특성을 갖는다.

정의 1.5에서 제시된 δ∃‑GAS Lyapunov 함수 V:ℝⁿ×ℝⁿ→ℝ₊는 (i) V가 메트릭 d와 K∞ 함수 α₁,α₂ 사이에 양쪽 경계가 존재하고, (ii) V의 두 변수에 대한 Lie 미분이 −κV 로 억제되는 조건을 만족한다. δ∃‑ISS Lyapunov 함수는 (ii)에 추가로 입력 차이 ‖u−u′‖∞ 를 K∞ 함수 σ 로 결합한 항을 포함한다. 이러한 정의는 메트릭 d가 임의이므로, 좌표 변환 T:ℝⁿ→ℝⁿ (예: 비선형 변환) 후에도 V∘(T,T) 가 동일한 형태를 유지한다는 점에서 ‘좌표 불변’이라고 부른다.

정리 1.8은 집합 A에 대한 균일 전역 점근 안정성(U∃‑GAS)와 그에 대응하는 Lyapunov 함수 존재성을 동등하게 만든다. 증명에서는 점-집합 거리 φ(x)=d(x,A)의 연속성을 이용해, 기존의 Lyapunov 이론을 집합 기반 안정성으로 확장한다.

Lemma 1.9와 정리 1.10은 δ∃‑GAS와 δ∃‑ISS를 각각 ‘대각선 집합 Δ’에 대한 U∃‑GAS 문제로 변환한다. 구체적으로, 원 시스템 Σ를 2n 차원 시스템 bΣ로 확장하고, 새로운 메트릭 bd(x₁,x₂)=d(x₁,x₂)+d(x₂,x₁) 를 정의함으로써 두 궤적 사이의 거리와 Δ와의 거리 사이에 일대일 대응을 만든다. 이를 통해 기존의 증분 안정성 조건을 표준 UGAS 프레임워크에 끼워 넣을 수 있다.

정리 1.12는 δ∃‑ISS와 그에 대응하는 Lyapunov 함수 존재성을 동등하게 만든다. 여기서는 입력 집합 U가 유계·볼록인 경우, ‘포화(sat)’ 연산을 이용해 입력을 강제적으로 U 안으로 매핑하고, ρ(r) 라는 K∞ 함수를 통해 입력 차이를 상태 거리와 연결한다. 이 과정에서 시스템 bΣ는 입력을 두 개의 보조 입력 ω₁,ω₂ 로 분리하고, 이를 통해 최대값 형태의 ISS 추정식 (1.18)을 만족하도록 설계한다.

전체적으로 논문은 기존 증분 Lyapunov 이론의 한계를 메트릭 일반화와 좌표 불변성을 통해 극복하고, 증분 안정성의 존재조건을 Lyapunov 함수와 직접 연결함으로써 설계자에게 실용적인 검증 도구를 제공한다. 특히, 메트릭 선택의 자유도가 늘어나면서 비선형 변환, 비유클리드 공간, 혹은 상태 변환이 복잡한 로봇·네트워크 시스템에도 바로 적용 가능하다.