Decentralized diagnosis of discrete event systems using unconditional and conditional decisions

Yin Wang; Tae Sic Yoo; Stéphane Lafortune

doi:10.1109/CDC.2005.1583171

Decentralized diagnosis of discrete event systems using unconditional and conditional decisions

Yin Wang
, Tae Sic Yoo
, Stéphane Lafortune

Nuclear Science & Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

32 Scopus citations

Abstract

The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper first discusses the dual problem of diagnosing the absence of faults in centralized and decentralized settings. The paper then develops new definitions of decentralized diagnosis in the context of a general decentralized architecture that allows for the use of "conditional decisions" by local diagnosers. The properties of these new definitions of decentralized diagnosability are presented and their relationship with existing work discussed. Corresponding verification algorithms are also described.

Original language	English
Title of host publication	Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Publisher	IEEE Computer Society
Pages	6298-6304
Number of pages	7
ISBN (Print)	0780395689, 9780780395688
DOIs	https://doi.org/10.1109/CDC.2005.1583171
State	Published - 2005
Event	Joint 44th IEEE Conference on Decision and Control and the 8th European Control Conference, CDC-ECC 2005 - Seville, Spain Duration: Dec 12 2005 → Dec 15 2005

Publication series

Name	Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Volume	2005

Conference

Conference	Joint 44th IEEE Conference on Decision and Control and the 8th European Control Conference, CDC-ECC 2005
Country/Territory	Spain
City	Seville
Period	12/12/05 → 12/15/05

Access to Document

10.1109/CDC.2005.1583171

Cite this

Wang, Y., Yoo, T. S., & Lafortune, S. (2005). Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. In Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 (pp. 6298-6304). Article 1583171 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; Vol. 2005). IEEE Computer Society. https://doi.org/10.1109/CDC.2005.1583171

Wang, Yin ; Yoo, Tae Sic ; Lafortune, Stéphane. / Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. IEEE Computer Society, 2005. pp. 6298-6304 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05).

@inproceedings{9765a9ef5d594a22b01e4dd3282c0de4,

title = "Decentralized diagnosis of discrete event systems using unconditional and conditional decisions",

abstract = "The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper first discusses the dual problem of diagnosing the absence of faults in centralized and decentralized settings. The paper then develops new definitions of decentralized diagnosis in the context of a general decentralized architecture that allows for the use of {"}conditional decisions{"} by local diagnosers. The properties of these new definitions of decentralized diagnosability are presented and their relationship with existing work discussed. Corresponding verification algorithms are also described.",

author = "Yin Wang and Yoo, \{Tae Sic\} and St{\'e}phane Lafortune",

year = "2005",

doi = "10.1109/CDC.2005.1583171",

language = "English",

isbn = "0780395689",

series = "Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05",

publisher = "IEEE Computer Society",

pages = "6298--6304",

booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05",

note = "Joint 44th IEEE Conference on Decision and Control and the 8th European Control Conference, CDC-ECC 2005 ; Conference date: 12-12-2005 Through 15-12-2005",

}

Wang, Y, Yoo, TS & Lafortune, S 2005, Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05., 1583171, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05, vol. 2005, IEEE Computer Society, pp. 6298-6304, Joint 44th IEEE Conference on Decision and Control and the 8th European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1583171

Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. / Wang, Yin; Yoo, Tae Sic; Lafortune, Stéphane.
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. IEEE Computer Society, 2005. p. 6298-6304 1583171 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Decentralized diagnosis of discrete event systems using unconditional and conditional decisions

AU - Wang, Yin

AU - Yoo, Tae Sic

AU - Lafortune, Stéphane

PY - 2005

Y1 - 2005

N2 - The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper first discusses the dual problem of diagnosing the absence of faults in centralized and decentralized settings. The paper then develops new definitions of decentralized diagnosis in the context of a general decentralized architecture that allows for the use of "conditional decisions" by local diagnosers. The properties of these new definitions of decentralized diagnosability are presented and their relationship with existing work discussed. Corresponding verification algorithms are also described.

AB - The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper first discusses the dual problem of diagnosing the absence of faults in centralized and decentralized settings. The paper then develops new definitions of decentralized diagnosis in the context of a general decentralized architecture that allows for the use of "conditional decisions" by local diagnosers. The properties of these new definitions of decentralized diagnosability are presented and their relationship with existing work discussed. Corresponding verification algorithms are also described.

UR - https://www.scopus.com/pages/publications/33847225192

U2 - 10.1109/CDC.2005.1583171

DO - 10.1109/CDC.2005.1583171

M3 - Conference contribution

AN - SCOPUS:33847225192

SN - 0780395689

SN - 9780780395688

T3 - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

SP - 6298

EP - 6304

BT - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

PB - IEEE Computer Society

T2 - Joint 44th IEEE Conference on Decision and Control and the 8th European Control Conference, CDC-ECC 2005

Y2 - 12 December 2005 through 15 December 2005

ER -

Wang Y, Yoo TS, Lafortune S. Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. In Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. IEEE Computer Society. 2005. p. 6298-6304. 1583171. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05). doi: 10.1109/CDC.2005.1583171

Decentralized diagnosis of discrete event systems using unconditional and conditional decisions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this