Compositional models of distributed and asynchronous dynamical systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 1-6

  Fabre, Eric ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DISCRETE TIME CONTROL SYSTEMS; GRAPH THEORY; MARKOV PROCESSES; MATHEMATICAL MODELS; NEURAL NETWORKS; PROBABILITY DISTRIBUTIONS; SEMANTICS; STATE ESTIMATION; TELECOMMUNICATION NETWORKS;

ASYNCHRONOUS DYNAMICAL SYSTEMS; BAYESIAN NETWORKS; COMPOSITIONAL MODELS; DISCRETE EVENT SYSTEMS; MARKOV RANDOM FIELDS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

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

References (13)

1. E. Fabre, V. Pigourier, "Monitoring distributed systems with distributed algorithms," CDC'02.
2. E. Fabre, "Distributed Diagnosis for Large Discrete Event Dynamic Systems," in preparation.
3. R. Debouk, S. Lafortune, D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," J. Disc. Event Dyn. Sys.: Th. and Appli., vol. 10, no. 1-2, pp. 33-86, Jan. 2000.
4. P. Baroni, G. Lamperti, P. Pogliano, M. Zanella, "Diagnosis of large active systems," Artif. Intel. pp. 135-183, 1999.
5. Y. Pencolé, M-O. Cordier, L. Rozé, "A decentralized model-based diagnostic tool for complex systems," 13th IEEE Int. Conf. on Tools with Artif. Intel. (ICTAI'01), pp. 95-102, Dallas, 2001.
6. J. Esparza, S. Römer, "An unfolding algorithm for synchronous products of transition systems," in proc. of CONCUR'99, LNCS 1664.
7. A. Arnold, "Finite Transition Systems," Prentice Hall, 1992.
8. W. Vogler, "Modular Construction and Partial Order Semantics of Petri Nets," LNCS no. 625, 1992.
9. C. G. Cassandras, S. Lafortune, "Introduction to discrete event systems," Kluwer Acad. Pub., 1999.
10. J. Pearl, "Fusion, Propagation, and Structuring in Belief Networks," Artif. Intel., vol. 29, pp. 241-288, 1986.
11. 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.
12. 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.
13. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard, "Fault Detection and Diagnosis in Distributed Systems: an Approach by Partially Stochastic Petri nets," J. Disc. Event Dyn. Sys., special issue on Hybrid Systems, vol. 8, pp. 203-231, June 98.