高井,Shigemasa 具有确定性规范的部分可观测不确定离散事件系统双相似控制的多项式时间验证。 (英语) Zbl 1519.93148号 Automatica公司 152,文章ID 110940,5 p.(2023). 摘要:我们考虑部分可观测不确定离散事件系统的双相似控制问题。它要求我们合成一个在部分观测下工作的监督器,以便被监督系统与规范类似。验证这种监督器存在的已知充分必要条件的计算复杂性与系统和规范的状态数成指数关系。我们证明,在规范具有确定性的特殊情况下,多项式验证了解决双相似性控制问题的监督的存在性。 MSC公司: 93元65角 离散事件控制/观测系统 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 关键词:不确定离散事件系统;双相似性控制问题;部分观测;确定性规范 软件:UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai},Automatica 152,文章ID 110940,5 p.(2023;Zbl 1519.93148) 全文: 内政部 参考文献: [1] 卡桑德拉斯,C.G。;Lafortune,S.,离散事件系统简介(2021),施普林格:瑞士施普林格商学院·Zbl 1482.93001号 [2] Cieslak,R。;Desclaux,C.公司。;Fawaz,A.S。;Varaiya,P.,带部分观测的离散事件过程的监督控制,IEEE自动控制汇刊,33,3,249-260(1988)·Zbl 0639.93041号 [3] Farhat,H.,部分信息下非确定性系统的互模拟等效控制,IEEE自动控制汇刊,65,12,5437-5443(2020)·Zbl 07320116号 [4] 霍普克罗夫特,J。;Motwani,R。;Ullman,J.,《自动机理论、语言和计算导论》(2006),Addison-Wesley:Addison-Whesley阅读 [5] 林,F。;Wonham,W.M.,关于离散事件系统的可观察性,信息科学,44,3173-198(1988)·Zbl 0644.93008号 [6] Milner,R.,《通信系统演算》(1980),Springer-Verlag:Springer-Verlag纽约·Zbl 0452.68027号 [7] Ramadge,P.J。;Wonham,W.M.,一类离散事件过程的监督控制,SIAM控制与优化杂志,25,1,206-230(1987)·Zbl 0618.93033号 [8] Shimatani,K。;Takai,S.,《具有确定性规范的部分观测非确定性离散事件系统双相似性控制的确定性监督员》,IEICE基础事务,E104-A,2,438-446(2021) [9] 孙,Y。;Lin,H。;Chen,B.M.,《确定性规范的双相似性实施监督控制》,Automatica,50,1,287-290(2014)·Zbl 1298.93015号 [10] Takai,S.,《对具有非确定性规范的非确定性离散事件系统实施监督控制的双相似性》,Automatica,108,第108470条,pp.(2019) [11] 周,C。;Kumar,R.,部分观测下双相似控制的小模型定理,IEEE自动化科学与工程学报,4,1,93-97(2007) [12] 周,C。;Kumar,R.,部分观测确定性系统的双相似性控制,IEEE自动控制汇刊,52,9,1642-1653(2007)·Zbl 1366.93371号 [13] 周,C。;Kumar,R.,使用确定性控制的离散事件系统的双相似性实施,IEEE自动控制事务,56,12,2986-2991(2011)·Zbl 1368.93397号 [14] 周,C。;库马尔,R。;蒋,S.,非确定性离散事件系统的互模拟等效控制,IEEE自动控制汇刊,51,5,754-765(2006)·Zbl 1366.93372号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。