×
刘思源;纳维德·诺鲁齐;马吉德·扎马尼

控制系统无限网络的符号模型：组合方法。 （英语） Zbl 1485.93033号

非线性分析。，混合系统。 43，文章ID 101097，第16页（2021）.
摘要：本文提出了一个用于构造由可数无限个有限维离散时间控制子系统组成的网络符号模型的组合框架。我们将这种网络称为无限网络。该方法基于交替模拟函数的概念。这个概念将一个具体的网络与其符号模型联系起来，其输出行为之间有保证的失配边界。我们提出了一种组合方法，通过组合符号模型和为子系统构建的交替仿真函数来构建无限网络的符号模型和交替仿真函数。假设每个子系统都是增量输入到状态稳定的，并且在一些小增益类型的条件下，我们提出了一种用适当设计的量化参数有序构建局部符号模型的算法。通过这种方式，所提出的合成方法可以为我们提供指导，以构建具有任何所需近似精度的整体符号模型。还提供了一种组合控制器综合方案，以分散的方式在无限网络上强制执行安全属性。通过由无限多个道路单元组成的道路交通网络来说明我们结果的有效性。

MSC公司：

93甲15 大型系统
93B70型 网络控制
93C55美元 离散时间控制/观测系统

关键词：

成分性;符号模型;无限网络;大规模系统;小增益条件

软件：

斯科特
PDF格式BibTeX公司 XML格式引用
\textit｛S.Liu｝等人，非线性分析。，混合系统。43，文章ID 101097，16 p.（2021；Zbl 1485.93033）
全文： 内政部 arXiv公司

参考文献：

