离散事件系统的故障诊断在软件系统、通信系统、物联网系统等领域有着重要应用。它是一种由离散的状态以及事件构成的系统,同时也是一种使状态根据异步离散事件随时间的发生而产生演化的系统。故障诊断是大型复杂系统自动控制中的一项重要任务,然而,诊断决策一般是模棱两可的,在这种情况下,使用诊断工具可能会得到错误的决策。传统的离散事件系统故障诊断研究都是以Sampath等人提出的基于诊断器方法的集中式离散事件系统故障诊断为基础,同时经典离散事件系统的故障诊断方法是基于永久性故障的,由这类故障导致系统进入的故障状态无法被其它事件所改变,一旦系统发生过故障,则系统的状态在诊断器中永远都是故障状态。本文在Sampath的基础之上,将Santosh等提出的暂时性故障诊断的概念融入到离散事件系统的故障诊断当中,并使用Gascard等人提出的验证器方法,对离散事件系统的暂时性故障诊断算法进行研究,旨在将基于诊断器方法的离散事件系统暂时性故障诊断的复杂度从指数级别降至多项式级别。同时,我们在本文中使用的这种验证器方法相比Lafortune等人提出的离散事件系统验证器诊断方法,无需从系统运行的初始状态开始对暂时性故障进行诊断,从而降低了基于验证器方法的离散事件系统暂时性故障诊断的复杂度,并将这种暂时性故障可诊断验证算法运用到太阳能热水器阀门控制系统的暂时性故障可诊断性验证当中。本文提出离散事件系统暂时性故障可诊断的相关定义和定理并对暂时性故障可诊断的充分必要条件进行证明,在此基础之上对基于验证器方法的离散事件暂时性故障可诊断性进行研究,提出基于验证器方法的离散事件系统暂时性故障的可诊断性验证算法,最后给出相应的例子对本文所提算法的可行性进行验证。同时,本文在Qiu等人的基础之上,提出一种基于状态估计的分布式离散事件系统永久性故障可诊断性验证算法。我们首先对Qiu等人提出分布式离散事件系统的永久性故障可诊断定义进行介绍,然后在此基础上提出相关的基于状态估计方法的分布式离散事件系统的可诊断定义,进而推导出基于状态估计方法的分布式离散事件系统可诊断的充分必要条件并提出基于状态估计方法的分布式离散事件系统可诊断性验证算法,最后结合相关实例对该算法的可行性进行验证分析。