Reasoning on Partially-Ordered Observations in Online Diagnosis of DESs

Xiangfu Zhao,Dantong Ouyang,Liming Zhang,Xiaoyu Wang,Yuchang Mo
DOI: https://doi.org/10.3233/aic-2012-0518
IF: 1.029
2012-01-01
AI Communications
Abstract:Model-based diagnosis of discrete event systems DESs has attracted more and more attention in recent years. Online diagnosis based on actually emitted sequences of observations is very important for dynamic systems in practice. However, the observations are often uncertain. Especially, the received observation sequences may not be the actually emitted ones completely. In this paper, we use directed acyclic graphs DAGs for modeling the partial emission orders of received observations. Furthermore, combining the concept Two restricted Successive Temporal Windows proposed by Zhao and Ouyang [AI Commun. 214 2008, 249--262], we present a novel method to online update the global emitted observation sequence DAG gradually. Experimental results show that we can reason out the emitted observation sequences by this approach effectively.
What problem does this paper attempt to address?