离散事件系统随着自动机在现代工程系统中的应用逐渐成为热门研究领域之一,在离散事件系统故障诊断基础上的可恢复性诊断及控制问题也是当前的研究热点。不论在理论研究上,还是实际生产中,在出现系统故障后安全执行故障恢复行为,使得系统由故障模式重新恢复到正常模式运行,有效地减少故障损失以及降低系统运行风险,是一个非常值得重视的问题。本文以自动机为工具,研究了离散事件系统的故障可恢复性诊断问题,提出了一次可恢复性概念以及相应诊断策略,针对一部分故障不可恢复的离散事件系统提出了故障可恢复性控制方法,并且基于事件模糊的模糊离散事件系统提出模糊可恢复性诊断方法。因此,本文的研究内容主要分为以下三个部分:(1)通过详细分析故障周期可恢复性的离散事件系统自动机模型的特点,提出故障一次可恢复性的形式化定义,然后分别从不可区分串概念和可恢复性诊断器两个角度讨论一次可恢复性的诊断方法和理论证明,最后利用一个液压系统对一次可恢复性进行诊断分析。(2)基于可恢复状态或者可恢复状态圈概念和圈自动机模型,提出故障可恢复性控制的形式化定义,然后设计可恢复性控制方法,并研究构造可恢复性控制器的算法和控制实施方案,使得部分不可恢复系统能够到达可恢复状态,最后用家庭电路系统进行了实例分析。(3)将可观测性和故障可恢复性以一定的隶属度隶属于各个模糊事件,提出模糊可恢复性诊断程度集的形式化定义,然后基于不可区分串的概念讨论模糊可恢复性诊断器的构造方法,并针对模糊离散事件系统中的不可区分串集合与模糊可恢复性诊断器的路径循环两者之间的关系进行理论证明,然后讨论了模糊可恢复性诊断程度集的算法,最后通过实例说明。本文提出的可恢复性概念和诊断方法均利用了自动机模型,在克服周期可恢复性局限性的同时,能满足针对不同类型自动机模型故障可恢复性诊断的现实要求,有较好的应用价值。