离散事件系统中分散式观测、诊断与控制问题的等价性
系统与控制
2023-09-11 v2 系统与控制
摘要
本文证明了分散式离散事件系统的观测问题、控制问题（含部分观测）与诊断问题之间的等价性，即这三类问题图灵等价，因一类可图灵归约至另一类。该等价性允许将控制问题分解为若干更简单的控制子问题，每个子问题等价于一个观测问题；类似地，也允许将诊断问题转化为形式上更简单的观测问题。由于此前工作已表明最一般表述下的观测问题是不可判定的，本文所得等价性说明控制问题同样不可判定；而诊断问题的不可判定性为已知结论。
引用
@article{arxiv.2204.10792,
title = {Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems},
author = {K. Ritsuka and Karen Rudie},
journal= {arXiv preprint arXiv:2204.10792},
year = {2023}
}