Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations

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.

[1]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[2]  Gianfranco Lamperti,et al.  Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques , 2006, Artif. Intell..

[3]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[4]  Luca Console,et al.  Process algebras for systems diagnosis , 2002, Artif. Intell..

[5]  Alban Grastien,et al.  Incremental Diagnosis of Discrete-Event Systems , 2005, IJCAI.

[6]  Gianfranco Lamperti,et al.  Diagnosis of discrete-event systems from uncertain temporal observations , 2002, Artif. Intell..

[7]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[8]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[9]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[10]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[11]  G. Lamperti,et al.  A bridged diagnostic method for the monitoring of polymorphic discrete-event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).