离散事件系统的协调控制再探
最优化与控制
2017-11-15 v1 形式语言与自动机理论
摘要
本文修订并进一步研究了基于 Ramadge-Wonham 自动机框架、针对具有同步通信的分布式离散事件系统监督控制所提出的协调控制方法。我们对确保解存在的条件可分解性、条件可控性和条件封闭性等概念进行了仔细的修订和简化。本文将研究推广至非前缀闭语言，即讨论了不必为前缀闭语言的上确界条件可控子语言。非前缀闭语言将阻塞问题引入了协调控制，因此文中包含了一种计算用于无阻塞性的协调器的过程。关于协调器规模的优化问题正在研究中。我们证明，寻找使给定规范语言条件可分解的协调器事件集的最小扩展是 NP 难的。换言之，除非 P=NP，否则不可能找到关于事件数量计算最小协调器的多项式算法。
引用
@article{arxiv.1307.4332,
title = {Coordination Control of Discrete-Event Systems Revisited},
author = {Jan Komenda and Tomas Masopust and Jan H. van Schuppen},
journal= {arXiv preprint arXiv:1307.4332},
year = {2017}
}