文章基本信息

标题：Compositional Synthesis of Symbolic Models for Infinite Networks ⁎
本地全文：下载
作者：Abdalla Swikir ; Navid Noroozi ; Majid Zamani 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：1868-1873
DOI：10.1016/j.ifacol.2020.12.2356
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, we provide a compositional method for the construction of symbolic models (a.k.a. finite abstractions) for infinite networks of discrete-time control systems. The concrete infinite network and its symbolic model are related by a so-called alternating simulation function which allows one to quantify the mismatch between the output behavior of the infinite interconnection of concrete subsystems and that of their symbolic models. We show that such an alternating simulation function can be obtained compositionally by assuming some small-gain type conditions and composing so-called local alternating simulation functions constructed for subsystems. Assuming certain stability property of concrete subsystems, we also provide a technique to synthesize their symbolic models together with their corresponding local alternating simulation functions. Finally, we apply our results to a traffic network divided into infinitely many cells.
关键词：KeywordsCompositionalityinterconnected systemssmall-gain conditioninfinite networkssymbolic models