More on maximally permissive similarity control of discrete event systems

Yu Wang; Zhaohui Zhu; Rob van Glabbeek; Jinjin Zhang; Lixing Tan

doi:10.48550/arXiv.2407.08068

More on maximally permissive similarity control of discrete event systems

Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan

Research output: Working paper › Preprint

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.

Original language	English
Publisher	ArXiv
Pages	1-8
Number of pages	8
DOIs	https://doi.org/10.48550/arXiv.2407.08068
Publication status	Published - 10 Jul 2024

Keywords / Materials (for Non-textual outputs)

discrete event systems
supervisory control
simulation relation
maximally permissive supervisor

Access to Document

10.48550/arXiv.2407.08068

WangEtalArXiv2024MoreonMaximallyPermissiveSubmitted manuscript, 737 KB

Cite this

@techreport{cdf5e87598f24eb882bb66909ee2dbc2,

title = "More on maximally permissive similarity control of discrete event systems",

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.",

keywords = "discrete event systems, supervisory control, simulation relation, maximally permissive supervisor",

author = "Yu Wang and Zhaohui Zhu and {van Glabbeek}, Rob and Jinjin Zhang and Lixing Tan",

year = "2024",

month = jul,

day = "10",

doi = "10.48550/arXiv.2407.08068",

language = "English",

pages = "1--8",

publisher = "ArXiv",

type = "WorkingPaper",

institution = "ArXiv",

}

TY - UNPB

T1 - More on maximally permissive similarity control of discrete event systems

AU - Wang, Yu

AU - Zhu, Zhaohui

AU - van Glabbeek, Rob

AU - Zhang, Jinjin

AU - Tan, Lixing

PY - 2024/7/10

Y1 - 2024/7/10

N2 - 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.

AB - 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.

KW - discrete event systems

KW - supervisory control

KW - simulation relation

KW - maximally permissive supervisor

U2 - 10.48550/arXiv.2407.08068

DO - 10.48550/arXiv.2407.08068

M3 - Preprint

SP - 1

EP - 8

BT - More on maximally permissive similarity control of discrete event systems

PB - ArXiv

ER -

More on maximally permissive similarity control of discrete event systems

Abstract

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this