[논문 리뷰] Network Coding meets Decentralized Control: Network Linearization and Capacity-Stabilizablilty Equivalence

Se Yong Park, Anant Sahai|arXiv (Cornell University)|2013. 08. 23.

Cooperative Communication and Network Coding참고 문헌 14인용 수 3

한 줄 요약

이 논문은 선형 시간 불변(LTI) 네트워크 코딩이 임의의 릴레이 네트워크에서 최소 컷 용량을 달성함을 보여줌으로써 네트워크 코딩과 분산 제어 사이의 이원성을 수립한다. 또한 분산 시스템 내 LTI 제어기가 암시적으로 네트워크 코딩을 통해 통신함을 보여주며, 핵심 결과는 분산 선형 시스템의 안정가능성과 정보 흐름 용량의 충분성 간의 등가성을 보여주는 대수적 최소 컷-최대 유량 정리에 의해 수식화된다는 것이다.

ABSTRACT

We take a unified view of network coding and decentralized control. Precisely speaking, we consider both as linear time-invariant systems by appropriately restricting channels and coding schemes of network coding to be linear time-invariant, and the plant and controllers of decentralized control to be linear time-invariant as well. First, we apply linear system theory to network coding. This gives a novel way of converting an arbitrary relay network to an equivalent acyclic single-hop relay network, which we call Network Linearization. Based on network linearization, we prove that the fundamental design limit, mincut, is achievable by a linear time-invariant network-coding scheme regardless of the network topology. Then, we use the network-coding to view decentralized linear systems. We argue that linear time-invariant controllers in a decentralized linear system "communicate" via linear network coding to stabilize the plant. To justify this argument, we give an algorithm to "externalize" the implicit communication between the controllers that we believe must be occurring to stabilize the plant. Based on this, we show that the stabilizability condition for decentralized linear systems comes from an underlying communication limit, which can be described by the algebraic mincut-maxflow theorem. With this re-interpretation in hand, we also consider stabilizability over LTI networks to emphasize the connection with network coding. In particular, in broadcast and unicast problems, unintended messages at the receivers will be modeled as secrecy constraints.

연구 동기 및 목표

• 네트워크 코딩과 분산 제어를 모두 선형 시간 불변(LTI) 시스템으로 모델링하여 통합하는 것.
• 임의의 릴레이 네트워크에서 최소 컷 용량이 네트워크 구조에 관계없이 LTI 네트워크 코딩을 통해 달성 가능함을 증명하는 것.
• 분산 선형 시스템에서의 안정가능성이 암묵적인 통신 한계에 기인하며, 이는 최소 컷-최대 유량 정리에 의해 수식화됨을 보여주는 것.
• 분산 시스템 내 제어기 간의 암묵적 통신을 외부화하여, 이들이 실제로 선형 네트워크 코딩을 수행하고 있음을 드러내는 것.
• 기밀성 제약 조건이 있는 LTI 네트워크로의 등가성 확장을 통해 다중 유니캐스트 및 브로드캐스트 문제에 대한 등가성을 확장하는 것.

제안 방법

• 모든 릴레이 네트워크를 동일한 최소 컷과 최대 유량을 가지며 내부 상태와 순환 간선을 갖는 비순환 단일호프 네트워크로 변환하는 네트워크 선형화 도입.
• 선형화된 네트워크에 선형 시스템 이론을 적용하여 LTI 네트워크 코딩을 통해 최소 컷 용량이 달성 가능함을 증명하는 것.
• 분산 시스템 내 제어기 간 암묵적 통신을 외부화하는 알고리즘 개발. 이를 LTI 네트워크로 모델링하는 것.
• 고정 모드(fixed modes)를 외부화된 통신 네트워크에 대한 최소 컷 조건으로 재해석하고, 대수적 최소 컷-최대 유량 정리를 사용하는 것.
• 네트워크 코딩에서의 다중 유니캐스트 및 브로드캐스트 문제를 다수의 관측기와 제어기를 갖는 LTI 네트워크 제어로 재해석하는 것.
• 유한체 모델에서 채널 행렬의 질량을 사용하여 상호정보량을 자유도와 동치로 간주함으로써 제어와 코딩 간의 대수적 등가성을 확립하는 것.

실험 결과

연구 질문

• RQ1 네트워크 코딩에서의 기본 용량 한계(최소 컷)가 네트워크 구조에 관계없이 선형 시간 불변 코딩 기법을 통해 달성 가능한가?
• RQ2 분산 선형 시스템에서의 안정가능성 조건이 기초가 되는 네트워크의 통신 용량 제약 조건과 동일한가?
• RQ3 분산 LTI 제어기 간의 암묵적 통신이 등가 LTI 네트워크 상에서 선형 네트워크 코딩으로 명시적으로 모델링 가능한가?
• RQ4 제어 이론에서 오랫동안 미해결이었던 고정 모드의 대수적 구조가 네트워크 코딩의 최소 컷-최대 유량 정리와 어떻게 관련되는가?
• RQ5 다중 유니캐스트 및 브로드캐스트 문제에 대한 네트워크 코딩 결과가 다중 플랜트, 다중 제어기 시스템의 안정가능성 조건으로 번역 가능한가?

주요 결과

• 네트워크 선형화를 통해 임의의 릴레이 네트워크가 동일한 최소 컷과 최대 유량을 갖는 비순환 단일호프 네트워크로 변환되며, 이는 LTI 네트워크 코딩을 통한 최소 컷 용량 달성에 대한 단순한 증명을 가능하게 한다.
• 분산 선형 시스템의 안정가능성은 관련된 LTI 네트워크 내 정보 흐름 용량의 충분성과 동치이며, 이는 대수적 최소 컷-최대 유량 정리에 의해 수식화된다.
• 분산 제어 시스템에서의 고정 모드는 대수적 최소 컷-최대 유량 조건의 특수한 경우로 규명되어, 제어 이론에서 오랫동안 미해결이었던 수수께끼를 해결한다.
• 분산 시스템 내 LTI 제어기는 선형 제어 제약 조건 하에서도 암묵적으로 선형 네트워크 코딩을 통해 통신함을 보여주며, 오랫동안 추측되어 온 현상의 확인을 이룬다.
• 다중 유니캐스트 및 브로드캐스트 문제의 경우, 다수의 플랜트 안정가능성은 충분한 용량을 갖는 유니캐스트 또는 브로드캐스트 통신 체계의 존재와 동치이며, 의도하지 않은 메시지를 기밀성 제약 조건으로 모델링할 수 있다.
• 각 고유값에 대응하는 조르당 블록의 수는 암묵적 통신에 필요한 자유도의 수와 일치하며, 스펙트럼 성질과 통신 요구 사항 간의 연결 고리를 제공한다.