TY - GEN
T1 - Local consistency and junction tree for diagnosis of discrete-event systems
AU - John, Priscilla Kan
AU - Grastien, Alban
N1 - Publisher Copyright:
© 2008 The authors and IOS Press. All rights reserved.
PY - 2008/6
Y1 - 2008/6
N2 - We extend the decentralised/distributed approach of diagnosis of discrete-event systems modeled using automata. The goal is to avoid computing a global diagnosis, which is expensive, and to perform local diagnoses instead. To still ensure global consistency, we transform the topology of the system into a junction tree where each vertex represents a subsystem. Local consistency between the diagnoses of these subsystems ensures global consistency due to the tree structure. This technique will work best for systems whose natural structure is close to a tree structure, as the generated automata will be of reasonable size.
AB - We extend the decentralised/distributed approach of diagnosis of discrete-event systems modeled using automata. The goal is to avoid computing a global diagnosis, which is expensive, and to perform local diagnoses instead. To still ensure global consistency, we transform the topology of the system into a junction tree where each vertex represents a subsystem. Local consistency between the diagnoses of these subsystems ensures global consistency due to the tree structure. This technique will work best for systems whose natural structure is close to a tree structure, as the generated automata will be of reasonable size.
UR - http://www.scopus.com/inward/record.url?scp=84968757510&partnerID=8YFLogxK
U2 - 10.3233/978-1-58603-891-5-209
DO - 10.3233/978-1-58603-891-5-209
M3 - Conference contribution
SN - 978158603891
T3 - Frontiers in Artificial Intelligence and Applications
SP - 209
EP - 213
BT - Frontiers in Artificial Intelligence and Applications
PB - IOS Press BV
T2 - 18th European Conference on Artificial Intelligence, ECAI 2008
Y2 - 21 July 2008 through 25 July 2008
ER -