Monitoring of Active Systems With Stratified Uncertain Observations

In monitoring-based diagnosis of active systems, the observation is fragmented over time: at the occurrence of each fragment, the internal representation of the observation received so far is updated, new monitoring states are estimated, and a new set of candidate diagnoses is output. When the observation is temporally uncertain, a problem arises about the dependability of the monitoring output: Two consecutive sets of diagnoses, relevant to two 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 temporal observation, leading to the notion of stratification. Stratified observations support monotonic monitoring of active systems.

[1]  Shigemasa Takai,et al.  Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[3]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[4]  Gautam Biswas,et al.  Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Yannick Pencolé,et al.  Diagnosis of discrete-event systems using binary decision diagrams , 2004 .

[6]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[7]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[8]  R. H. Kwong,et al.  Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems , 1999 .

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

[10]  Gianfranco Lamperti,et al.  Diagnosis of Discrete-Event Systems , 2003 .

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

[12]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[14]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[16]  G. Lamperti,et al.  Lazy Diagnosis of Active Systems Via Pruning Techniques , 2009 .

[17]  W.M. Wonham,et al.  Fault diagnosis in timed discrete-event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[18]  Gianfranco Lamperti,et al.  Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations , 2009, ICEIS.

[19]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[20]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[21]  Gianfranco Lamperti,et al.  Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks , 1997, IJCAI.

[22]  Yannick Pencolé.  Decentralized diagnoser approach: application to telecommunication networks , 2000 .

[23]  Jan Lunze,et al.  Diagnosis of quantized systems based on a timed discrete-event model , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[24]  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).

[25]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[26]  D. Teneketzis,et al.  On the effect of communication delays in failure diagnosis of decentralized discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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

[28]  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..

[29]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..