Fault Detection of Moore Finite State Machines by Structural Models.
Valery SalauyouPublished in: CISIM (2023)
Keyphrases
- finite state machines
- fault detection
- structural models
- fault diagnosis
- industrial processes
- structural model
- model checking
- fault identification
- robust fault detection
- finite state automata
- fuel cell
- failure detection
- tennessee eastman
- fault detection and diagnosis
- hidden markov models
- power plant
- regular expressions
- artificial intelligence
- databases
- database systems
- decision making
- neural network