All from one, one for all, failure diagnosis of discrete event systems using representatives

Yannick Pencolé

All from one, one for all, failure diagnosis of discrete event systems using representatives

Yannick Pencolé^*

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

Abstract

Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique.

Original language	English
Pages (from-to)	208-212
Number of pages	5
Journal	Proceedings of the International Conference on Tools with Artificial Intelligence
Publication status	Published - 2003
Event	Proceedings: 15th IEEE International Conference on Tools with artificial Intelligence - Sacramento, CA, United States Duration: 3 Nov 2003 → 5 Nov 2003

Cite this

@article{c56725108c714cc590e222103eeb2642,

title = "All from one, one for all, failure diagnosis of discrete event systems using representatives",

abstract = "Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique.",

author = "Yannick Pencol{\'e}",

year = "2003",

language = "English",

pages = "208--212",

journal = "Proceedings of the International Conference on Tools with Artificial Intelligence",

issn = "1063-6730",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "Proceedings: 15th IEEE International Conference on Tools with artificial Intelligence ; Conference date: 03-11-2003 Through 05-11-2003",

}

TY - JOUR

T1 - All from one, one for all, failure diagnosis of discrete event systems using representatives

AU - Pencolé, Yannick

PY - 2003

Y1 - 2003

N2 - Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique.

AB - Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique.

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

M3 - Conference article

AN - SCOPUS:0345097621

SN - 1063-6730

SP - 208

EP - 212

JO - Proceedings of the International Conference on Tools with Artificial Intelligence

JF - Proceedings of the International Conference on Tools with Artificial Intelligence

T2 - Proceedings: 15th IEEE International Conference on Tools with artificial Intelligence

Y2 - 3 November 2003 through 5 November 2003

ER -

All from one, one for all, failure diagnosis of discrete event systems using representatives

Abstract

Other files and links

Fingerprint

Cite this