Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations

G. Lamperti,M. Zanella

DOI: https://doi.org/10.3233/978-1-58603-891-5-793

2008-06-27

Abstract:In discrete-event system monitoring, a set of candidate diagnoses is output at the reception of each observation fragment. However, when the observation is uncertain, this result may be not dependable: the sets of diagnoses, relevant to consecutive observation fragments, may be unrelated to one another, and, even worse, they may be unrelated to the actual diagnosis. To cope with this problem, the notion of monotonic monitoring is introduced, which is supported by specific constraints on the fragmentation of the uncertain observation, leading to the notion of stratification.