[논문 리뷰] On Separating Points for Ensemble Controllability

Jr-Shin Li, Wei Zhang외 1명|arXiv (Cornell University)|2019. 08. 14.

Nonlinear Dynamics and Pattern Formation참고 문헌 39인용 수 4

한 줄 요약

이 논문은 분리점과 다항식 근사 이론을 활용하여 시간 불변 선형 시스템의 앙상블 제어 가능성을 분석하기 위한 통합 프레임워크를 제안한다. 앙상블 제어 가능성 행렬(Ensemble Controllability Gramian)—표준 제어 가능성 행렬의 일반화된 형태—를 도입하여, 매개변수 재정의 하에 개별 시스템의 제어 가능성 평가를 통해 제어 가능성에 대한 필요 및 충분 조건을 도출한다. 이는 무한차원 제어 문제에 대한 유한차원 접근법을 가능하게 한다.

ABSTRACT

Recent years have witnessed a wave of research activities in systems science toward the study of population systems. The driving force behind this shift was geared by numerous emerging and ever-changing technologies in life and physical sciences and engineering, from neuroscience, biology, and quantum physics to robotics, where many control-enabled applications involve manipulating a large ensemble of structurally identical dynamic units, or agents. Analyzing fundamental properties of ensemble control systems in turn plays a foundational and critical role in enabling and, further, advancing these applications, and the analysis is largely beyond the capability of classical control techniques. In this paper, we consider an ensemble of time-invariant linear systems evolving on an infinite-dimensional space of continuous functions. We exploit the notion of separating points and techniques of polynomial approximation to develop necessary and sufficient ensemble controllability conditions. In particular, we introduce an extended notion of controllability matrix, called Ensemble Controllability Gramian. This means enables the characterization of ensemble controllability through evaluating controllability of each individual system in the ensemble. As a result, the work provides a unified framework with a systematic procedure for analyzing control systems defined on an infinite-dimensional space by a finite-dimensional approach.

연구 동기 및 목표

• 시간 불변 선형 시스템에서 앙상블 제어 가능성의 투명하고 통합된 특성화가 부족한 문제를 해결하기 위해.
• 고전적 제어 이론과 무한차원 앙상블 시스템을 연결하기 위해 대수기하학적 도구를 도입하기 위해.
• 분리점과 다항식 근사 이론을 체계적으로 활용하여 앙상블 제어 가능성에 대한 검증 가능한 필요 및 충분 조건을 개발하기 위해.
• 매개변수 재정의 기반 접근법을 통해 무한차원 제어 시스템의 유한차원 분석을 가능하게 하기 위해.
• 전체 앙상블에 걸쳐 제어 가능성 평가에 체계적인 도구로 사용할 수 있는 앙상블 제어 가능성 행렬을 도입하기 위해.

제안 방법

• 다항식 근사 이론에서 유래한 분리점의 개념을 활용하여 앙상블 제어 가능성 분석을 수행한다.
• 스톤-바이어스트라스 정리를 적용하여 함수 공간 내 조밀한 부분대수를 특성화함으로써 연속 함수의 근사 가능성을 보장한다.
• 매개변수화된 시스템 가중치의 제어 가능성 특성화를 위해 표준 제어 가능성 행렬의 일반화된 형태인 앙상블 제어 가능성 행렬을 도입한다.
• 다중차원 앙상블 시스템을 동등한 일차원 시스템으로 매핑하기 위해 매개변수 재정의 기법을 활용하여 분석을 단순화한다.
• 리 대수 기법과 함수해석학을 활용하여 제어 가능성에 영향을 미치는 스펙트럼 및 구조적 효과를 연구한다.
• 다양한 매개변수를 가진 2차원 앙상블을 일차원 앙상블 시스템으로 변환하는 매개변수화 맵 ψ를 구축한다.

실험 결과

연구 질문

• RQ1 콤���트 집합 위에 인덱싱된 시간 불변 선형 시스템의 가중치에 대해 앙상블 제어 가능성을 보장하는 조건은 무엇인가?
• RQ2 분리점 개념을 어떻게 체계적으로 적용하여 앙상블 제어 가능성에 대한 필요 및 충분 조건을 유도할 수 있는가?
• RQ3 드리프트 행렬의 스펙트럼 구조는 앙상블의 제어 가능성에 어떤 영향을 미치는가?
• RQ4 무한차원 앙상블 시스템을 유한차원 도구를 통해 어떻게 분석할 수 있는가?
• RQ5 매개변수 재정의는 다중매개변수 앙상블 시스템 분석을 어떻게 단순화하는가?

주요 결과

• 논문은 분리점과 다항식 근사 이론을 활용하여 앙상블 제어 가능성에 대한 필요 및 충분 조건을 수립하여 통합된 대수기하학적 프레임워크를 제공한다.
• 앙상블 제어 가능성 행렬은 매개변수 재정의 하에 각 개별 시스템의 제어 가능성 평가를 통해 앙상블 제어 가능성의 특성을 규명하는 데 기여한다.
• 이 프레임워크는 앙상블 제어 가능성의 핵심이 드리프트 동역학의 기능적 구조와 스펙트럼 성질에 달려 있음을 드러낸다.
• 다중차원 앙상블 시스템을 동등한 일차원 시스템으로 매핑하는 매개변수 재정의 방법을 개발하여 제어 가능성 성질을 유지한다.
• 스톤-바이어스트라스 정리를 새로운 방식으로 적용하여, 점을 분리하는 부분대수는 콤팩트 또는 국소 콤팩트 공간에서 연속 함수를 균일하게 근사할 수 있음을 보였다.
• 매개변수화 ψ와 관련된 맵 φ의 구축을 통해 변환된 시스템의 동역학이 원래 앙상블 시스템과 일치하면서도, 동시에 유한차원 분석이 가능함을 보장한다.