Presentation | 2009-11-27 Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions Shigemasa TAKAI, Toshimitsu USHIO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In the conventional framework for failure diagnosis of discrete event systems, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in discrete event systems such as a mobile system. In this paper, we model such a discrete event system by a Mealy automaton with a nondeterministic output function, and consider a diagnosis problem that requires any occurrence of a failure should be detected within a uniformly bounded number of steps. We present a necessary and sufficient condition for the existence of a diagnoser. We then present an algorithm for verifying this condition. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | discrete event system / diagnosis / diagnosability / Mealy automaton / nondeterministic output function |
Paper # | CAS2009-53,CST2009-26 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 2009/11/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions |
Sub Title (in English) | |
Keyword(1) | discrete event system |
Keyword(2) | diagnosis |
Keyword(3) | diagnosability |
Keyword(4) | Mealy automaton |
Keyword(5) | nondeterministic output function |
1st Author's Name | Shigemasa TAKAI |
1st Author's Affiliation | Graduate School of Engineering, Osaka University() |
2nd Author's Name | Toshimitsu USHIO |
2nd Author's Affiliation | Graduate School of Engineering Science, Osaka University |
Date | 2009-11-27 |
Paper # | CAS2009-53,CST2009-26 |
Volume (vol) | vol.109 |
Number (no) | 301 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |