A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

DOI10.1016/j.artint.2005.01.002zbMath1132.93336OpenAlexW2090119576MaRDI QIDQ2457674

Yannick Pencolé, Marie-Odile Cordier

Publication date: 23 October 2007

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2005.01.002

zbMATH Keywords

model-based diagnosistelecommunication networksdiscrete event systemsfault propagationdistributed artificial intelligencedecentralised model

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Artificial intelligence (68T99) Large-scale systems (93A15)

Related Items

Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays, Minimal diagnosis and diagnosability of discrete-event systems modeled by automata, Diagnosis of discrete event systems using decentralized architectures, Sequential model-based diagnosis by systematic search, Codiagnosability and coobservability under dynamic observations: transformation and verification, Diagnosability of Discrete Faults with Uncertain Observations, An event-based distributed diagnosis framework using structural model decomposition, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Computation of minimal event bases that ensure diagnosability, Active fault tolerant control of discrete event systems using online diagnostics, State-based fault diagnosis of discrete-event systems with partially observable outputs, Discrete-Event Systems Fault Diagnosis

Cites Work

• Diagnosis of discrete-event systems from uncertain temporal observations
• Diagnosis of large active systems
• Process algebras for systems diagnosis.
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Active diagnosis of discrete-event systems
• Diagnosability of discrete-event systems
• Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
• Unnamed Item
• Unnamed Item
• Unnamed Item