从耗散理论到符号模型的组合式综合
系统与控制
2017-10-17 v1
摘要
在这项工作中，我们引入了一个组合式框架，用于构建互联离散时间控制系统的有限抽象（又称符号模型）。该组合方案基于离散时间控制子系统及其有限抽象的联合耗散型性质。在论文的第一部分，我们使用所谓的存储函数作为每个子系统与其有限抽象之间的关系，以组合方式构建所谓的模拟函数，作为互联有限抽象与控制系统之间的关系。导出的模拟函数用于量化整体互联具体系统与其有限抽象的输出行为之间的误差。在论文的第二部分，我们提出了一种技术，在某种增量无源性性质下，为一类离散时间控制系统构建有限抽象及其相应的存储函数。我们表明，如果离散时间控制系统是所谓可增量无源化的，那么可以通过对输入和状态集合适当的量化，连同相应的存储函数，来构建其有限抽象。最后，通过以组合方式构建线性离散时间控制系统网络及其相应模拟函数的有限抽象，说明了所提出的结果。在此示例中，组合条件未对增益或子系统数量施加任何限制，这特别阐明了耗散型组合推理对于系统网络的有效性。
引用
@article{arxiv.1710.05585,
title = {From dissipativity theory to compositional synthesis of symbolic models},
author = {Abdalla Swikir and Antoine Girard and Majid Zamani},
journal= {arXiv preprint arXiv:1710.05585},
year = {2017}
}