论文信息 - Distributed diagnosis for large discrete event dynamic systems

Distributed diagnosis for large discrete event dynamic systems

Abstract This paper presents a framework to deal with large systems, which cannot be handled as a whole. We propose to model them as a graph of interacting subsystems, and to base all processings on this factorization of the large system.

Albert Benveniste | Claude Jard | Eric Fabre

[1] Judea Pearl,et al. Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[2] Albert Benveniste,et al. A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation , 1994 .

[3] Albert Benveniste,et al. Distributed state reconstruction for discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[4] Javier Esparza,et al. An Unfolding Algorithm for Synchronous Products of Transition Systems , 1999, CONCUR.

[5] Albert Benveniste,et al. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems , 1994, Theor. Comput. Sci..