×
佐丹奴·波罗;托马索·马斯库利;埃琳娜·德·桑提斯;迪·贝内代托，玛丽亚·多梅尼卡

具有正则语言规范的抽象系统的数据驱动控制器综合。 （英语） 兹比尔1478.93188

Automatica公司 134，文章ID 109903，8 p.（2021）.
摘要：在这篇文章中，我们讨论了数据驱动的控制设计，将植物描述为抽象系统，即输入状态函数的集合，并使用正则语言规范。抽象系统被假设为后缀和串联封闭的、因果的、确定性的和时间不变的。除了收集的有限组实验外，该系统未知。给定一个规范表示为一种正则语言，该规范定义在由设备的有限状态集组成的字母表上，设计了一个基于有限实验集的控制器，该控制器确保满足该规范的任意小误差。讨论了控制器在实验集变大时的最大值性、收敛性和自适应性。分析了控制器在不同于实验组和存在状态测量误差的情况下对对象轨迹的性能。一个与人造胰腺有关的例子说明了这一结果。

MSC公司：

93亿B50 合成问题
92C50 医疗应用（通用）

关键词：

数据驱动控制;抽象系统;形式化方法;人工胰腺
PDF格式BibTeX公司 XML格式引用
\textit{G.Pola}等人，Automatica 134，文章ID 109903，8 p.（2021；Zbl 1478.93188）
全文： 内政部

参考文献：

[1] Borri，A。；Cacase，F。；De Gaetano，A。；Germani，A。；Manes，C。；Palumbo，P.，Luenberger类非线性时滞系统观测器及其在人工胰腺中的应用：获得良好性能，IEEE控制系统，37，4，33-49（2017）·Zbl 1477.93139号
[2] Borri，A。；Palumbo，P。；Manes，C。；Panunzi，S。；De Gaetano，A.，人工胰腺基于样本数据观测者的血糖控制，匈牙利理工学报，14，1，79-94（2017）
[3] Cheng，R。；奥罗什，G。；默里·R·M。；Burdick，J.W.，通过屏障功能进行安全关键连续控制任务的端到端安全强化学习，（AAAI人工智能会议论文集，第33卷（2019年）），3387-3395
[4] Coulson，J.、Lygeros，J.和Dorfler，F.（2019年）。数据支持预测控制：在DeePC的浅滩。第17届欧洲控制会议（第25-28页）。意大利那不勒斯。
[5] 杜塔，S。；库什纳，T。；Sankaranarayanan，S.，使用神经网络对人工胰腺系统进行稳健的数据驱动控制，（系统生物学中的计算方法（2018），Springer），183-202·Zbl 1397.92323号
[6] Ghosh，S.、Bansal，S.、Sangiovanni Vincentelli，A.、Seshia，A.S.和Tomlin，C.（2019）。一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。《第22届ACM混合系统：计算和控制国际会议论文集》（第185-196页）·兹伯利07120154
[7] 桥本，K。；Saoud，A。；Kishida，M。；Ushio，T。；Dimarogonas，D.V.，基于学习的非线性控制系统安全符号抽象（2020），arXiv预印本arXiv：2004.01879
[8] Hou，Z。；Wang，Z.，《从基于模型的控制到数据驱动的控制：调查、分类和透视》，信息科学，235，3-35（2013）·Zbl 1284.93010号
[9] 卡泽米，M。；Soudjani，S.，《通过强化学习实现连续空间系统的正式政策综合》（2020年），arXiv预印本arXiv:2005.01319
[10] Kazumune，H.和Toshimitsu，U.（2020年）。符号安全控制器综合的一种基于学习的方法。在HSCC会议上发布的海报中。
[11] Kushner，T.、Bortz，D.、Maahs，D.M.和Sankaranarayanan，S.（2018年）。人工胰腺验证和合成的数据驱动方法。在ACM/IEEE第九届网络物理系统国际会议上（第242-252页）。
[12] Lavaei，A.、Somenzi，F.、Soudjani，S.、Trivedi，A.和Zamani，M.（2020年）。通过无模型强化学习实现连续空间MDP的形式化控制器综合。在ACM/IEEE第11届网络物理系统国际会议上（第98-107页）。
[13] Pola，G。；Di Benedetto，M.D.，《使用逻辑规范控制网络物理系统：正式方法方法》，《控制中的年度审查》，47，178-192（2019）
[14] Pola，G.、Masciulli，T.、De Santis，E.和Di Benedetto，M.D.（2020年）。具有正则语言规范的数据驱动控制器合成。第21届国际会计师联合会世界大会（第3928-3933页）。德国柏林。
[15] Pola，G。；佩佩，P。；Di Benedetto，M.D.，非线性控制系统网络的分散监控，IEEE自动控制汇刊，63，9，2803-2817（2018）·Zbl 1423.93258号
[16] Ruberti，A。；Isidori，A.，Teoria dei sistemi（1979），Bollati Boringhieri
[17] Tabuada，P.，符号控制的近似模拟方法，IEEE自动控制汇刊，53，61406-1418（2008）·Zbl 1367.93220号
[18] Tabuada，P.，《混合系统的验证和控制：符号方法》（2009），施普林格出版社·Zbl 1195.93001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。