LMI 특성 및 시스템·안정성·제어 이론에서의 응용

본 논문은 선형 행렬 부등식(LMI)의 이론적 기초부터 최신 응용까지를 포괄적으로 정리한 ‘LMI 백과사전’이다. 1장에서는 LMI의 기본 개념을 정의하고, 양정 행렬, 상대적 양정, 엄격·비엄격 부등식, LMI 연결(concatenation), 그리고 LMI가 형성하는 convex set의 특성을 설명한다. 또한 반정밀 프로그램(SDP)의 정의와 현재 사용 가능한 수치 해석 도구(솔버와 파서)를 소개한다. 2장에서는 비선형 행렬 부등식(BMI)을 LMI로 변환하는 다양한 트릭을 상세히 제시한다. 변수 치환과 동형 변환을 통해 비선형 항을 선형화하고, Schur 보완을 이용해 엄격·비엄격 형태의 LMI를 도출한다. 투영 보조정리와 그 변형(Reciprocal Projection Lemma)은 불필요한 변수들을 제거하면서 등가성을 유지하는 핵심 기법이며, Finsler 보조정리와 Petersen 보조정리 등은 제약조건을 행렬 형태로 재구성한다. Dilation 기법은 slack 변수를 도입해 차원을 확장함으로써 보수성을 낮춘 LMI를 얻으며, Young’s inequality와 완전제곱(Completion of Squares) 관계를 이용해 비선형 항을 효과적으로 선형화한다. 2.11 절에서는 이러한 변환을 실제 BMI 예제에 적용하는 과정을 단계별로 제시하여, 독자가 직접 변환 과정을 따라 할 수 있도록 돕는다. 3장에서는 LMI와 직접 연관된 수학적 도구들을 정리한다. S‑Procedure는 불확실성 모델링에 필수적이며, Dualization Lemma은 원문제와 대문제 사이의 관계를 명확히 한다. 특잇값, 고유값, 조건수, 스펙트럼 반경 등 행렬 분석에 필요한 다양한 정량적 지표들을 LMI 형태로 표현하는 방법을 제시한다. 이러한 정리들은 시스템의 성능 한계(예: H∞ norm, peak‑to‑peak norm)와 직접 연결된다. 4장에서는 LMI가 시스템 이론에 어떻게 적용되는지를 폭넓게 다룬다. Lyapunov 안정성(연속·이산, descriptor 시스템 포함), Bounded Real Lemma, H₂/H∞ norm 계산, KYP 보조정리, 최소 이득(Minimum Gain) 및 부정적 허수(Negative Imaginary) 시스템 등 다양한 안정성·성능 기준을 LMI로 변환한다. 특히 D‑stability와 같은 복합 영역(원형, 타원형, 하이퍼볼릭 등) 내의 고유값 제약을 LMI로 기술하는 방법을 상세히 서술한다. 이는 다중 목표 최적화와 로버스트 설계에 필수적인 기법이다. 또한 µ‑분석, 시간 지연 시스템, 폴리토픽 불확실성 등 고급 주제도 LMI 기반 해석 방법을 제공한다. 5장과 6장은 각각 최적 제어와 최적 추정·필터링에 LMI를 적용한 사례를 다룬다. 일반화된 플랜트 모델을 기반으로 H₂, H∞, 그리고 혼합 H₂/H∞ 최적 제어 문제를 연속·이산 시간에서 풀 수 있는 LMI 형태로 전개한다. 상태 피드백, 동적 출력 피드백, 관측기 설계까지 포괄하며, 각 설계 목표에 맞는 LMI 조건을 명시한다. 6장에서는 H₂ 및 H∞ 최적 상태 추정기와 필터를 설계하는 방법을 제시하고, 혼합 목표를 다루는 경우에도 LMI 기반 접근법이 가능함을 보인다. 전체적으로 논문은 LMI의 이론적 배경, 변환 기법, 수학적 도구, 시스템·제어·추정 분야의 구체적 적용까지 일관된 구조로 정리하였다. 각 절마다 핵심 정리를 정리하고, 필요 시 예제와 등가 형태를 제공함으로써 독자가 자신의 문제에 가장 적합한 LMI 표현을 선택할 수 있도록 돕는다. 또한 최신 SDP 솔버와 파서에 대한 실용적인 안내를 포함하여, 이론을 바로 실무에 적용할 수 있는 가이드를 제공한다. 따라서 이 문서는 LMI를 처음 접하는 연구자뿐 아니라 고급 응용을 모색하는 전문가에게도 필수적인 레퍼런스로 활용될 수 있다.