离散事件系统的定量非阻塞监督控制
系统与控制
2023-12-21 v4 系统与控制
摘要
本文提出自动机的两种新非阻塞性质,作为到标记状态最大距离的定量度量。第一种性质称为定量非阻塞性,刻画了如下实际需求:从任意非标记状态出发并沿系统的任意轨迹,在规定的步数内至少可到达一个标记状态(例如代表任务完成)。第二种性质称为异质定量非阻塞性,区分各个标记状态,并要求从任意其他状态出发并沿系统任意轨迹,在每个标记状态给定的有界步数内到达该标记状态。相应地,我们提出定量非阻塞监督控制与异质定量非阻塞监督控制两个新问题,并分别用定量语言可完备性与异质定量语言可完备性新概念刻画其可解性。证明了给定语言的唯一极大(异质)定量可完备子语言存在,并给出了计算极大子语言的有效算法。最后,结合极大可控子语言计算算法,我们设计了计算所提(异质)定量非阻塞监督控制问题最大容许解的算法。
引用
@article{arxiv.2108.00721,
title = {Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems},
author = {Renyuan Zhang and Jiahao Wang and Zenghui Wang and Kai Cai},
journal= {arXiv preprint arXiv:2108.00721},
year = {2023}
}