Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Summary :
In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. For a conjunctively codiagnosable system, there exists a conjunctive decentralized diagnoser that can detect the occurrence of any failure within a uniformly bounded number of steps. We present a method for synthesizing such a conjunctive decentralized diagnoser as an online diagnoser.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E98-A No.2 pp.650-653
- Publication Date
- 2015/02/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E98.A.650
- Type of Manuscript
- Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
- Category
Authors
Takashi YAMAMOTO
Osaka University
Shigemasa TAKAI
Osaka University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Takashi YAMAMOTO, Shigemasa TAKAI, "Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E98-A, no. 2, pp. 650-653, February 2015, doi: 10.1587/transfun.E98.A.650.
Abstract: In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. For a conjunctively codiagnosable system, there exists a conjunctive decentralized diagnoser that can detect the occurrence of any failure within a uniformly bounded number of steps. We present a method for synthesizing such a conjunctive decentralized diagnoser as an online diagnoser.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E98.A.650/_p
Copy
@ARTICLE{e98-a_2_650,
author={Takashi YAMAMOTO, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems},
year={2015},
volume={E98-A},
number={2},
pages={650-653},
abstract={In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. For a conjunctively codiagnosable system, there exists a conjunctive decentralized diagnoser that can detect the occurrence of any failure within a uniformly bounded number of steps. We present a method for synthesizing such a conjunctive decentralized diagnoser as an online diagnoser.},
keywords={},
doi={10.1587/transfun.E98.A.650},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 650
EP - 653
AU - Takashi YAMAMOTO
AU - Shigemasa TAKAI
PY - 2015
DO - 10.1587/transfun.E98.A.650
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E98-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2015
AB - In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. For a conjunctively codiagnosable system, there exists a conjunctive decentralized diagnoser that can detect the occurrence of any failure within a uniformly bounded number of steps. We present a method for synthesizing such a conjunctive decentralized diagnoser as an online diagnoser.
ER -
English
