An extended hierarchical framework for definitions of diagnosability of discrete event systems

Model-based diagnosis of discrete event systems is more and more active in artificial intelligence. In this paper, diagnosability analysis of discrete event systems is concerned, which is a very important step before on line diagnosing discrete event systems in general. Firstly, an extended hierarchical framework for definitions of diagnosability of discrete event systems is given, according to their inner restriction. Next, some formal comparisons among them are presented, thanks to which, we can further understand the relations between related definitions. Finally, some future work about diagnosability of discrete event systems is discussed as well.