离散事件系统最大许可相似控制的更多研究
形式语言与自动机理论
2025-03-11 v2
摘要
Takai 提出了一种用于构建相似控制问题(2021 年发表于《自动控制杂志》66(7):3197-3204）中最大许可监督器的方法。本文指出，当规范不是镜像有限时，这种构建方法不一定有效。受 Takai 方法启发，本文引入(饱和)(G,R)-自动机的概念，并以该概念提供关于相似控制问题(最大许可)监督器的元定理。作为这些元定理的应用，纠正了 Takai 工作中的缺陷。
引用
@article{arxiv.2407.08068,
title = {More on Maximally Permissive Similarity Control of Discrete Event Systems},
author = {Yu Wang and Zhaohui Zhu and Rob van Glabbeek and Shigemasa Takai and Jinjin Zhang and Lixing Tan},
journal= {arXiv preprint arXiv:2407.08068},
year = {2025}
}
备注
10 pages