[1] 约万诺维奇，M。；Bamieh，B.，《关于某些车辆排控制问题的适定性》，IEEE Trans。自动化。控制，50，9，1307-1321（2005）·Zbl 1365.93323号
[2] 巴米耶，B。；帕格尼尼，F。；Dahleh，M.，空间不变系统的分布式控制，IEEE Trans。自动化。对照，47，71091-107（2002）·兹比尔1364.93363
[3] 卡万，C。；Mironchenko，A。；斯威基尔，A。；Noroozi，N。；Zamani，M.，基于Lyapunov的无限网络小增益定理，IEEE Trans。自动化。控制（2021），（印刷中）·Zbl 07480597号
[4] Mironchenko，A。；卡万，C。；Glück，J.，无限互连输入-状态稳定性的非线性小增益定理（2020），arXiv预印本arXiv:2007.05705
[5] Dashkovskiy，S。；Mironchenko，A。；施密德，J。；Wirth，F.，无限多互连系统的稳定性，（第11届IFAC非线性控制系统研讨会（2019年）论文集，Elsevier），937-942
[6] 卡万，C。；Mironchenko，A。；Zamani，M.，基于Lyapunov的非线性系统无限网络ISS小增益定理（2021），arXiv预印本arXiv:2103.07439
[7] N.Noroozi，A.Mironchenko，F.Wirth，离散时间无限网络的放松小收益定理，收录于：第59届IEEE Conf.Decision Control，2020，pp.3102-3107，https://doi.org/10.1109/CDC42340.2020.9303769。
[8] Mironchenko，A。；Prieur，C.，无限维系统的输入-状态稳定性：最新结果和未决问题，SIAM Rev.，62，3，529-614（2020）·Zbl 1453.93207号
[9] Dashkovskiy，S。；Pavlichkov，S.，非线性系统无限网络的稳定性条件及其稳定应用，Automatica，112，第108643页，（2020）·Zbl 1430.93180号
[10] A.Swikir，N.Noroozi，M.Zamani，无限网络符号模型的合成，见：第21届国际会计师联合会世界大会，第53卷，2020年，第1868-1873页，https://doi.org/10.1016/j.ifacol.2020.12.2356。
[11] Mironchenko，A。；Noroozi，N。；卡万，C。；Zamani，M.，具有线性增益函数的无限网络的ISS Small-gain准则（2021），arXiv预印本arXiv:2103.06694·Zbl 1480.93357号
[12] Tabuada，P.，混合系统的验证和控制：符号方法（2009），斯普林格：斯普林格波士顿，马萨诸塞州·Zbl 1195.93001号
[13] Pola，G。；Tabuada，P.，《非线性控制系统的符号模型：交替近似互模拟》，SIAM J.control Optim。，48, 2, 719-733 (2009) ·Zbl 1194.93020号
[14] Pola，G。；Girard，A。；Tabuada，P.，非线性控制系统的近似双相似符号模型，Automatica，44，10，2508-2516（2008）·兹比尔1155.93322
[15] 拜尔，C。；Katoen，J.-P.，《模型检验原理》（2008），麻省理工学院出版社·Zbl 1179.68076号
[16] Y.Tazaki，J.-i.Imura，互联系统的双相似有限抽象，摘自：混合系统国际研讨会：计算与控制，Springer，2008年，第514-527页，https://doi.org/10.1007/978-3-540-78929-1_37。 ·Zbl 1144.93301号
[17] Pola，G。；佩佩，P。；Benedetto，M.D.D.，控制系统网络的符号模型，IEEE Trans。自动化。控制，61，11，3663-3668（2016）·Zbl 1359.93039号
[18] Zamani，M。；Arcak，M.，《控制系统网络的组成抽象：耗散性方法》，IEEE Trans。控制网络。系统。，5, 3, 1003-1015 (2018) ·Zbl 1515.93137号
[19] 斯威基尔，A。；Zamani，M.，《系统网络有限抽象的组合合成：小收益方法》，Automatica，107，11，551-561（2019）·Zbl 1429.93143号
[20] Mallik，K。；施穆克，A.-K。；Soudjani，S。；Majumdar，R.，有限状态抽象的合成，IEEE Trans。自动化。控制，64，6，2629-2636（2018）·Zbl 1482.93263号
[21] 梅耶，P。；Girard，A。；Witrant，E.，使用重叠符号模型的组合抽象和安全合成，IEEE Trans。自动化。控制，63，6，1835-1841（2017）·Zbl 1395.93398号
[22] E.S.Kim，M.Arcak，M.Zamani，从模块化组件构建控制系统抽象，摘自：《第21届混合系统国际会议论文集：计算与控制》，2018年，第137-146页，https://doi.org/10.1145/3178126.3178144。 ·Zbl 1417.93056号
[23] Pola，G。；佩佩，P。；医学博士Di Benedetto。；Tabuada，P.，使用近似互模拟的非线性时滞系统符号模型，系统控制快报。，59, 6, 365-373 (2010) ·兹比尔1197.93090
[24] A.Girard，增量稳定有限维或无限维系统的近似双相似抽象，载于：第53届IEEE决策与控制会议，2014年，第824-829页，https://doi.org/10.109/CDC.2014.7039483。
[25] Angeli，D.，增量稳定性特性的Lyapunov方法，IEEE Trans。自动化。控制，47，3，410-421（2002）·Zbl 1364.93552号
[26] Zamani，M。；Mohajerin Esfahani，P。；马朱姆达尔，R。；阿巴特，A。；Lygeros，J.，通过近似双相似有限抽象对随机系统进行符号控制，IEEE Trans。自动化。控制，59，12，3135-3150（2014）·Zbl 1360.93445号
[27] 刘，S。；Zamani，M.，几乎最大允许安全控制器的合成，（美国控制会议（2019）），1678-1683
[28] Henzinger，T.A。；卡迪尔，S。；Rajamani，S.K.，你假设，我们保证：方法论和案例研究，（计算机辅助验证（1998）），440-451
[29] Saoud，A。；Girard，A。；Fribourg，L.，分布式多周期采样数据系统中基于契约的符号控制器安全设计，IEEE Trans。自动化。控制，66，3，1055-1070（2021）·Zbl 07352057号
[30] Canudas-de Wit，C。；Ojeda，L.L。；Kibangou，A.Y.，格勒诺布尔南环的图形约束-CTM观测器设计，IFAC Proc。第45、24、197-202卷（2012年）
[31] 伦格，M。；Zamani，M.，SCOTS:符号控制器合成工具，（第19届混合系统国际会议论文集：计算与控制（2016），ACM）·Zbl 1364.93267号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。