离散事件和定时系统的协同诊断能力的复杂性
摘要：给定由有限自动机（FA）和定时自动机（TA）表示的离散事件系统，我们研究了故障共诊断问题。我们提供了FA和TA的一致的共诊断特征，该特征扩展了刻画诊断能力的必要和充分条件。我们还解决了FA和TA的共诊断问题的复杂性，并且证明了在这两种情况下，共诊断是PSPACE完全的。对于FA，这改善了先前已知的限制（EXPTIME），对于TA而言则是一个新结果。最后，我们讨论了在有界资源下的TA共诊断问题，并证明其是2EXPTIME完全的。
作者：Franck Cassez
论文ID：1004.2550
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-04-16