Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/09/25 Vol. E79-DNo. 9 ;
pp. 1223-1231 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: discrete event dynamic system, failure diagnosis, supervisory control,