Monitoring distributed systems with distributed algorithms

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 411-416

  Fabre, Eric ^a   Pigourier, Vincent ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; GRAPH THEORY; MARKOV PROCESSES; MAXIMUM LIKELIHOOD ESTIMATION; PROBLEM SOLVING; STATE ESTIMATION;

BAYESIAN NETWORKS; DISTRIBUTED ALGORITHMS; DISTRIBUTED DYNAMIC SYSTEMS; MODULAR ALGORITHMS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0036996396     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. E. Fabre, "Compositional Models of Distributed and Asynchronous Dynamical Systems," CDC'02.
2. E. Fabre, "Distributed Diagnosis for Large Discrete Event Dynamic Systems," in preparation.
3. J. Pearl, "Fusion, Propagation, and Structuring in Belief Networks," Artificial Intelligence, vol. 29, pp. 241-288, 1986.
4. S.L. Lauritzen, D.J. Spiegelhalter, "Local computations with probabilities on graphical structures and their application to expert systems," J. Royal Statistical Society, Series B, vol. 50, n. 2, pp. 157-224, 1988.
5. E. Fabre, A. Benveniste, C. Jard, L. Ricker, M. Smith, "Distributed state reconstruction for discrete event systems," proc. 39th Conf. on Detection and Control, Sydney, dec. 2000.
6. A. Benveniste, E. Fabre, S. Haar "Markov Nets: Probabilistic Models for Distributed and Concurrent Systems," Inria research report n. 4253, sept. 2001.
7. J. Esparza, S. Römer, "An unfolding algorithm for synchronous products of transition systems," in proceedings of CONCUR '99, LNCS 1664.
8. A. Arnold, "Finite Transition Systems," Prentice Hall, 1992.
9. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard, "Fault Detection and Diagnosis in Distributed Systems: an Approach by Partially Stochastic Petri nets," Journal of Discrete Event Dynamic Systems, special issue on Hybrid Systems, vol. 8, pp. 203-231, June 98.
10. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic, "A Calculus of Stochastic Systems: Specification, Simulation, and Hidden State Estimation," Theoretical Computer Science, no. 152, pp. 171-217, 1995.
11. R. Debouk, S. Lafortune, D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 10, no. 1-2, pp. 33-86, Jan. 2000.
12. P. Baroni, G. Lamperti, P. Pogliano, M. Zanella, "Diagnosis of large active systems," Artificial Intelligence 110, pp. 135-183, 1999.
13. L. Rozé, M-O. Cordier, "Diagnosis Discrete-Event Systems: Extending the Diagnoser Approach to Deal with Telecommunication Networks," J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 12, pp. 43-81, 2002.
14. M. Raynal, "Distributed Algorithms and Protocols," Wiley & Sons, 1988.