A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

We address the problem of diagnosing large discrete event systems. Given a flow of observations from the system, the goal is to explain these observations on-line by identifying and localising possible failures and their consequences across the system. Model-based diagnosis approaches deal with this problem but, apart very recent proposals, either they require the computation of a global model of the system which is not possible with large discrete event systems, or they cannot perform on-line diagnosis. The contribution of this paper is the description and the implementation of a formal framework for the on-line decentralised diagnosis of such systems, framework which is based on the ''divide and conquer'' principle and does not require the global model computation. This paper finally describes the use of this framework in the monitoring of a real telecommunication network.

[1]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[2]  P. Pandurang Nayak,et al.  Immobile Robots AI in the New Millennium , 1996, AI Mag..

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

[4]  Malik Ghallab,et al.  Situation Recognition: Representation and Algorithms , 1993, IJCAI.

[5]  Marie-Odile Cordier,et al.  A decentralized model-based diagnostic tool for complex systems , 2001, Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001.

[6]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[7]  André Arnold Transition systems and concurrent processes , 1988 .

[8]  Jan Lunze Discrete-event modelling and diagnosis of quantised dynamical systems , 2003 .

[9]  D. Niebur Expert systems for power system control in Western Europe , 1991, IEEE Control Systems.

[10]  Gianfranco Lamperti,et al.  CONTINUOUS DIAGNOSIS OF DISCRETE-EVENT SYSTEMS , 2003 .

[11]  Antoni W. Mazurkiewicz,et al.  Basic notions of trace theory , 1988, REX Workshop.

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

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

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

[15]  Doron A. Peled,et al.  All from One, One for All: on Model Checking Using Representatives , 1993, CAV.

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

[17]  Albert Benveniste,et al.  Distributed diagnosis for large discrete event dynamic systems , 2002 .

[18]  Helena Rasiowa,et al.  Mathematical problems in computation theory , 1988 .

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

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

[21]  Marie-Odile Cordier,et al.  Alarm Driven Monitoring Based on Chronicles , 2000 .

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

[23]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

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

[25]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

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

[27]  Raja Sengupta Diagnosis and Communication in Distributed Systems , 1999 .

[28]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.