임펄시브 스위치 시스템의 ISS를 위한 Lyapunov 특성화

초록

본 논문은 모드별 평균 체류시간(MD‑ADT)과 평균 이탈시간(MD‑ALT) 조건을 만족하는 임펄시브 스위치 시스템에 대해, 시간‑가변 ISS‑Lyapunov 함수 두 종류(비감소형·감소형)의 존재가 입력‑상태 안정성(ISS)의 필요충분 조건임을 증명한다. 또한 비감소형 함수를 이용해 감소형 함수를 구성하는 방법을 제시하고, 스위칭 신호가 알려지지 않은 경우에도 선형 시스템에 대한 LMI 기반 충분조건을 제공한다.

상세 분석

이 연구는 기존 문헌이 제시한 충분조건만을 다루던 한계를 넘어, 임펄시브와 스위칭이 결합된 하이브리드 시스템의 ISS를 완전하게 규정한다는 점에서 학술적 의의가 크다. 핵심 아이디어는 ‘모드’를 흐름과 그 뒤따르는 점프를 하나의 단위로 정의하고, 안정 흐름을 갖는 모드와 불안정 흐름을 갖는 모드를 각각 S와 U 집합으로 구분한다. 이후 S에 대해서는 평균 체류시간(MD‑ADT) 제한을, U에 대해서는 평균 이탈시간(MD‑ALT) 제한을 부과함으로써, 두 종류의 모드가 동시에 존재하더라도 전체 시스템이 ISS를 유지할 수 있는 충분한 시간‑분포 조건을 도출한다.

Lyapunov 접근법에서는 시간‑가변 ISS‑Lyapunov 함수 Vσ(t,x)를 도입한다. 비감소형 함수는 흐름 구간에서 V가 감소하지 않을 수도 있지만, 일정 수준 이상에서는 φσ(t)(V) 형태의 상한 미분 불평등을 만족한다. 점프 순간에는 ψσ(t) 배수로 V가 확대될 수 있으나, 입력에 대한 함수 χ와 결합해 전체적인 ISS 특성을 보장한다. 반면 감소형 함수는 흐름 구간에서 V의 Dini 미분이 항상 음의 함수 φσ(t)(V) 이하이며, 점프 구간에서도 V가 감소하거나 일정 수준 이하로 제한된다. 논문은 비감소형 함수의 존재가 충분조건, 감소형 함수의 존재가 필요조건임을 각각 정리하고, 두 조건이 동시에 충족될 때 ISS가 성립한다는 ‘역 Lyapunov 정리’를 제시한다.

특히 저자들은 비감소형 함수를 이용해 감소형 함수를 구성하는 구체적 절차를 제시한다. 이는 φp가 양수인 U‑모드와 음수인 S‑모드의 부호 차이를 보정하기 위해 적절한 가중 함수와 적분 변환 Φp, Φ, Φ를 활용한다. 이렇게 변환된 함수는 원래 Vσ의 레벨 집합을 보존하면서도 흐름 구간에서의 감소성을 확보한다는 점에서 실용적이다.

선형 시스템에 대해서는 후보 Lyapunov 함수를 2차 형태(Quadratic)로 가정하고, 시간‑독립적인 흐름·점프 매핑을 전제로 LMI(Linear Matrix Inequality) 조건을 도출한다. 이 LMI는 스위칭 신호가 미지일 경우에도 보수적인 안정성을 제공하도록 설계되었으며, 기존 연구에서 요구하던 동일한 체류시간 제약보다 완화된 MD‑ADT/MD‑ALT 조건을 만족하면 자동으로 ISS가 보장된다.

결과적으로 이 논문은 (1) 비감소형·감소형 두 종류의 시간‑가변 ISS‑Lyapunov 함수가 ISS의 필요충분 조건임을 증명, (2) 비감소형 함수로부터 감소형 함수를 체계적으로 구성하는 방법을 제공, (3) 스위칭 신호가 알려지지 않은 경우에도 선형 시스템에 대한 실용적인 LMI 기반 설계법을 제시함으로써, 임펄시브 스위치 시스템의 안정성 분석 및 제어 설계에 새로운 도구와 이론적 토대를 제공한다.