Fast and compact self stabilizing verification, computation, and fault detection of an MST.
Amos KormanShay KuttenToshimitsu MasuzawaPublished in: PODC (2011)
Keyphrases
- fault detection
- fault diagnosis
- industrial processes
- fault identification
- failure detection
- fault detection and diagnosis
- condition monitoring
- robust fault detection
- fuel cell
- fault localization
- model checking
- rotating machinery
- tennessee eastman
- fault detection and isolation
- minimum spanning tree
- fault isolation
- case based reasoning
- real time
- knowledge base