Fault Detection for Timed FSM with Timeouts by Constraint Solving.
Omer Nguena TimoDimitri PrestatFlorent AvellanedaPublished in: CoRR (2018)
Keyphrases
- constraint solving
- fault detection
- finite state machines
- constraint propagation
- constraint logic programming
- fault diagnosis
- industrial processes
- fault identification
- petri net
- constraint satisfaction problems
- constraint solver
- condition monitoring
- constraint satisfaction
- tennessee eastman
- model checking
- fault isolation
- constraint programming
- fault detection and diagnosis
- fuel cell
- fault localization
- robust fault detection
- temporal constraints
- artificial neural networks
- fault detection and isolation
- search algorithm
- computer simulation
- logic programs
- evolutionary algorithm
- genetic algorithm
- data mining
- databases