[논문 리뷰] Constrained Polynomial Zonotopes

Niklas Kochdumper, Matthias Althoff|arXiv (Cornell University)|2020. 05. 18.

Advanced Combinatorial Mathematics인용 수 8

한 줄 요약

이 논문은 선형 변환, 민코夫스키 합, 교차, 합집합, 고차원 변환을 포함한 광범위한 집합 연산에 대해 닫혀 있고 다항식 시간 복잡도를 유지하는 비볼록 집합 표현인 제약 다항식 조노토프(CPZ)를 소개한다. 주요 기여는 조노토프, 다각체, 타일러 모델, 타원체를 일반화하는 통합된 표현 방식을 제공함으로써 제어 및 검증 응용 분야에서 효율적이고 정확한 집합 기반 계산을 가능하게 한다.

ABSTRACT

We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, union, and quadratic as well as higher-order maps. We show that the computational complexity of the above-mentioned set operations for constrained polynomial zonotopes is at most polynomial in the representation size. The fact that constrained polynomial zonotopes are generalizations of zonotopes, polytopes, polynomial zonotopes, Taylor models, and ellipsoids, further substantiates the relevance of this new set representation. The conversion from other set representations to constrained polynomial zonotopes is at most polynomial with respect to the dimension.

연구 동기 및 목표

• 제어 및 검증 분야에서 기본 집합 연산을 정확하고 효율적으로 계산할 수 있는 비볼록 집합 표현을 개발하기 위해.
• 조노토프, 다각체, 타일러 모델, 타원체와 같은 기존의 집합 표현 방식을 단일 프레임워크로 통합하기 위해.
• 모든 연산, 특히 2차 이상의 변환까지도 표현 크기와 다항식 시간 내에 닫혀 있고 계산 가능한지 보장하기 위해.
• 다른 표현 방식(예: 조노토프, 다각체)에서 CPZ로의 효율적 변환을 다항식 복잡도로 보장하기 위해.
• 실제 고차원 집합 기반 계산에 활용 가능하도록 표현 크기 축소 및 외부 근사 기법을 제공하기 위해.

제안 방법

• CPZ를 압축된 매개변수 형태로 표현: ⟨c, G, E, A, b, R⟩_CPZ, 여기서 c는 중심이며, G와 E는 다항식 항을 정의하고, A와 R은 제약 조건을 정의하며, b는 제약 벡터이다.
• 변수 치환과 이항 전개를 사용하여 유한 범위 [l,u]를 갖는 변수 αᵣ를 보조 변수 α̂ᵣ ∈ [−1,1]로 변환함으로써 제약된 범위를 정확히 표현한다.
• 변환된 생성자와 제약 행렬을 사용하여 특정 변수의 범위 내에 존재하도록 하기 위해 부분집합 연산을 적용함으로써 구조를 유지한다.
• 스케일된 단항식 (v₁(1 + v₂α̂ᵣ))ⁿ의 이항 계수 전개를 통해 새로운 생성자 행렬 Ĝᵢ와 제약 행렬 Âᵢ를 유도한다.
• 대부분의 연산 후 표현 크기를 줄이고 표준 형식을 유지하기 위해 compactGen 및 compactCon 연산을 사용한다.
• subset 및 compact 연산을 활용하여 다른 표현 방식(예: 조노토프, 다각체)에서 CPZ로의 변환을 다항식 시간 내에 수행할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 선형 변환, 민코프스키 합, 교차, 합집합, 고차원 변환에 대해 닫혀 있는 비볼록 집합 표현을 설계할 수 있는가?
• RQ2 이러한 표현에서 모든 기본 집합 연산에 대해 다항식 시간 복잡도를 유지할 수 있는가?
• RQ3 조노토프, 다각체, 타일러 모델, 타원체와 같은 기존의 집합 유형을 일반화할 수 있는가?
• RQ4 정확성과 연산 닫힘성을 유지하면서 표현 크기를 최소화할 수 있는가?
• RQ5 기존 표현 방식에서 이 새로운 형태로의 효율적 변환을 다항식 복잡도로 달성할 수 있는가?

주요 결과

• 제약 다항식 조노토프는 선형 변환, 민코프스키 합, 카르테시안 곱, 볼록 hull, 교차, 합집합, 2차 이상의 변환에 대해 닫혀 있다.
• CPZ에서의 모든 집합 연산은 표현 크기와 다항식 시간 내에 계산 가능하여 확장 가능한 계산이 가능하다.
• 이 표현은 조노토프, 다각체, 다항식 조노토프, 타일러 모델, 타원체를 일반화하여 여러 집합 유형을 통합한다.
• 다른 표현(예: 조노토프, 다각체)에서 CPZ로의 변환은 차원에 대해 다항식 시간 내에 수행 가능하다.
• 실제 고차원 문제에 활용 가능한 효율적인 크기 축소 및 외부 근사 기법이 제공된다.
• subset 연산을 통해 CPZ 내의 유한 범위를 갖는 변수를 정확하게 변환할 수 있으며, 이항 전개 및 행렬 재매개변수화를 통해 구조를 유지한다.