在离散事件系统中寻找诊断路径的方法

利用简单的编码理论提出一种在离散事件系统的故障诊断中快速找到诊断路径的方法.该方法通过状态编码,降低了在离散事件系统诊断同步过程中的时间复杂度,消减了诊断路径冗余.能够在给定的观测集合上快速提取诊断路径,更适合实际观测事件较少的系统.在模型完备假设下,除首次根据观测集合进行诊断需要指数级时间外,后续观测诊断时间降低到多项式级.实验验证了方法的有效性.

Method of Searching Diagnosis Trajectory in Discrete Event System

A method of searching diagnosis path in model based diagnosis of discrete events system is proposed by using an easy coding theory. Time complexity in the synchronization of discrete events system and redundancy trajectory in diagnosis could be reduced via the methodof state coding, by which diagnosis trajectory could be extracted more effetelyon a given observation set. The method is more suitable for less observation events systems. Based on the assumption of a complete model, except the exponentialtime needed in the first time running, the following diagnosis time was reducedto polynomial level. The experimental results illustrate the validity, completeness and correctness of the method.