Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation.
Niranjan L. CoorayEdward W. CzeckPublished in: J. Electron. Test. (1996)
Keyphrases
- fault detection
- finite state machines
- fault diagnosis
- fault identification
- tennessee eastman
- industrial processes
- fault detection and diagnosis
- fault isolation
- fault detection and isolation
- robust fault detection
- fault localization
- failure detection
- fuel cell
- condition monitoring
- database
- power plant
- gas turbine
- state transition
- hidden markov models
- finite state automata
- chemical process
- complex systems
- mathematical models
- model checking
- query language
- data mining techniques
- evolutionary algorithm
- metadata
- data mining
- real time
- data exchange