Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
{"title":"More on Maximally Permissive Similarity Control of Discrete Event Systems","authors":"Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan","doi":"arxiv-2407.08068","DOIUrl":null,"url":null,"abstract":"Takai proposed a method for constructing a maximally permissive supervisor\nfor the similarity control problem (IEEE Transactions on Automatic Control,\n66(7):3197-3204, 2021). This paper points out flaws in his results by providing\na counterexample. Inspired by Takai's construction, the notion of a (saturated)\n(G, R)-automaton is introduced and metatheorems concerning (maximally\npermissive) supervisors for the similarity control problem are provided in\nterms of this notion. As an application of these metatheorems, the flaws in\nTakai's work are corrected.","PeriodicalId":501124,"journal":{"name":"arXiv - CS - Formal Languages and Automata Theory","volume":"27 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Formal Languages and Automata Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.08068","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Takai proposed a method for constructing a maximally permissive supervisor
for the similarity control problem (IEEE Transactions on Automatic Control,
66(7):3197-3204, 2021). This paper points out flaws in his results by providing
a counterexample. Inspired by Takai's construction, the notion of a (saturated)
(G, R)-automaton is introduced and metatheorems concerning (maximally
permissive) supervisors for the similarity control problem are provided in
terms of this notion. As an application of these metatheorems, the flaws in
Takai's work are corrected.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
