Fast and compact self-stabilizing verification, computation, and fault detection of an MST.
Amos KormanShay KuttenToshimitsu MasuzawaPublished in: CoRR (2015)
Keyphrases
- fault detection
- fault diagnosis
- industrial processes
- fault identification
- tennessee eastman
- condition monitoring
- fault detection and diagnosis
- failure detection
- fault localization
- robust fault detection
- rotating machinery
- model checking
- minimal spanning tree
- fault isolation
- power plant
- evolutionary computation
- fuel cell
- artificial intelligence
- real time