Readings in model-based diagnosis
Readings in model-based diagnosis
Scalable diagnosability checking of event-driven systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.01 |
This paper provides a new definition of diagnosability, that allows one to check the diagnosability of any set of system states, and by extension of properties that depend on the system state. The existing definitions and approaches for checking diagnosability apply to faults or sets of faults, and comparison shows that the new definition generalizes the existing ones. This new definition is applied to repair preconditions, and an example shows how this brings complementary information compared to classical fault diagnosability.