单调非线性系统可分离收缩度量的存在性

寻找可分离的稳定性证书对于大规模网络系统分析方法的易处理性十分重要。本文考虑如下问题：一个收缩的非线性系统（即所有解均指数稳定）何时能够由可分离度量来验证该性质。利用正线性系统与可分离李雅普诺夫函数理论的近期成果，我们证明了若干新结果，指明了何时可行，并讨论了通过凸优化进行非线性分布式控制设计的应用。