[논문 리뷰] Synthesis of Optimal Ensemble Controls for Linear Systems using the Singular Value Decomposition

Anatoly Zlotnik, Jr-Shin Li|arXiv (Cornell University)|2011. 09. 25.

Lanthanide and Transition Metal Complexes참고 문헌 21인용 수 4

한 줄 요약

이 논문은 유한차원 시간에 따라 변화하는 선형 시스템에 대해 최소 노름 집합 제어를 합성하기 위해 특이값 분해(SVD)를 사용하는 새로운 수치적으로 안정된 알고리즘을 제시한다. 시스템의 적분 연산자의 SVD를 활용하고 부차적인 특이값을 잘라내어, 복잡하고 고차원적이며 매개변수 변화가 있는 시스템에 대해 효율적으로 최적의 제어를 계산한다. 이로 인해 매개변수 산산이 흩어진 상태이거나 시간에 따라 변화하는 동역학을 가진 시스템에서도 정확한 상태 이행이 가능해진다.

ABSTRACT

An emerging and challenging area in mathematical control theory called Ensemble Control encompasses a class of problems that involves the guidance of an uncountably infinite collection of structurally identical dynamical systems, which are indexed by a parameter set, by applying the same open-loop control. The subject originates from the study of complex spin dynamics in Nuclear Magnetic Resonance (NMR) spectroscopy and imaging (MRI). A fundamental question concerns ensemble controllability, which determines the existence of controls that transfer the system between desired initial and target states. For ensembles of finite-dimensional time-varying linear systems, the necessary and sufficient controllability conditions and analytical optimal control laws have been shown to depend on the singular system of the operator characterizing the system dynamics. Because analytical solutions are available only in the simplest cases, there is a need to develop numerical methods for synthesizing these controls. We introduce a direct, accurate, and computationally efficient algorithm based on the singular value decomposition (SVD) that approximates ensemble controls of minimum norm for such systems. This method enables the application of ensemble control to engineering problems involving complex, time-varying, and high-dimensional linear dynamic systems.

연구 동기 및 목표

• 초기 상태와 목표 상태 사이에 매개변수 변화가 있는 구조적으로 동일한 선형 시스템의 무산한 무한 집합을 제어하는 오픈 루프 제어를 설계하는 도전 과제를 해결한다.
• 간단한 시스템에서만 가능한 분석적 방법의 한계를 극복하기 위해 최적 제어 합성을 위한 직접적인 수치적 접근법을 개발한다.
• 고차원 및 시간에 따라 변화하는 시스템에서 최소 노름 집합 제어를 위한 안정적이고 정확하며 계산 효율적인 알고리즘을 제공한다.
• 매개변수 산산이 흩어지고 피드백이 없는 것이 핵심 제약 조건인 공 ing 및 MRI 등 공 ing 및 양자 시스템에서 집합 제어의 실용적 적용을 가능하게 한다.
• 시스템 매개변수에 따라 임의의 종단 상태 패턴을 만들 수 있도록 해, 특히 양자 시스템의 선택적 RF 펄스 설계를 가능하게 한다.

제안 방법

• 시스템 동역학에서 유도된 적분 연산자를 기반으로 하여 힐버트 공간 내의 연산자 방정식으로 집합 제어 문제를 수립한다.
• 적분 연산자(또는 그 행렬 근사인 W)의 특이값 분해(SVD)를 적용하여 제어 합성 문제를 정규 직교 모드로 분해한다.
• 가장 중요한 특이값과 해당 특이 벡터만 유지하여 SVD 전개를 잘라내어 수치적 안정성과 계산 효율성을 확보한다.
• 주요 특이 함수들의 가중 합으로 최소 노름 제어를 구성함으로써 반복 최적화 없이 역 문제를 효과적으로 해결한다.
• SVD 기반 해를 직접 제어 법칙으로 사용하여 추가적인 비선형 프로그래밍 또는 편포스펙트럴 최적화 단계가 필요 없도록 한다.
• 다양한 매개변수(예: r 및 c)를 가진 고차원 시스템에서의 시뮬레이션을 통해 방법의 타당성을 검증하였으며, 매개변수 산산이 흩어진 상태이거나 시간에 따라 변화하는 동역학에서도 강건함을 입증하였다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 선형 시스템에서 최소 노름 집합 제어를 합성하기 위한 직접적이고 안정적이며 계산 효율적인 수치적 방법을 개발할 수 있는가?
• RQ2 고차원 시스템에서 정확도, 안정성, 계산 비용 측면에서 SVD 기반 접근법이 편포스펙트럴 또는 최적화 기반 방법과 비교해 어떻게 성능을 내는가?
• RQ3 주파수나 결합 항에서의 큰 매개변수 변화가 있는 시스템에서 SVD 방법이 제어 정확도를 유지할 수 있는 정도는 어느 정도인가?
• RQ4 이 SVD 기반 제어 합성 방법을 사용하여 복잡한 패턴(예: 별 모양에서 낙엽 모양으로의 전이)을 포함한 임의의 상태 이행을 달성할 수 있는가?
• RQ5 이 방법을 비선형 또는 이차형 시스템, 특히 블로흐 방정식으로 모델링되는 양자 동역학을 다루는 데로 확장할 수 있는가?

주요 결과

• SVD 기반 방법은 반복 최적화가 필요 없이 정확하고 안정적인 제어 합성을 달성하여, 편포스펙트럴 또는 비선형 프로그래밍 접근법보다 계산 비용을 크게 감소시킨다.
• 이 방법은 두 매개변수(r 및 c)를 가진 4차원 시간에 따라 변화하는 선형 시스템에서 무작위 초깃값에서 무작위 목표값으로의 상태 이행을 성공적으로 수행하였으며, 매개변수 산산이 흩어진 상태에서도 강건함을 입증하였다.
• 이 알고리즘은 한 매개변수(r)의 변화에 민감한 시스템을 효과적으로 처리하며, 다른 매개변수(c)의 변화에 대해서도 잘 보상하여 혼합 민감도 조건에서도 뛰어난 성능을 보였다.
• 시뮬레이션 결과, 이 방법은 시간 간격 선택과 시간 영역 길이에 민감하며, 더 긴 시간 영역에서는 조건 수가 증가함을 보여주었으며, 이는 매개변수 튜닝의 중요성을 강조한다.
• 이 방법은 시스템 매개변수에 따라 임의의 종단 상태 패턴을 생성할 수 있도록 해주며, 예를 들어 별에서 단풍나무 잎으로의 전이와 같은 NMR 펄스 설계에 관련된 패턴에 유용하다.
• 이 방법은 양자 조화 진동자에 직접 적용 가능하며, 이차형 시스템으로 확장 가능하여 향후 비선형 집합 제어에서의 빠른 반복적 방법의 기초가 된다.