Timed Uniform Consensus Resilient to Crash and Timing Faults.
Taisuke IzumiAkinori SaitohToshimitsu MasuzawaPublished in: DSN (2004)
Keyphrases
- petri net
- fault diagnosis
- fault detection
- test cases
- discrete event
- real world
- multiple faults
- real time
- directed networks
- fault detection and isolation
- timed automata
- linear array
- error detection
- finite state machines
- model based diagnosis
- case study
- information systems
- genetic algorithm
- information retrieval
- neural network
- databases