Fault Detection in Timed FSM with Timeouts by SAT-Solving.
Omer Nguena TimoDimitri PrestatFlorent AvellanedaPublished in: QRS (2019)
Keyphrases
- fault detection
- sat solving
- finite state machines
- industrial processes
- fault diagnosis
- sat solvers
- fault identification
- petri net
- boolean satisfiability
- model checking
- failure detection
- fuel cell
- robust fault detection
- tennessee eastman
- symmetry breaking
- sat problem
- max sat
- neural network
- sat encodings
- power plant
- orders of magnitude
- expert systems
- search algorithm
- reinforcement learning