Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems

Albert Benveniste 1 Eric Fabre 1 Stefan Haar 1 Claude Jard 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Diagnosis of concurrent and asynchronous systems, such as large telecommunication or information systems, requires powerful mathematical models. The use of Petri net unfoldings allows to formalize diagnosis using partial order semantics, a generalization from the global state model imposed by the use of automata. If, in addition to asynchronicity and distribution, the network topology itself is subject to dynamic changes, all static models, including Petri nets, reach their limits. Then, graph grammars can be used, encoding in the current local states not only the current values of state variables but also the current topology of the network connections; the fact that unfolding semantics is available allows to carry over the diagnosis algorithms to this setting.
Type de document :
Communication dans un congrès
Horáček, Petr and \vSimandl, Miroslav and Zítek, Pavel. Proceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, Czech Republic. Elsevier Science Publishers, 2005
Liste complète des métadonnées
https://hal.inria.fr/inria-00638317
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:19:09
Dernière modification le : vendredi 16 novembre 2018 - 01:30:43

Identifiants

  • HAL Id : inria-00638317, version 1

Collections

INRIA | IRISA | IRISA-D2 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. Horáček, Petr and \vSimandl, Miroslav and Zítek, Pavel. Proceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, Czech Republic. Elsevier Science Publishers, 2005. 〈inria-00638317〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

154

Contact


archive-ouverte@inria.fr