离散事件系统是一类由离散状态、事件转移构成的系统,其专注于系统的序列化行为以及逻辑性。而故障诊断一直以来都是离散事件系统的热门研究方向。早在90年代Lin就提出了一种基于状态的离散事件系统在线诊断和离线诊断,接着Sampath提出可诊断性形式化定义后,故障诊断这一领域研究备受国内外专家学者关注。并从经典离散事件系统推广到模糊离散事件系统、随机离散事件系统、分布式离散事件系统、赋时离散事件系统等多种不同模型类别的系统。诊断的故障类型也从单故障推广到多种类型故障。在实际应用方面,离散事件系统结合军事国防、通讯网络、工业制造、自动控制、生物医疗等领域已取得成功应用。在以往的离散事件系统框架中,事件的可观测性都是假设在系统整个运行过程中固定不变。显然,这种事件的静态可观测性假设是理想化的,在实际应用中存在较大局限性,因为对于一个实际应用系统,其不同部件的传感器设备和代理通讯协议可能不同,这导致系统运行在不同状态时事件的可观性存在一定的差异。随着计算机、通信和传感器技术的发展,现代系统向着大型化、复杂化的趋势发展,动态观测也具有重要的研究意义和实际应用价值。其次,对于系统发生故障,我们可以通过故障诊断,将故障排查出来,但是诊断需要一定的时间,而系统在这段时间内继续运行,可能执行一些被系统禁止的事件,这对于已经发生故障的系统极其危险。因此,对于投入实际生产应用,安全诊断也是我们需要关注的问题。本文在动态观测框架下,研究随机离散事件系统的单故障事件和模式故障事件的诊断以及安全诊断问题,在故障诊断方面,先引入一种动态观测,使随机系统事件的可观测性可随着系统的运行发生动态变化。然后分别对基于动态观测的随机离散事件系统的单故障可诊断性和模式故障可诊断性进行形式化。接着,通过构造相应的诊断器,分别得到关于单故障可诊断性和模式故障可诊断性的充分必要条件,从而实现在动态观测下随机离散事件系统对单故障事件和模式故障事件的诊断。在安全诊断方面,诊断条件更高于故障诊断条件,需要系统在发生禁止事件前将故障诊断出来。同样的,给出基于动态观测的随机离散事件系统的单故障安全可诊断性和模式故障安全可诊断性的形式化定义。通过构造相应的安全诊断器,分别得到关于单故障和模式故障安全可诊断性的充分必要条件,从而实现在动态观测下随机离散事件系统对单故障事件和模式故障事件的安全诊断。