无限控制系统的符号模型：一种组合方法
系统与控制
2021-10-29 v2 系统与控制
摘要
本文提出一种组合框架，用于为包含可数无限个有限维离散时间控制子系统的网络构建符号模型。我们将此类网络称为无限网络。所提方法基于交替仿真函数的概念。该概念将具体网络与其符号模型相关联，并保证二者输出行为间的误差界。我们提出一种组合方法，通过组合为子系统构建的符号模型与交替仿真函数，来构造无限网络的符号模型及相应的交替仿真函数。假设每个子系统是增量输入到状态稳定的，并在某些小增益型条件下，我们给出一种算法，用于有序地构造具有恰当设计量化参数的局部符号模型。由此，所提组合方法可为我们提供构建具有任意期望逼近精度的整体符号模型的指导。还提供了一种组合控制器综合方案，以分散方式在无限网络上强制实施安全性质。我们通过一个由无限多个道路单元组成的道路交通网络说明了结果的有效性。
引用
@article{arxiv.2102.03327,
title = {Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach},
author = {Siyuan Liu and Navid Noroozi and Majid Zamani},
journal= {arXiv preprint arXiv:2102.03327},
year = {2021}
}