离散事件系统延迟协同可观测性验证的一种新方法
系统与控制
2022-05-20 v2 系统与控制
摘要
在离散事件系统（DESs）的分散网络化监督控制中，本地监督器在存在观测延迟的情况下观测事件发生以做出正确控制决策。延迟协同可观测性描述了这些本地监督器是否能够做出充分观测。本文提供了一种验证延迟协同可观测性的高效方法。对于每个可控事件，我们将规约语言划分为有限个集合，使得不同集合中的字符串具有不同长度。对于每个集合，我们构造一个验证器以检查该可控事件的延迟协同可观测性是否成立。所提方法的计算复杂度相对于状态数、事件数以及观测延迟的上界为多项式的，且仅相对于本地监督器数量为指数的。其复杂度阶低于现有方法。此外，我们研究了网络化 DESs 的分散监督控制与网络化 DESs 的分散故障诊断之间的关系，并表明延迟 -可共诊断性可转化为延迟协同可观测性。因此，用于验证延迟协同可观测性的技术可被借用来验证延迟 -可共诊断性。
引用
@article{arxiv.2110.00265,
title = {A New Approach for Verification of Delay Coobservability of Discrete-Event Systems},
author = {Yunfeng Hou and Qingdu Li and Yunfeng Ji and Gang Wang and Ching-Yen Weng},
journal= {arXiv preprint arXiv:2110.00265},
year = {2022}
}