[논문 리뷰] Optimal Control for LQG Systems on Graphs---Part I: Structural Results

Ashutosh Nayyar, Laurent Lessard|arXiv (Cornell University)|2014. 08. 11.

Stability and Control of Uncertain Systems참고 문헌 35인용 수 6

한 줄 요약

이 논문은 다중트리 그래프 상에서 LQG 시스템의 최적 탈중앙화 제어를 위한 구조적 해법을 제안한다. 제어기는 조상과 자손의 상태 추정치를 순환적으로 이용하여 선형 제어 입력을 계산한다. 주요 기여는 충분한 통계량이 존재하고, 칼만 필터와 유사한 필터를 통해 갱신될 수 있음을 증명한 것이다. 이는 탈중앙화 출력 피드백 환경에서 최적 전략을 효율적으로 계산하고 성능 보장을 가능하게 한다.

ABSTRACT

In this two-part paper, we identify a broad class of decentralized output-feedback LQG systems for which the optimal control strategies have a simple intuitive estimation structure and can be computed efficiently. Roughly, we consider the class of systems for which the coupling of dynamics among subsystems and the inter-controller communication is characterized by the same directed graph. Furthermore, this graph is assumed to be a multitree, that is, its transitive reduction can have at most one directed path connecting each pair of nodes. In this first part, we derive sufficient statistics that may be used to aggregate each controller's growing available information. Each controller must estimate the states of the subsystems that it affects (its descendants) as well as the subsystems that it observes (its ancestors). The optimal control action for a controller is a linear function of the estimate it computes as well as the estimates computed by all of its ancestors. Moreover, these state estimates may be updated recursively, much like a Kalman filter.

연구 동기 및 목표

• 최적 전략을 효율적으로 계산할 수 있는 탈중앙화 LQG 제어 문제의 광범위한 클래스를 규명하는 것.
• 정보 역사를 성능 손실 없이 유한 차원의 충분한 통계량으로 요약할 수 있는가(질문 1).
• 최적 탈중앙화 제어 전략이 계산적으로 타당한 조건을 설정하는 것(질문 2).
• 조상과 자손 상태 추정치의 관점에서 제어기의 충분한 통계량의 구조를 규명하는 것.
• 탈중앙화 LQG 시스템을 위한 칼만 필터와 유사한 순환 추정 프레임워크를 제공하는 것.

제안 방법

• 방향성 비순환 그래프(DAG)를 사용하여 탈중앙화 LQG 시스템을 모델링하며, 간선은 동적 결합과 정보 공유를 모두 나타낸다.
• 다중트리 구조를 정의한다: 두 노드 사이에 최대 한 개의 방향 경로가 존재하는 전이 감소형(DAG)이다.
• 각 제어기에 대해 조상(관측 가능한 시스템)과 자손(영향을 받는 시스템)의 정보를 통합한 집계된 상태 추정치를 도입한다.
• 측정치와 제어 입력의 선형 조합을 사용하여 상태 추정치의 순환 갱신 법칙을 유도한다. 이는 칼만 필터와 유사한 구조를 가진다.
• 각 제어기의 최적 제어 동작이 자신의 추정치와 모든 조상의 추정치의 선형 함수임을 증명한다.
• 그래프의 깊이에 대한 귀납법과 부분 분리 결과를 활용하여 제안된 통계량의 충분성을 확립한다.

실험 결과

연구 질문

• RQ1 탈중앙화 LQG 시스템에서 각 제어기의 정보 역사는 성능 손실 없이 유한 차원의 충분한 통계량으로 요약될 수 있는가?
• RQ2 어떤 그래프 구조에서 최적 제어 전략이 상태 추정에 기반한 단순하고 직관적인 구조를 가질 수 있는가?
• RQ3 탈중앙화 출력 피드백 LQG 시스템에서 최적 제어 법칙은 효율적으로 계산될 수 있는가?
• RQ4 칼만 필터와 유사한 순환 추정 메커니즘이 이 클래스의 시스템에서 상태 추정치를 효율적으로 계산할 수 있도록 보장하는가?
• RQ5 조상과 자손 시스템은 주어진 제어기의 최적 제어 동작을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 다중트리 상의 LQG 시스템에서 최적 제어 전략은 제어기 자신의 상태 추정치와 모든 조상의 추정치의 선형 함수이다.
• 각 제어기의 충분한 통계량은 조상의 상태 추정치(관측 가능한 시스템)와 자손의 상태 추정치(영향을 받는 시스템)로 구성된다.
• 상태 추정치는 칼만 필터와 유사한 구조를 가진 순환 갱신을 통해 효율적으로 온라인으로 갱신될 수 있다.
• 다른 제어기의 전략이 고정되어 있을 때 최적 제어 문제는 각 제어기에서 중심화된 문제로 축소되며, 이는 제안된 통계량의 타당성을 검증한다.
• 결과는 일반적인 LQG 가정 하에서 성립한다: 선형 시간 변화 동역학, 가우시안 노이즈, 제곱형 비용, 상관된 외란.
• 이 방법은 최적 제어 전략이 다항 시간 내에 계산 가능함을 보장하여, 이 클래스의 시스템에 대한 계산 타당성 문제를 해결한다.