对“基于新约束转换方法的最大许可监督器综合”的评论
系统与控制
2014-06-26 v1 形式语言与自动机理论
摘要
Luo等人提出了一种新方法，用于设计在具有不可控变迁的普通Petri网上强制执行线性约束的最大许可且高效的监督器。为了开发该方法，给出了定理3。该定理声称“一个线性约束可以在一个不可控变迁处等价地转化为弱可接受约束的析取”。然而，这个结果是错误的。在这篇通信论文中，给出了一个反例。
引用
@article{arxiv.1406.6591,
title = {Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'},
author = {Shouguang Wang and Jing Yang and Mengchu Zhou},
journal= {arXiv preprint arXiv:1406.6591},
year = {2014}
}
备注
4 papers,comment