[论文解读] Network Coding meets Decentralized Control: Network Linearization and Capacity-Stabilizablilty Equivalence

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

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网络。
• 将控制系统的固定模态重新解释为显式通信网络上的最小割条件，利用代数最小割-最大流定理。
• 将网络编码中的多播和广播问题建模为具有多个观测器和控制器的LTI网络控制问题。
• 利用有限域模型中信道矩阵的秩，将互信息等价于自由度，实现控制与编码之间的代数等价。

实验结果

研究问题

• RQ1 在任意网络拓扑下，是否仅通过线性时不变编码方案即可实现网络编码中的基本容量极限（最小割）？
• RQ2 分布式线性系统中的可稳定化条件是否等价于底层网络中的通信容量约束？
• RQ3 分布式LTI控制器之间的隐式通信是否可显式建模为等效LTI网络上的线性网络编码？
• RQ4 控制系统的固定模态的代数结构与网络编码中的最小割-最大流定理有何关系？
• RQ5 网络编码中关于多播和广播问题的结果能否转化为多被控对象、多控制器系统的可稳定化条件？

主要发现

• 网络线性化将任意中继网络转换为具有相同最小割和最大流的等效无环单跳网络，从而通过LTI网络编码实现最小割容量的简洁证明。
• 分布式线性系统的可稳定化性等价于关联LTI网络中足够的信息流容量，该关系由代数最小割-最大流定理形式化。
• 分布式控制系统中的固定模态被证明是代数最小割-最大流条件的特例，解决了控制理论中长期存在的谜题。
• 即使在受限于线性控制的条件下，分布式系统中的LTI控制器仍通过线性网络编码隐式通信，证实了长期存在的猜想。
• 对于多播和广播问题，多个被控对象的可稳定化性等价于存在具有足够容量的单播或广播通信方案，将非意图消息建模为保密约束。
• 每个特征值的若尔当代数块数量对应于隐式通信所需的自由度数量，将谱性质与通信需求联系起来。