[论文解读] On Separating Points for Ensemble Controllability

Jr-Shin Li, Wei Zhang+1 more|arXiv (Cornell University)|Aug 14, 2019

Nonlinear Dynamics and Pattern Formation参考文献 39被引用 4

一句话总结

本文提出了一种统一框架，通过使用分离点和多项式逼近方法，分析时不变线性系统的集合可控制性。它引入了集合可控制性Gramian——一种广义的可控制性矩阵——通过重新参数化后评估单个系统可控制性，从而提供集合可控制性的必要与充分条件，实现了对无限维控制问题的有限维分析方法。

ABSTRACT

Recent years have witnessed a wave of research activities in systems science toward the study of population systems. The driving force behind this shift was geared by numerous emerging and ever-changing technologies in life and physical sciences and engineering, from neuroscience, biology, and quantum physics to robotics, where many control-enabled applications involve manipulating a large ensemble of structurally identical dynamic units, or agents. Analyzing fundamental properties of ensemble control systems in turn plays a foundational and critical role in enabling and, further, advancing these applications, and the analysis is largely beyond the capability of classical control techniques. In this paper, we consider an ensemble of time-invariant linear systems evolving on an infinite-dimensional space of continuous functions. We exploit the notion of separating points and techniques of polynomial approximation to develop necessary and sufficient ensemble controllability conditions. In particular, we introduce an extended notion of controllability matrix, called Ensemble Controllability Gramian. This means enables the characterization of ensemble controllability through evaluating controllability of each individual system in the ensemble. As a result, the work provides a unified framework with a systematic procedure for analyzing control systems defined on an infinite-dimensional space by a finite-dimensional approach.

研究动机与目标

• 为解决线性时不变系统中集合可控制性缺乏透明且统一的表征问题。
• 通过引入代数几何工具，弥合经典控制理论与无限维集合系统之间的鸿沟。
• 通过分离点和多项式逼近方法，建立可验证的集合可控制性的必要与充分条件。
• 通过重新参数化方法，实现对无限维控制系统有限维分析。
• 引入集合可控制性Gramian作为系统评估整个集合可控制性的系统化工具。

提出的方法

• 利用多项式逼近理论中的分离点概念，分析集合可控制性。
• 应用Stone-Weierstrass定理刻画函数空间中的稠密子代数，确保连续函数的逼近。
• 引入集合可控制性Gramian——标准可控制性矩阵的扩展——用于表征参数化系统族的可控制性。
• 采用重新参数化技术，将多维集合系统映射为等价的一维系统，简化分析。
• 利用李代数技术和泛函分析，研究谱结构和系统结构对可控制性的影响。
• 构建参数化映射 ψ，将二维集合系统转换为具有明确定义参数空间 K′ 的一维集合系统。

实验结果

研究问题

• RQ1 在紧集上参数化的时不变线性系统族中，何种条件可确保集合可控制性？
• RQ2 如何系统性地应用分离点概念，推导出集合可控制性的必要与充分条件？
• RQ3 漂移矩阵的谱结构如何影响集合系统的可控制性？
• RQ4 如何利用有限维工具分析集合系统的无限维特性？
• RQ5 重新参数化在简化多参数集合系统分析中起到何种作用？

主要发现

• 本文通过分离点和多项式逼近方法，建立了集合可控制性的必要与充分条件，提供了一个统一的代数几何框架。
• 集合可控制性Gramian通过在变换后的参数化下评估每个单个系统的可控制性，实现了对集合可控制性的表征。
• 该框架揭示了集合可控制性在很大程度上依赖于漂移动力学的功能结构和谱特性。
• 开发了一种重新参数化方法，可将多维集合系统映射为等价的一维系统，同时保持可控制性特性。
• 以新颖方式应用Stone-Weierstrass定理，证明了能分离点的子代数可在紧空间或局部紧空间上一致逼近连续函数。
• 参数化 ψ 及其相关映射 φ 的构造，确保了变换后系统动力学与原始集合系统一致，同时支持有限维分析。