离散事件系统的预测性质：概念、应用与主导器综合
系统与控制
2025-10-07 v1 系统与控制
摘要
本文研究了如何为部分观测的离散事件系统（DES）合成能够强制执行特定性质的主导器的问题。与大多数现有方法不同，本文考虑的情形更具挑战性，即该性质依赖于尚未发生的未来行为的预测。在自然语言处理中，这类问题在涉及未来信息的应用中自然出现，例如主动预测或意图保护。为形式化此问题，本文引入了预测性质（prediction-based properties）的概念，这是一种与系统未来信息相关联的新型观察性质。我们展示了这一概念具有很大的普遍性，能够建模各种实际性质，包括故障预报中的可预测性和意图安全中的前不透明性。随后，我们present了一种有效的主导器合成方法，用于实现预测性质的强制执行。该方法依赖于一种新型的信息结构，以解决当前预测与控制策略之间依赖关系所引发的根本性挑战。关键思想是首先借用未来时刻的信息，然后确保信息一致性。这将主导器的合成问题简化为信息空间中的安全游戏。我们证明了所提出的算法是正确且完备的， resulting 主导器是最大许可的。
引用
@article{arxiv.2510.04616,
title = {On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis},
author = {Bohan Cui and Yu Chen and Alessandro Giua and Xiang Yin},
journal= {arXiv preprint arXiv:2510.04616},
year = {2025}
}