불확실 선형 양성 시스템의 강인 안정성 및 제어 적분 선형 제약을 이용한 L1 L∞ 이득 분석

초록

본 논문은 양성(positive) 선형 시스템에 대해 코포시티브 선형 Lyapunov 함수와 소산성 이론을 결합하여, L1·L∞ 이득을 기반으로 한 강인 안정성 및 제어 설계를 제시한다. 적분 선형 제약(ILC)을 활용해 다양한 불확실성을 모델링하고, Handelman 정리를 이용해 무한 차원의 조건을 유한 차원의 선형 프로그램으로 변환한다. 실험 예제를 통해 제안 방법의 효율성을 검증한다.

상세 분석

이 논문은 양성 시스템이라는 특수한 클래스에 초점을 맞추어, 기존의 일반 선형 시스템에 적용되는 이차형 Lyapunov 함수 대신 코포시티브(linear copositive) Lyapunov 함수를 도입한다. 코포시티브 함수는 상태가 비음수 영역에 머무르는 양성 시스템에 대해 자연스럽게 양의 정의를 보장하므로, 해석이 단순해지고 계산 복잡도가 크게 감소한다. 논문은 또한 dissipativity theory를 활용해 시스템의 입력‑출력 관계를 선형 공급‑수요(linear supply‑rate) 형태로 표현한다. 여기서 공급‑수요는 L1‑gain 혹은 L∞‑gain과 직접 연결되며, 이는 시스템의 에너지 흐름을 정량화하는 데 유용하다.

강인성 분석 단계에서는 Integral Linear Constraints(ILC)를 도입한다. ILC는 불확실성을 시간 영역에서 적분 형태의 선형 부등식으로 묘사함으로써, 파라미터 변동, 구조적 불확실성, 그리고 비선형 부하까지 포괄적으로 다룰 수 있다. 특히, ILC는 기존의 IQC(Integral Quadratic Constraints)와 달리 선형 형태이기 때문에 양성 시스템의 특성과 자연스럽게 결합된다. 논문은 여러 종류의 불확실성—예를 들어, 구간 파라미터, 폴리토프 구조, 그리고 확률적 변동—에 대해 ILC를 구체화하고, 각각에 대한 충분조건을 제시한다.

핸델만 정리(Handelman’s theorem)를 이용해, 무한 차원의 다항식 부등식(ILC 조건)을 유한 개의 비음수 계수와 다항식의 곱 형태로 전개한다. 이렇게 변환된 조건은 선형 프로그램(LP) 형태로 정리될 수 있으며, 기존의 LMI 기반 방법보다 계산 효율성이 높다. 또한, 강인 안정성 검증과 동시에 최적의 L1·L∞ 이득을 최소화하거나, 제어 입력의 크기를 제한하는 성능 최적화 문제도 동일한 LP 프레임워크 안에서 해결 가능하다.

제어 설계 부분에서는 상태 피드백을 통해 시스템을 강인하게 안정화시키는 방법을 제시한다. 설계 변수는 피드백 행렬과 함께 코포시티브 Lyapunov 함수의 계수이며, 이들 역시 LP 제약식에 포함된다. 따라서 설계 과정은 전역 최적해를 보장하는 선형 최적화 문제로 귀결된다. 실험 섹션에서는 2차 및 3차 시스템, 그리고 네트워크 형태의 양성 시스템에 대해 제안된 방법을 적용하고, 기존 LMI 기반 방법과 비교해 계산 시간과 보수성 측면에서 우수함을 입증한다.

요약하면, 논문은 양성 시스템 특유의 구조를 활용해 코포시티브 Lyapunov 함수와 선형 공급‑수요, ILC, 그리고 Handelman 기반 LP 변환이라는 네 가지 핵심 요소를 결합함으로써, 강인 안정성 및 제어 설계 문제를 효율적이고 확장 가능하게 해결한다.