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

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 method of state coding,by which diagnosis trajectory could be extracted more effetely on a given observation set. The method is more suitable for less observation events systems. Based on the assumption of a complete model,except the exponential time needed in the first time running,the following diagnosis time was reduced to polynomial level. The experimental results illustrate the validity,completeness and correctness of the method.