Progress on Model-based Diagnosis of Discrete-event Systems
Dantong Ouyang · Jisuanji kexue yu tansuo · 2011
Recently,model-based diagnosis of discrete-event systems (DESs) has been applied to large telecommu-nication networks and power transmission networks. It has attracted more and more interests in both artificial intelligence (AI) and control engineering fields. Firstly,the basic idea and modeling methods are introduced. Then,most approaches of diagnosing DESs modeled by automata have been analyzed and compared in different views. The main algorithms for testing diagnosability of DESs are also presented in the following. Finally,some open questions are given in system modeling,distributed online diagnosis,diagnosis with incomplete systems,and the system implementation.