[논문 리뷰] Geometric properties of LMI regions

Olga Y. Kushel|arXiv (Cornell University)|2019. 10. 23.

Stability and Control of Uncertain Systems참고 문헌 56인용 수 4

한 줄 요약

이 논문은 복소 평면 내 선형 행렬 부등식(LMI) 영역에 대한 체계적인 기하학적 분석을 제공하며, 생성 함수의 행렬 성질과 영역의 위상적 및 볼록 기하학적 특성 간의 연결 고리를 설정한다. 이는 정의 행렬 L과 M의 스펙트럼 성질을 활용한 구성적 방법을 통해 LMI 영역 내에 원을 내접시키기 위한 명시적 조건을 도출하며, 주요 결과로는 회수 원뿔, 선성 공간, 영역 분해를 위한 표준형이 포함된다.

ABSTRACT

LMI (Linear Matrix Inequalities) regions is an important class of convex subsets of $\mathbb C$ arising in control theory. An LMI region $\mathfrak D$ is defined by its matrix-valued characteristic function $f_{\mathfrak D}(z) = {\mathbf L} + z{\mathbf M}+\bar{z}{\mathbf M}^T$ as follows: ${\mathfrak D} := \{z \in {\mathbb C}: f_{\mathfrak D}(z)\prec 0\}$. In this paper, we study LMI regions from the point of view of convex geometry, describing their boundaries, recession cones, lineality spaces and other characteristic in terms of the properties of matrices $\mathbf M$ and $\mathbf L$. Conversely, we study the link between the properties of matrices $\mathbf M$ and $\mathbf L$, e.g. normality, positive and negative definiteness, and the corresponding properties of an LMI region $\mathfrak D$. We provide the conditions, when an LMI region coincides with the intersection of elementary regions such as halfplanes, stripes, conic sectors and sides of hyperbolas. We also analyze the following problem, connected to pole placement: for a given LMI region $\mathfrak D$, defined by $f_{\mathfrak D}$, how to find a closed disk $D(x_0, r)$ centered at the real axis, such that $D(x_0, r) \subseteq {\mathfrak D}$?

연구 동기 및 목표

• L과 M의 행렬 특성과 복소 평면 내 LMI 영역의 기하학적 성질 간의 엄밀한 연결 고리를 확립하기 위해.
• 특히 극 배치 및 강건 안정성 분석를 위한 목적으로 주어진 LMI 영역 내 최대 내접 원을 찾는 문제를 해결하기 위해.
• 경계, 폐포, 회수 원뿔, 선성 공간과 같은 위상적 특성들을 행렬 이론적 도구를 통해 특성화하기 위해.
• 특정 행렬 조건 하에서 LMI 영역을 반평면, 스트립, 콘형 분야, 하이퍼볼라 등 기본 영역의 교차로 분해하기 위해.
• 포함 관계, 변환(이동, 반사), 회수 원뿔의 각도 추정에 대한 구성적 기준을 제공하기 위해.

제안 방법

• 논문은 대칭 및 반대칭 부분의 스펙트럼 분해를 활용한 행렬 분석을 통해 LMI 영역의 기하학을 특성화한다.
• 행렬 함수 L(x) = L + Sym(M)·2x의 콜레스키 분해를 적용하여 정규 영역의 양의 정의 영역을 분석하고, z의 허수부에 대한 경계를 유도한다.
• 영역을 실수 이동을 통해 원점에 중심을 맞추는 것으로, 변환된 체계 하에서 M의 반대칭 부분을 분석할 수 있도록 한다.
• 서로 가환하는 정규 행렬 L과 M에 대한 표준형을 활용하여 LMI 영역을 기본 다항 영역의 교차로 분해한다.
• 내접 원 반지름 r(D,x)의 유도는 변환된 반대칭 행렬 (B^T)^{-1} Skew(M) B^{-1}의 고유값을 계산하고, 이를 허수축 경계와 연결함으로써 이루어진다.
• 이론적 결과는 좌반평면, 단위 원, 안정성 포물선과 같은 구체적 예시를 통해 검증되며, r(D,x)에 대한 닫힌 형식 표현이 제공된다.

실험 결과

연구 질문

• RQ1 L과 M에 어떤 조건이 성립할 경우 LMI 영역이 반평면, 스트립, 또는 콘형 분야와 같은 기본 영역의 교차와 일치하는가?
• RQ2 주어진 LMI 영역 D 내에서 최대 내접 원 D(x₀,r)을 L과 M의 스펙트럼 성질만을 사용하여 어떻게 계산할 수 있는가?
• RQ3 LMI 영역의 정확한 기하학적 특성(예: 회수 원뿔, 선성 공간)은 무엇이며, L과 M의 구조에 의해 어떻게 결정되는가?
• RQ4 이동, 반사, 또는 압축과 같은 변환이 LMI 영역의 형태와 포함 관계에 어떤 영향을 미치는가?
• RQ5 주어진 LMI 영역 D 내에서 실수 점 x에 중심을 둔 최대 원의 반지름 r(D,x)에 대한 해석적 표현은 무엇인가?

주요 결과

• LMI 영역 D의 회수 원뿔은 Sym(M)의 영공간으로 특성화되며, D가 원뿔임과 동시에 Sym(M)이 양의 준정적이고 L이 음의 정적일 때에만 성립한다.
• LMI 영역이 유계임은 M의 대칭 부분이 양의 정적일 때에만 성립하며, 이는 영역이 어느 방향으로도 무한히 연장되지 않음을 보장한다.
• D의 실수 사영에 속하는 모든 x에 대해 최대 내접 원 반지름 r(D,x)는 안정성 포물선 영역의 경우 r(D,x) = |x|√(−ε²x)/√(x² − ε²x)로 주어지며, ε와 x에 명시적인 의존성을 가진다.
• M이 정규이고 L과 가환할 경우, LMI 영역 D는 반평면, 수평 스트립, 하이퍼볼릭 분야를 포함한 기본 영역의 교차로 분해된다.
• LMI 영역 D의 선성 공간이 자명함(즉, {0})임은 M의 대칭 부분이 양의 정적일 때에만 성립하며, 이는 원점을 통과하는 비자명한 선분이 D에 포함되지 않음을 의미한다.
• x₀ ∈ ℝ에 중심을 둔 최대 내접 원의 반지름은 변환된 반대칭 행렬 (B^T)^{-1} Skew(M) B^{-1}의 고유값에 의해 결정되며, 허수 고유값이 직접적으로 z의 허수부 상한을 제공한다.