有限字母表上有限状态系统的分散决策是不可判定的

摘要

本文研究了在有限通信字母表约束下，有限状态转换系统的分散决策问题，证明了即使使用二进制局部决策字母表和固定的异或融合规则，该问题也是不可判定的。通过从Thue字问题归约，进一步表明分散监督控制、分散故障诊断和分散故障预测在有限字母表下也是不可判定的。