Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Diagnosis of large active systems
Artificial Intelligence
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
A spectrum of symbolic on-line diagnosis approaches
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A distributed control loop for autonomous recovery in a multi-agent plan
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Hi-index | 0.00 |
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given sequence of observations. Several model-based diagnosis approaches deal with this problem but they usually have either poor time performance or result in space explosion. Recent work has shown that both problems can be tackled when encoding diagnosis approaches symbolically by means of binary decision diagrams. This paper further improves upon these results and presents a decentralised symbolic diagnosis method that computes the diagnosis information for each component off-line and then combines them on-line. Experimental results show that our method provides significant improvements over existing approaches.