[论文解读] The necessity and sufficiency of anytime capacity for stabilization of a linear system over a noisy communication link, Part II: vector systems

Anant Sahai, Sanjoy K. Mitter|ArXiv.org|Oct 25, 2006

Stability and Control of Uncertain Systems被引用 5

一句话总结

本文确立了在噪声通道上稳定向量线性系统时，必须通过即时速率区域将即时容量扩展至向量设置，该区域表征了每个不稳定特征值所需的最小信道可靠性。关键结果表明，仅当信道支持与每个特征值增长速率相匹配的速率-可靠性权衡时，系统才可实现且必须实现稳定，该结果将标量结果推广至具有或不具反馈的多维系统。

ABSTRACT

In part I, we reviewed how Shannon's classical notion of capacity is not sufficient to characterize a noisy communication channel if the channel is intended to be used as part of a feedback loop to stabilize an unstable scalar linear system. While classical capacity is not enough, a sense of capacity (parametrized by reliability) called "anytime capacity" is both necessary and sufficient for channel evaluation in this context. The rate required is the log of the open-loop system gain and the required reliability comes from the desired sense of stability. Sufficiency is maintained even in cases with noisy observations and without any explicit feedback between the observer and the controller. This established the asymptotic equivalence between scalar stabilization problems and delay-universal communication problems with feedback. Here in part II, the vector-state generalizations are established and it is the magnitudes of the unstable eigenvalues that play an essential role. To deal with such systems, the concept of the anytime rate-region is introduced. This is the region of rates that the channel can support while still meeting potentially different anytime reliability targets for parallel message streams. All the scalar results generalize on an eigenvalue by eigenvalue basis. When there is no explicit feedback of the noisy channel outputs, the intrinsic delay of the unstable system tells us what the feedback delay needs to be while evaluating the anytime-rate-region for the channel. An example involving a binary erasure channel is used to illustrate how differentiated service is required in any separation-based control architecture.

研究动机与目标

• 将标量即时容量框架推广至向量状态线性系统。
• 识别在噪声通信链路上稳定不稳定向量系统所需且充分的条件。
• 定义即时容量的向量扩展——称为即时速率区域——以考虑不稳定特征值之间的不同可靠性目标。
• 证明：若信道的即时速率区域满足每个特征值的可靠性需求，则无需显式反馈即可实现稳定。
• 通过二元删除信道示例，证明在噪声信道上的控制中，通信差异化服务至关重要。

提出的方法

• 引入即时速率区域作为信道可支持的多条消息流（每条与一个不稳定特征值相关）的速率-可靠性对集合。
• 利用特征值分解将向量系统简化为独立的标量子系统，每个子系统需满足特定的即时可靠性水平。
• 采用虚拟控制器框架模拟控制作用并界定状态不确定性，确保系统保持在有界区域内。
• 采用递归不确定性边界技术，控制器通过按特征值大小缩放的收缩窗口维持状态估计。
• 通过证明：若信道支持所需的即时速率区域，则系统可在噪声下实现稳定，推导出充分条件。
• 使用二元删除信道示例说明：不同比特（对应不同特征值）必须以不同可靠性级别处理。

实验结果

研究问题

• RQ1 在具有或不具有反馈的噪声通信信道上，稳定向量线性系统的必要且充分条件是什么？
• RQ2 如何将即时容量的概念推广以处理向量系统中多个不稳定特征值？
• RQ3 是否可以在不使用控制器到观测器的显式反馈下实现稳定？若可以，其信道条件是什么？
• RQ4 不稳定系统本身的固有延迟在确定信道评估所需反馈延迟方面起什么作用？
• RQ5 通信架构如何在控制背景下支持不同消息流的差异化可靠性？

主要发现

• 即时速率区域对于在噪声信道上稳定向量线性系统是必要且充分的，将标量结果推广至多维动态系统。
• 若信道的即时速率区域支持每个不稳定特征值所需的可靠性，则无需显式反馈即可实现稳定。
• 所需信道速率是不稳定特征值模长的对数，所需可靠性由期望的稳定性程度决定。
• 对于二元删除信道，稳定需要差异化服务：对应不同特征值的比特必须以不同可靠性级别编码。
• 不稳定系统的固有延迟决定了即使无显式反馈，信道评估所需的有效反馈延迟。
• 虚拟控制器框架通过将虚拟状态保持在收缩窗口内，成功界定了状态不确定性，确保渐近稳定。