[논문 리뷰] The Maximal Positively Invariant Set: Polynomial Setting

Saša V. Raković, Mario E. Villanueva|arXiv (Cornell University)|2017. 12. 04.

Advanced Control Systems Optimization참고 문헌 11인용 수 4

한 줄 요약

이 논문은 다항식 이산 시간 동역학과 기본(semi)대수적 제약 조건 하에서 최대 양의 불변 집합(MPOS)이 온건한 조건 하에 다시 기본(semi)대수적 집합임을 입증한다. 다항식 최적화를 활용한 반복적으로 전이(preimage)를 계산하는 유한 수렴 알고리즘을 제안하며, 기본(semi)대수적 집합이 전이 연산과 합합에 대해 닫혀 있고, 합의 제곱(SOS) 기법을 통해 계산을 수행한다.

ABSTRACT

This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating that the related preimage map preserves basic semialgebraic structure. In fact, this property propagates to underlying set--dynamics induced by the associated restricted preimage map in general and to its maximal trajectory in particular. The finite time convergence of the corresponding maximal trajectory to the maximal positively invariant set is verified under reasonably mild conditions. The analysis is complemented with a discussion of computational aspects and a prototype implementation based on existing toolboxes for polynomial optimization.

연구 동기 및 목표

• 기본(semi)대수적 제약 조건이 있는 다항식 동역학에 대해 최대 양의 불변 집합(MPOS)이 자체적으로 기본(semi)대수적 집합인지 여부를 규명하는 것.
• 온건한 정규성 조건 하에서 전이 기반 궤도가 MPOS로 유한 시간 내에 수렴하는지 확립하는 것.
• 기존의 다항식 최적화 도구를 활용한 MPOS 계산이 가능한 알고리즘을 개발하는 것.
• 다양한 제약 조건 집합을 가진 프로토타입 구현과 수치 예제를 통해 방법을 시연하는 것.

제안 방법

• 기본(semi)대수적 집합이 다항식 전이 및 교차 연산에 대해 닫혀 있음을 활용하여 반복 과정에서 구조가 유지됨을 보장한다.
• 원래 시스템의 제약된 전이 사상으로 정의된 집합-역동성(set-dynamics)을 통해 X₀, X₁, X₂, ..., X_k의 집합 수열을 생성한다.
• 수학적 귀납법을 적용하여 각 X_k가 기본(semi)대수적 집합임을 증명함으로써, 극한(MPOS)이 이 구조를 그대로 이어받음을 보장한다.
• 합의 제곱(SOS) 이완 기법과 서브세미정적계획(SDP)을 SOSTOOLS 및 GloptiPoly를 통해 다항식 최적화 하위문제를 해결하는 데 활용한다.
• 각 반복 단계에서 비결정적 제약 조건을 제거하기 위해 다항식 최적화를 활용한 선택적 중복 제거 단계를 구현한다.
• 반복적인 전이 계산을 사용: X_{k+1} = f^{-1}(X_k) ∩ X₀. 이는 콤팩트성과 정규성 조건 하에서 유한 시간 내에 MPOS로 수렴한다.

실험 결과

연구 질문

• RQ1 기본(semi)대수적 제약 조건이 있는 다항식 동역학에 대해 최대 양의 불변 집합이 기본(semi)대수적 집합인지 되는 조건은 무엇인가?
• RQ2 MPOS는 전이 연산과 다항식 최적화를 통해 유한한 수의 단계로 계산될 수 있는가?
• RQ3 온건한 가정 하에서 전이 기반 궤도가 MPOS로 유한 시간 내에 수렴하는가?
• RQ4 제약 조건의 중복 탐지 및 제거를 통해 계산 효율성을 어떻게 향상시킬 수 있는가?
• RQ5 합의 제곱 증명서는 고정점의 국소 안정성과 타당성을 검증하는 데 어떤 역할을 하는가?

주요 결과

• 기본(semi)대수적 제약 조건이 있는 다항식 동역학에 대해 최대 양의 불변 집합이 온건한 정규성 및 콤팩트성 조건 하에서 기본(semi)대수적 집합임을 증명하였다.
• 전이 기반 궤도가 유한 시간 내에 MPOS로 수렴하며, 귀납법과 구조적 닫힘 성질을 통해 수렴성이 검증되었다.
• 수치 예제에서 모든 테스트된 노름 기반 제약 조건 집합(1-노름, 2-노름, ∞-노름 볼)에 대해 알고리즘이 3회 반복 내에 종료됨을 확인하였다.
• MPOS는 최종 집합을 정의하는 다항식의 벡터로 명시적으로 계산되었으며, 프로토타입 구현은 SOSTOOLS 및 GloptiPoly를 사용하였다.
• 각 반복 단계에서 ℓ개의 다항식 최적화 문제를 해결함으로써 제약 조건의 중복 제거가 계산적으로 가능하며, 비볼록 케이스에서는 효과가 다를 수 있다.
• 이 방법은 구조적 및 계산적 보장을 통해 장기적인 제약 조건 이행을 보장함으로써 자율 및 사이버-물리 시스템의 안전 집합 계산을 가능하게 한다.