[논문 리뷰] Control-theoretic Approach to Communication with Feedback: Fundamental Limits and Code Design

Ehsan Ardestanizadeh, Massimo Franceschetti|arXiv (Cornell University)|2010. 06. 28.

Control Systems and Identification참고 문헌 31인용 수 5

한 줄 요약

이 논문은 피드백 통신을 제어 이론 프레임워크로 설정하여, 채널 피드백을 상태 피드백으로 간주하고 인코더를 동적 시스템 내의 제어기로 매핑한다. 이는 충분한 조건 하에서 최소 평균 제곱 오차(MMSE) 용량—평균 제곱 오차의 지수적 감쇠율로 정의됨—이 정보 이론적 피드백 용량과 일치하며, 가우시안 채널에서는 피드백 용량이 전력 제약 하에서 최대로 안정화 가능한 불안정성의 최댓값과 같음을 보여준다. 또한, LQG 제어를 통해 케이머의 합산 속도 최적의 MAC 코드를 복원할 수 있다.

ABSTRACT

Feedback communication is studied from a control-theoretic perspective, mapping the communication problem to a control problem in which the control signal is received through the same noisy channel as in the communication problem, and the (nonlinear and time-varying) dynamics of the system determine a subclass of encoders available at the transmitter. The MMSE capacity is defined to be the supremum exponential decay rate of the mean square decoding error. This is upper bounded by the information-theoretic feedback capacity, which is the supremum of the achievable rates. A sufficient condition is provided under which the upper bound holds with equality. For the special class of stationary Gaussian channels, a simple application of Bode's integral formula shows that the feedback capacity, recently characterized by Kim, is equal to the maximum instability that can be tolerated by the controller under a given power constraint. Finally, the control mapping is generalized to the N-sender AWGN multiple access channel. It is shown that Kramer's code for this channel, which is known to be sum rate optimal in the class of generalized linear feedback codes, can be obtained by solving a linear quadratic Gaussian control problem.

연구 동기 및 목표

• 노이즈 있는 상태 피드백을 갖는 제어 문제로 재해석함으로써 정보 이론과 제어 이론을 연결한다.
• 피드백 시스템에서 평균 제곱 오차의 지수적 감쇠율로 정의된 MMSE 용량을 정의하고 분석한다.
• 특히 가우시안 채널에서 MMSE 용량이 정보 이론적 피드백 용량과 일치하는 조건을 수립한다.
• N-송신자 AWGN 다중접속 채널로 제어 이론적 매핑을 일반화하고, LQG 제어를 통해 알려진 최적 코드를 복원한다.
• 최적 피드백 코드가 Bode의 적분 공식과 LQG 최적화와 같은 제어 이론적 도구를 사용해 체계적으로 유도될 수 있음을 보여준다.

제안 방법

• 메시지가 초기 상태인 비선형이고 시간에 따라 변하는 제어 동적 시스템으로 피드백 통신 시스템을 매핑하며, 채널 출력이 피드백을 제공한다.
• 제어기의 동작을 인코더의 전송 기호로 정의하고, 제어기의 정책을 인코더의 인과적 전략과 대응시킨다.
• 원래 메시지와 그 추정치 사이의 평균 제곱 오차(MSE)를 제어 문제의 최종 비용으로 설정한다.
• 시스템의 상태를 충분통계량으로 사용: $ S_i = (M, F_{M|Y^{i-1}}(\cdot|Y^{i-1})) $, 이는 메시지의 사후 분포를 캡처한다.
• 가우시안 채널의 경우, 이산 시간 Bode 적분 공식을 적용하여 전력 제약 하에서 제어기가 견딜 수 있는 최대 불안정성이 피드백 용량과 같음을 보여준다.
• N-사용자 AWGN MAC의 경우, 제곱 비용을 갖는 단일 포인트-투-포인트 LQG 제어 문제로 문제를 축소하여 케이머의 일반화된 선형 피드백 코드를 최적 해로 복원한다.

실험 결과

연구 질문

• RQ1 피드백 통신은 인코더를 제어기로 간주함으로써 제어 이론적 시각에서 체계적으로 분석될 수 있는가?
• RQ2 MMSE 용량(평균 제곱 오차 감쇠율의 지수적 비율)이 정보 이론적 피드백 용량과 일치하는 조건은 무엇인가?
• RQ3 정적 가우시안 채널의 피드백 용량은 제어기의 안정성 가능성과 전력 제약과 어떻게 관련이 있는가?
• RQ4 N-사용자 AWGN MAC에 대한 최적 피드백 코드는 LQG 제어 공식화로부터 유도될 수 있는가?
• RQ5 정보 패턴은 제어 시스템의 상태 공간을 줄이면서도 최적성을 유지하는 데 어떤 역할을 하는가?

주요 결과

• MMSE 용량은 정보 이론적 피드백 용량에 의해 상한선으로 제한되며, 제어기와 채널의 구조에 관한 충분한 조건 하에서 등호가 성립한다.
• 정적 가우시안 채널의 경우, 전력 제약 하에서 선형 제어기가 안정화할 수 있는 최대 불안정성이 피드백 용량과 같으며, 이는 Bode의 적분 공식을 통해 유도된다.
• N-사용자 AWGN MAC에 대한 케이머의 합산 속도 최적 코드는 전력 비용 목표를 갖는 선형 제곱 가우시안(LQG) 제어 문제의 해로서 복원된다.
• 일반적인 피드백 채널에 대한 최적 인코더는 상태가 오직 메시지의 사후 분포 $ F_{M|Y^{i-1}}(\cdot|Y^{i-1}) $ 에만 의존하는 제어기와 대응되며, 전체 역사에선 의존하지 않는다.
• 제어 이론적 프레임워크는 안정성과 추정 오차 동역학과의 명시적 연결을 통해 피드백 코드를 유도하고 분석하는 통합적인 접근법을 제공한다.
• 이 프레임워크는 이전 결과를 일반화한다: Elia의 작업을 N > 2 사용자로 확장하고, Youla 매개변수화 대신 LQG 제어를 사용함으로써 더 가시성 있고 확장 가능한 설계 방법을 제공한다.