重新审视离散事件系统的延迟强可检测性

在离散事件系统（DES）的可检测性概念中，强可检测性意味着在对 DES 生成的每个输出/标签序列进行有限次观测后，当前状态可被唯一确定。该概念较强，因此利用其可轻松确定当前状态。为保持强可检测性的优势并弱化其劣势，我们可额外考虑一些“后续输出”以确定当前状态。这种修正的观测将使某些非强可检测的 DES 变为“较弱意义下的强可检测”，若我们在需确定状态的时刻之后至少观测 $K$ 个输出，则称之为“{\it $K$-延迟强可检测性}”。本文研究由有限状态自动机（FSA）建模的 DES 的 $K$-延迟强可检测性，并给出一种利用新颖并发组合方法的多项式时间验证算法。注意该算法适用于所有 FSA。同样通过该法，找到了 $K$ 的上界，并且我们还首次给出了 FSA 的 $(k_1,k_2)$-可检测性与 $(k_1,k_2)$-D-可检测性的多项式时间验证算法，后者由 [Shu and Lin, 2013] 首次研究。我们的算法运行于四次多项式时间且适用于所有 FSA，比 [Shu and Lin 2013] 基于无死锁和无可观测可达环通常假设给出的六次多项式时间验证算法更有效。最后，我们获得了用于强制延迟强可检测性的多项式时间综合算法，比文献中监督控制框架下的指数时间综合算法更有效。