切换系统网络的符号模型组合式综合
系统与控制
2019-05-31 v1
摘要
在本文中，我们提供了一种用于构造离散时间切换系统网络的符号模型的组合式方法。我们首先定义所谓增广存储函数的概念，以关联切换子系统及其符号模型。然后我们证明，如果满足某些耗散型条件，就可以建立所谓交替仿真函数的概念，作为符号模型网络与切换子系统网络之间的关系。交替仿真函数给出了切换子系统互连与其符号模型互连的输出行为之间失配的上界。此外，我们在某些确保切换子系统各模态增量无源性的假设下，提供了一种构造离散时间切换子系统符号模型的方法。最后，我们通过两个例子说明了我们结果的有效性。
引用
@article{arxiv.1905.12808,
title = {Compositional Synthesis of Symbolic Models for Networks of Switched Systems},
author = {Abdalla Swikir and Majid Zamani},
journal= {arXiv preprint arXiv:1905.12808},
year = {2019}
}