[论文解读] Meanings and Applications of Structure in Networks of Dynamic Systems

Vasu Chetty, Sean Warnick|arXiv (Cornell University)|Jun 7, 2014

Gene Regulatory Network Analysis被引用 5

一句话总结

本文提出了一种新型框架，通过系统动态结构函数的信号结构，用于分析和设计线性时不变（LTI）动态系统网络。它展示了该结构如何实现网络重构、脆弱性分析以及结构化控制器设计——提供了一种系统性方法，用于判断是否存在具有特定结构的稳定化控制器，关键结果表明：循环控制器可稳定任意可观测且可 stabilizable 的系统，而对角控制器在可观测性与可控性不匹配时会失效。

ABSTRACT

This chapter reviews four notions of system structure, three of which are contextual and classic (i.e. the complete computational structure linked to a state space model, the sparsity pattern of a transfer function, and the interconnection of subsystems) and one which is relatively new (i.e. the signal structure of a system's dynamical structure function). Although each of these structural concepts apply to the nonlinear and stochastic setting, this work will focus on linear time invariant systems to distill the key concepts and make their relationships clear. We then discusses three applications of the newest structural form (the signal structure of a system's dynamical structure function): network reconstruction, vulnerability analysis, and a recent result in distributed control that guarantees the synthesis of a stabilizing controller with a specified structure or proves that no such controller exists.

研究动机与目标

• 开发一种统一框架，用于理解动态系统网络中的系统结构，超越传统表示方法。
• 解决在分布式和安全的网络物理系统中，受限通信或控制结构下设计稳定化控制器的挑战。
• 提供一种系统性方法，用于判断给定结构的稳定化控制器是否存在，避免试错方法。
• 展示信号结构在网络重构和动态系统脆弱性分析中的实际应用。

提出的方法

• 本文引入动态结构函数作为LTI系统的新表示形式，通过结构化矩阵形式捕捉信号层面的相互作用。
• 将信号结构定义为动态结构函数的稀疏模式，揭示显式信号如何直接相互影响。
• 提出一种迭代方法，基于二值结构约束逐步添加控制器连接，确保无极零点相消，并在每一步验证稳定性。
• 使用Popov-Belevitch-Hautus（PBH）测试评估在结构约束下不稳定模态的可控性和可观测性。
• 应用结构可控性和可观测性概念，判断给定控制器结构（如对角或循环）是否能稳定系统。
• 该方法证明：若迭代设计过程失败，则不存在具有指定结构的稳定化控制器。

实验结果

研究问题

• RQ1 能否利用系统动态结构函数的信号结构，仅从输入-输出数据中重构底层网络拓扑？
• RQ2 在何种控制器结构约束下，可保证不稳定LTI系统存在稳定化控制器？
• RQ3 信号结构与系统动态之间的相互作用如何影响网络物理系统在攻击或故障下的脆弱性？
• RQ4 为何某些控制器结构（如对角结构）即使在系统可稳定时也会失效，而其他结构（如循环控制器）却能成功？

主要发现

• 具有指定结构的稳定化控制器存在，当且仅当基于结构约束和无极零点相消的迭代设计过程成功。
• 对角控制器仅能稳定那些每个不稳定模态均能从对应输入可控且从对应输出可观测的系统；否则，不存在此类控制器。
• 循环控制器结构可稳定任意可稳定且可检测的系统，因其能确保所有模态的完全可控性和可观测性。
• 动态结构函数的信号结构为系统相互作用提供了独特且富有信息的视角，尤其适用于无明显子系统分解的系统。
• 网络重构和脆弱性分析得益于信号结构，其揭示了传统模型中不明显的显式变量间依赖关系。
• 本文证明：若结构化控制器设计过程失败，则不存在具有给定结构的稳定化控制器，从而提供了完整的判定准则。