A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
From MaRDI portal
Publication:2457674
DOI10.1016/j.artint.2005.01.002zbMath1132.93336MaRDI QIDQ2457674
Marie-Odile Cordier, Yannick Pencolé
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
model-based diagnosis; telecommunication networks; discrete event systems; fault propagation; distributed artificial intelligence; decentralised model
90B18: Communication networks in operations research
90B25: Reliability, availability, maintenance, inspection in operations research
93C65: Discrete event control/observation systems
68T99: Artificial intelligence
93A15: Large-scale systems
Related Items
Active fault tolerant control of discrete event systems using online diagnostics, Computation of minimal event bases that ensure diagnosability, Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays, Diagnosis of discrete event systems using decentralized architectures, Diagnosis of behaviors of interest in partially-observed discrete-event systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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