Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9650023 | Artificial Intelligence | 2005 | 50 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Yannick Pencolé, Marie-Odile Cordier,