TY - GEN
T1 - A topological perspective on diagnosis
AU - Bauer, Andreas
AU - Pinchinat, Sophie
PY - 2008
Y1 - 2008
N2 - We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the construction of a centralized diagnoser is conditioned by two fundamental properties: saturation and openness. We show that these properties are decidable for ω- regular languages. Usually, openness is guaranteed implicitly in practical settings. In contrast to this, we prove that the saturation problem is PSPACE-complete, which is relevant for the overall complexity of diagnosis.
AB - We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the construction of a centralized diagnoser is conditioned by two fundamental properties: saturation and openness. We show that these properties are decidable for ω- regular languages. Usually, openness is guaranteed implicitly in practical settings. In contrast to this, we prove that the saturation problem is PSPACE-complete, which is relevant for the overall complexity of diagnosis.
UR - http://www.scopus.com/inward/record.url?scp=53149114124&partnerID=8YFLogxK
U2 - 10.1109/WODES.2008.4605948
DO - 10.1109/WODES.2008.4605948
M3 - Conference contribution
SN - 9781424425921
T3 - Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
SP - 218
EP - 224
BT - Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
T2 - 9th International Workshop on Discrete Event Systems, WODES' 08
Y2 - 28 May 2008 through 30 May 2008
ER -