计时离散事件系统的有界时间非阻塞监控
系统与控制
2024-07-31 v2 系统与控制
摘要
近期，在非计时离散事件系统（DES）的监控控制中提出了一种定量非阻塞性的自动机性质，该性质通过捕捉所有任务必须在有界步数内完成的实际要求，对标准非阻塞性质进行了量化。然而，在实践中可能进一步要求任务在特定时间内完成。为满足这一新要求，本文引入了有界时间非阻塞性的概念，将定量非阻塞性的概念从非计时DES扩展至计时DES。该性质要求每项任务必须在以滴答数计算的有界时间内完成，而非定量非阻塞性中的有界转移步数。相应地，我们提出了计时DES的一个新的有界时间非阻塞监控控制问题（BTNSCP），并借助有界时间语言可完成性这一新概念刻画了其可解性。随后，我们提出了一种计算该新BTNSCP最大允许解的方法。
引用
@article{arxiv.2403.08781,
title = {Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems},
author = {Renyuan Zhang and Jiale Wu and Junhua Gou and Yabo Zhu and Kai Cai},
journal= {arXiv preprint arXiv:2403.08781},
year = {2024}
}
备注
arXiv admin note: text overlap with arXiv:2108.00721