[논문 리뷰] Hardy-Schatten Norms of Systems, Output Energy Cumulants and Linear Quadro-Quartic Gaussian Control

Igor G. Vladimirov, Ian R. Petersen|arXiv (Cornell University)|2012. 08. 19.

Stochastic processes and financial applications참고 문헌 1인용 수 5

한 줄 요약

이 논문은 평균 및 출력 에너지 분산을 단위 시간당 최소화하는 데 초점을 맞춘 새로운 선형 2차-4차 가우시안(LQQG) 제어 프레임워크를 제안한다. 이는 폐루프 시스템의 ${\cal H}_2$ 및 ${\cal H}_4$-노름을 활용하여 구현된다. 최적의 제어기는 2차-4차 성능 지표의 프레셰 도함수를 통해 유도되며, 표준 LQG 제어기에서 시작하는 가상 시간 변수를 갖는 호모토피 방법을 통해 수치적으로 통합된 미분방정식(ODE)을 통해 계산된다.

ABSTRACT

This paper is concerned with linear stochastic control systems in state space. The integral of the squared norm of the system output over a bounded time interval is interpreted as energy. The cumulants of the output energy in the infinite-horizon limit are related to Schatten norms of the system in the Hardy space of transfer functions and the risk-sensitive performance index. We employ a novel performance criterion which seeks to minimize a combination of the average value and the variance of the output energy of the system per unit time. The resulting linear quadro-quartic Gaussian control problem involves the H2 and H4-norms of the closed-loop system. We obtain equations for the optimal controller and outline a homotopy method which reduces the solution of the problem to the numerical integration of a differential equation initialized by the standard linear quadratic Gaussian controller.

연구 동기 및 목표

• 선형 스토케스틱 시스템에서 출력 에너지의 평균과 분산을 동시에 최소화하는 성능 기준을 개발하기 위해.
• 하드리-샤텐 노름을 통해 고차수 모멘트를 포함시켜 리스크 민감 제어를 확장하고, 특히 ${\cal H}_4$-노름을 활용하기 위해.
• 출력 에너지의 2차 및 4차 통계량을 포괄하는 선형 2차-4차 가우시안(LQQG) 제어 문제를 수립하기 위해.
• 성능 지표에 대한 제어기 매개변수에 대한 프레셰 도함수를 이용해 최적성의 필요 조건을 도출하기 위해.
• 표준 LQG 제어기에서 출발하여 가상 시간 변수를 따라 진화하는 호모토피 방법을 제안하여 LQQG 제어기를 수치적으로 해석하기 위해.

제안 방법

• 성능 지표는 폐루프 시스템의 ${\cal H}_2$-노름(평균 출력 에너지)과 ${\cal H}_4$-노름(분산 관련 에너지 첨도)을 리스크 민감도 매개변수 $\theta$로 가중하여 조합한다.
• 최적의 제어기는 2차-4차 함수의 프레셰 도함수를 0으로 설정함으로써 도출되며, 이는 제어기 상태공간 행렬을 포함하는 대수적 라플라스 방정식과 대수적 방정식의 조합을 유도한다.
• 호모토피 방법은 리스크 민감도 매개변수 $\theta$를 가상 시간 변수로 간주하여 비선형 방정식을 수치적 통합을 위한 ODE로 변환한다.
• ODE는 $\theta = 0$에서 초기화되며, 이는 표준 LQG 제어기와 대응하고, 제어기 상태공간 행렬을 호모토피 경로를 따라 진화시킨다.
• 2차 프레셰 도함수는 시스템 동치 변환의 접선 공간의 직교 보완에 제한되며, 이는 해의 안정성과 유일성을 보장한다.
• 호모토피 ODE에서 헤시안 연산자의 역행렬은 행렬의 벡터화 및 감도 전파를 위한 라플라스 유형 방정식의 해법을 통해 계산된다.

실험 결과

연구 질문

• RQ1 고차수 출력 에너지 첨도, 특히 분산을 스토케스틱 제어 성능 지표에 체계적으로 통합할 수 있는 방법은 무엇인가?
• RQ2 ${\cal H}_4$-노름이 LQG 프레임워크를 초월해 출력 에너지 변동의 시간 스케일 행동을 어떻게 정량화하는가?
• RQ3 LQG와 리스크 민감 제어를 통합하는 프레임워크를 구축할 수 있는가? 이는 ${\cal H}_2$ 및 ${\cal H}_4$-노름을 모두 포함하는 방식으로.
• RQ4 실제로 이러한 고차수 성능 기준에 최적의 제어기를 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ5 LQG 제어기에서 최적의 LQQG 제어기로 이어지는 연속적인 경로가 존재하는가? 이는 호모토피 연속 방법을 통한 수치 계산을 가능하게 한다.

주요 결과

• LQQG 문제의 최적 제어기는 ${\cal H}_2$ 및 ${\cal H}_4$-노름을 핵심 구성 요소로 포함하는 제어기 상태공간 행렬을 포함하는 대수적 라플라스 방정식과 대수적 방정식의 조합을 만족한다.
• $\theta = 0$일 때 유도된 방정식은 표준 LQG 제어기로 축소되며, 기존 이론과의 일관성을 확인한다.
• ${\cal H}_4$-노름은 출력 에너지 분산이 유의미해지는 시간 스케일을 정량화하며, 일시적 에너지 행동에 대한 통찰을 제공한다.
• 호모토피 방법은 LQG 해에서 시작하는 ODE의 수치적 통합을 통해 LQQG 제어기의 계산을 가능하게 하며, ODE의 우변은 ${\cal H}_4$-노름의 프레셰 도함수를 포함한다.
• 성능 지표의 2차 프레셰 도함수는 변환군의 접선 공간의 직교 보완에서 정의된 강한 국소 최소값을 확보하기 위해 양의 정부호여야 한다.
• 호모토피 ODE에서 헤시안 연산자의 역행렬은 행렬의 벡터화 및 라플라스 유형 방정식의 해법을 통해 계산 가능하며, 이는 실용적 구현을 가능하게 한다.