离散事件系统基于模型诊断的研究进展

离散事件系统基于模型诊断的研究进展

赵相福1 , 欧阳丹彤2

Progress on Model-based Diagnosis of Discrete-event Systems

ZHAO Xiangfu ¹, OUYANG Dantong ²

计算机科学与探索 . 2011, (2): 114 -127 .