Presentation | 2012-03-08 Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule Takashi YAMAMOTO, Shigemasa TAKAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we study decentralized diagnosis of discrete event systems where diagnosis decisions of local diagnosers are fused by the AND rule. A notion of codiagnosability which guarantees that any failure is detected by a decentralized diagnoser using the AND rule within a uniformly bounded number of steps has been defined. However, as shown in this paper, codiagnosability under the AND rule cannot be correctly verified by the existing algorithm. Motivated by this fact, we propose a new algorithm to verify codiagonosability under the AND rule and prove its correctness. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | discrete event system / failure diagnosis / codiagnosability / verification |
Paper # | MSS2011-74 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/3/1(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 | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule |
Sub Title (in English) | |
Keyword(1) | discrete event system |
Keyword(2) | failure diagnosis |
Keyword(3) | codiagnosability |
Keyword(4) | verification |
1st Author's Name | Takashi YAMAMOTO |
1st Author's Affiliation | School of Engineering, Osaka University() |
2nd Author's Name | Shigemasa TAKAI |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2012-03-08 |
Paper # | MSS2011-74 |
Volume (vol) | vol.111 |
Number (no) | 453 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |