A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- 31 May 2005
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 164 (1-2), 121-170
- https://doi.org/10.1016/j.artint.2005.01.002
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Process algebras for systems diagnosisArtificial Intelligence, 2002
- Diagnosis of discrete-event systems from uncertain temporal observationsArtificial Intelligence, 2002
- DISTRIBUTED DIAGNOSIS FOR LARGE DISCRETE EVENT DYNAMIC SYSTEMSIFAC Proceedings Volumes, 2002
- Alarm Driven Monitoring Based on ChroniclesIFAC Proceedings Volumes, 2000
- Diagnosis of a class of distributed discrete-event systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2000
- Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event SystemsDiscrete Event Dynamic Systems, 2000
- Diagnosis of large active systemsArtificial Intelligence, 1999
- Model CheckingPublished by Springer Nature ,1996
- Transition systems and concurrent processesBanach Center Publications, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986