예측 가능한 상한 수렴 시간으로 설계하는 고정시간 안정 시스템

본 논문은 고정시간 안정(Fixed‑time stability) 시스템을 설계할 때, 수렴 시간의 상한값(Upper Bound of the Settling Time, UBST)을 사전에 파라미터로 지정하고, 그 상한이 가능한 최소값이 되도록 하는 새로운 설계 방법론을 제시한다. 서론에서는 고정시간 안정의 중요성을 강조하며, 기존 연구가 Lyapunov 기반 부등식으로 UBST를 추정했지만 보수적 추정으로 실제 적용에 제약이 있음을 지적한다. 특히 비자율 시스템에서 시간‑가변 이득을 사용하면 Zeno 현상이나 무한대 이득 문제가 발생할 수 있음을 언급한다. 2절에서는 기본 정의와 기호를 정리한다. 시스템 모델은 \dot{x}=-(1/T_c)f(x,t) 형태이며, T_c>0가 설계 파라미터이다. 정착시간 함수 T(x₀,t₀)와 고정시간 안정 정의를 제시하고, UBST가 존재함을 보인다. 또한 시간‑스케일 변환의 수학적 배경을 도입하여, 정규화된 매개변수 변환 ϕ(t)와 그 역함수 ψ(τ)의 존재성을 Lemma 3.2, 3.3을 통해 증명한다. 여기서 ψ는 적분 형태 ψ(τ)=T_c∫₀^τ Υ( \tilde{x}(ξ), ψ(ξ) ) dξ 로 정의되며, Υ는 시스템 상태와 변환 시간에 대한 양의 함수이다. 3절 핵심 결과에서는 두 가지 경우를 다룬다. 첫 번째는 Ψ(x, t̂) 가 시간에만 의존하는 경우로, Assumption 3.4와 Lemma 3.5를 이용해 Φ:ℝ₊→ℝ₊\{0\} 라는 함수가 ∫₀^∞ Φ(z)dz=1을 만족하면 ψ(τ)=T_c∫₀^τ Φ(|\tilde{x}(ξ)|)H(|\tilde{x}(ξ)|)dξ 로 명시적으로 구해진다. 두 번째는 Φ가 비증가 혹은 국소 Lipschitz 연속인 경우로, Lemma 3.7을 통해 ψ(τ)=T_c∫₀^τ Φ(ξ)dξ 로 간단히 표현하고, Ψ(x, t̂)=Φ(ψ⁻¹(t̂)) 로 정의한다. 이러한 구조는 시스템 (4) \dot{x}=-(1/T_c)Ψ(x, t̂)H(x) 가 자율 혹은 비자율이든 동일한 형태의 Lyapunov 부등식 \dot{V}≤-(1/T_c)Ψ(V, t̂)·α(V) 를 만족하도록 만든다. 여기서 V는 Lyapunov 함수, α은 양의 정의 함수이다. 결과적으로 시스템은 T_c를 정확히 UBST로 갖는 고정시간 안정성을 보장한다. 또한 저자들은 “최소 UBST” 조건을 제시한다. Φ가 적분 1을 만족하고, ψ가 전단사이며, Ψ가 비증가(또는 Lipschitz)일 때, T_c는 모든 초기 조건에 대해 가능한 최소 상한값이 된다. 이를 통해 기존 방법에서 발생하던 과도 보수성을 제거한다. 4절에서는 구체적인 예시를 제공한다. 스칼라 시스템에서는 H(x)=|x|^p·sign(x) (p>0) 를 선택하고, Φ(z)= (p+1)z^p/(1+z^{p+1}) 형태로 정의해 ψ와 Ψ를 계산한다. 결과적으로 \dot{x}=-(1/T_c) (1+|x|^{p+1})^{-1}·sign(x) 로, 초기값에 관계없이 정확히 T_c 시간 내에 원점에 도달한다. 다변량 예시에서는 H(x)=‖x‖^p·x/‖x‖ 로 일반화하고, Φ를 ‖x‖에 대한 함수로 확장한다. 비자율 경우에는 시간‑가변 이득 k(t)=Φ(t̂) 를 삽입해, 시스템이 Zeno 현상 없이 지정된 시간에 수렴하도록 설계한다. 시뮬레이션 결과는 제안된 설계가 기존 방법보다 UBST가 크게 감소하고, 실제 수렴 시간과 거의 일치함을 보여준다. 마지막으로 논문은 기여를 정리한다. (1) UBST를 파라미터화한 일반적인 설계 프레임워크 제공, (2) 최소 UBST 조건을 명시적으로 제시, (3) 자율·비자율 시스템 모두에 적용 가능한 시간‑스케일 변환 기반 방법 제시, (4) 다양한 예시와 시뮬레이션을 통해 실용성을 검증. 이러한 결과는 실시간 제어, 네트워크 동기화, 분산 최적화 등 시간 제약이 엄격한 분야에서 고정시간 알고리즘을 설계하는 데 중요한 이론적·실용적 기반을 제공한다.