首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有