불안정 모드가 포함된 스위치·하이브리드 시스템의 유한시간 안정성

본 논문은 “불안정 모드가 포함된 스위치·하이브리드 시스템의 유한시간 안정성(Finite‑Time Stability, FTS)”이라는 주제로, 기존 연구가 요구하던 Lyapunov 함수의 비증가 조건을 완화하고, 다중 Lyapunov 함수를 활용해 보다 일반적인 시스템에 적용 가능한 충분조건을 제시한다. 1. **서론 및 배경** - 하이브리드 시스템은 연속적인 동역학과 이산적인 점프를 동시에 포함하는 복합 시스템으로, 복잡한 물리·공학 현상을 모델링하는 데 유용하다. - 스위치 시스템은 하이브리드 시스템의 한 형태로, 여러 서브시스템 사이를 전환함으로써 원하는 성능을 달성한다. - 기존 문헌에서는 공통 Lyapunov 함수 혹은 다중 Lyapunov 함수를 이용해 **점근적 안정성**을 다루었으며, 유한시간 안정성에 대해서는 주로 **공통 Lyapunov 함수**에 의존하거나, 각 모드가 동질적(동차)·엄격 피드백 형태를 가져야 한다는 제한이 있었다. 2. **문제 정의 및 모델링** - 시스템은 \(\dot x = f_{\sigma_f}(t,x)\) (연속 흐름)와 \(x^+ = g_{\sigma_g}(t,x)\) (이산 점프) 로 구성된 하이브리드 모델 \(\mathcal H=\{F,G,C,D\}\) 로 표현한다. - 연속 흐름은 \(N_f\)개의 모드, 이산 점프는 \(N_g\)개의 모드가 존재하며, 스위칭 신호 \(\sigma_f,\sigma_g\)는 상태·시간에 의존하는 piece‑wise constant 함수이다. - 모든 모드에 대해 원점이 유일한 평형점이며, 불안정 모드가 존재할 수 있다. 3. **주요 가정 및 정의** - 각 연속 모드 \(i\)에 대해 양정 definite Lyapunov 함수 \(V_i\)를 정의하고, 다음 두 종류의 조건을 부여한다. * **FTS 모드**: \(\dot V_i \le -c_i V_i^{\alpha_i}\) ( \(0<\alpha_i<1\) ) 를 만족, 즉 자체적으로 유한시간 수렴을 보장. * **비‑FTS(불안정) 모드**: \(\dot V_i \le \gamma_i\) 혹은 점프 시 \(V_i^+ - V_i \le \delta_i\) 와 같이 증가율이 상한 \(\gamma_i,\delta_i\) 로 제한된다. - Lyapunov 함수가 연속 흐름·점프 모두에서 증가할 수 있음을 허용하되, 그 증가량이 유계임을 명시한다. 4. **핵심 정리와 증명** - **Theorem 2**: 위 가정 하에 (i) 시스템이 **uniformly stable** (임의 스위칭에 대해 Lyapunov 안정성을 유지)하고, (ii) 적어도 하나의 FTS 모드가 총 활성 시간 \(\tau_{\text{FTS}}\) 이상을 확보하면, 전체 하이브리드 시스템의 원점은 유한시간 안에 수렴한다. - 증명은 각 구간별 Lyapunov 함수의 변화를 적분하고, FTS 모드에서 발생하는 강한 감소 효과가 비‑FTS 모드에서 발생하는 제한된 증가 효과를 압도함을 수학적으로 보여준다. - **Corollary 1**은 정리를 보다 직관적인 형태로 재표현한다. 즉, “uniform stability + 충분히 긴 FTS 모드 활성 시간”이라는 조건만 만족하면 FTS가 보장된다는 실용적 가이드라인을 제공한다. 5. **스위치 시스템에 대한 특수화** - 연속 흐름만을 고려한 전형적인 스위치 시스템에 대해, 각 모드별 Lyapunov 함수 \(V_i\)와 매개변수 \((c_i,\alpha_i,\gamma_i)\)를 정의한다. - **Finite‑time stabilizing switching signal synthesis** 절차를 제시한다. 이 절차는 (1) 목표 수렴 시간 \(T^*\) 설정, (2) 각 모드의 감소/증가 파라미터 계산, (3) FTS 모드의 최소 활성 시간 \(\tau_{\min}\) 도출, (4) 스위칭 스케줄을 설계해 \(\tau_{\min}\)을 만족하도록 한다. - Dwell‑time 개념을 일반화하여, 불안정 모드의 총 활성 시간이 일정 한계 이하로 유지되면 전체 시스템이 FTS를 유지한다는 결과를 얻는다. 6. **출력 피드백 설계 사례** - 하나의 모드만이 제어 가능하고 관측 가능한 경우를 가정한다. 해당 모드에 대해 기존 유한시간 제어법(예: homogeneous controller) 을 적용하고, 나머지 모드에서는 피드백을 차단한다. - 스위칭 신호는 위에서 설계한 알고리즘에 따라, 제어 가능한 모드가 충분히 오래 활성되도록 구성한다. - 시뮬레이션에서는 3개의 모드 중 하나만이 제어 가능함에도 불구하고, 전체 시스템이 0.8 초 이내에 원점으로 수렴함을 확인한다. 7. **시뮬레이션 및 결과** - 제안된 방법을 적용한 스위치·하이브리드 시스템에 대해 수치 실험을 수행하였다. - 결과는 (i) Lyapunov 함수가 일부 구간에서 증가함에도 불구하고 전체적인 감소가 이루어져 유한시간 수렴이 달성, (ii) 스위칭 스케줄이 설계된 대로 작동하여 FTS 모드가 충분히 활성, (iii) 출력 피드백 제어가 불안정 모드가 존재하는 상황에서도 목표 성능을 만족함을 보여준다. 8. **결론 및 향후 연구** - 본 논문은 다중 Lyapunov 함수 기반으로 불안정 모드가 포함된 하이브리드·스위치 시스템에서도 유한시간 안정성을 보장하는 새로운 충분조건을 제시함으로써, 기존 연구보다 보수성을 크게 낮추었다. - 제시된 조건은 충분조건이므로, 필요조건을 찾는 연구와, 비선형·시간변화·불확실성(예: 파라미터 변동, 외란) 등을 포함한 보다 일반적인 시스템에 대한 확장이 앞으로의 과제로 남는다.