具有无限行为的离散事件系统的 $\omega-$非阻塞监督控制
系统与控制
2021-03-16 v1 系统与控制
摘要
在由 Thistle 和 Wonham 提出的具有无限行为的离散事件系统（DES）监督控制框架中，综合出一个满足最小可接受规范和最大合法规范的监督器。然而，该监督器可能引发活锁，因为它无法保证受监督下的无限行为总会访问某些标记状态。为解决此问题，我们提出可标记性的定义，要求所有无限循环至少包含一个标记状态。随后我们形式化具有无限行为的 DES 的 非阻塞监督控制问题，以综合一个 非阻塞（即非阻塞、无死锁且无活锁）监督器。提出一种算法，通过计算极大 可控、闭、可控且可标记的子语言来实现 非阻塞性。我们以机器人示例作为贯穿全文的示例。
引用
@article{arxiv.2103.08133,
title = {$\omega-$nonblocking supervisory control of discrete-event systems with infinite behavior},
author = {Ting Jiao and Renyuan Zhang and Kai Cai},
journal= {arXiv preprint arXiv:2103.08133},
year = {2021}
}