Fault diagnosis for distributed asynchronous dynamically reconfigured discrete event systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 38, Issue 1, 2005, Pages 85-90

  Haar, S ^a,b   Benveniste, A ^a,b   Fabre, E ^a,b   Jard, C ^a,c  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA   (France)

^c CNRS   (France)

Author keywords

Discrete event systems; Distributed models; Fault diagnosis; Networks

Indexed keywords

FAILURE ANALYSIS; FAULT DETECTION; FORMAL LANGUAGES; GRAPH ALGORITHMS; NETWORKS (CIRCUITS); PETRI NETS; SEMANTICS; TOPOLOGY;

ASYNCHRONOUS SYSTEM; DIAGNOSIS ALGORITHMS; DISTRIBUTED MODELS; NETWORK CONNECTION; NETWORK TOPOLOGY; PARTIAL ORDER SEMANTICS; PETRI NET UNFOLDINGS; UNFOLDING SEMANTICS;

DISCRETE EVENT SIMULATION;

EID: 79960723038     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00299     Document Type: Conference Paper

References (6)

1. Baldan, P.; Corradini, A; and Montanari, U. Unfolding and event structure semantics for graph grammars. Proc. FOSSACS 1999, LNCS 1578:73-89.
2. Baldan, P.; Corradini, A; Montanari, U. Contextual Petri nets, asymmetric event structures and processes. Information and Computation 171(1):1- 49, 2001.
3. Benveniste, A; Fabre, E.; Haar, S; and Jard, C. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, May 2003.
4. Ehrig, H; Kreowski, H.-J.; Montanari, U; Rozenberg, G. (eds.). Handbook of Graph Grammars and Computing by Graph Transformations. Vol. 3. World Scientific 1999.
5. Engelfriet, J. Branching processes of Petri Nets. Acta Informatica, 28:575-591, 1991.
6. Benveniste, A; Fabre, E.; Haar, S; and Jard, C. Distributed monitoring of concurrent and asynchronous systems. In Proc. CONCUR 2003 (Invited Talk), LNCS. Springer, 2003. Revised and extended version to appear in Discrete Event Systems.