Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations

  • Authors:
  • Gianfranco Lamperti;Marina Zanella

  • Affiliations:
  • Università di Brescia, Italy, e-mail: lamperti@ing.unibs.it;Università di Brescia, Italy, e-mail: zanella@ing.unibs.it

  • Venue:
  • Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.