Fault diagnosis and logic debugging using Boolean satisfiability.
Alexander SmithAndreas G. VenerisMoayad Fahim AliAnastasios ViglasPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)
Keyphrases
- fault diagnosis
- boolean satisfiability
- sat solvers
- expert systems
- probabilistic planning
- neural network
- randomly generated
- integer linear programming
- fault detection
- sat problem
- branch and bound algorithm
- fault detection and diagnosis
- fuzzy logic
- symmetry breaking
- power transformers
- operating conditions
- chemical process
- multiple faults
- gas turbine
- multi sensor information fusion
- sat instances
- max sat
- phase transition
- planning problems
- analog circuits
- np complete
- monitoring and fault diagnosis
- machine learning
- boolean formula
- branch and bound
- constraint satisfaction
- data fusion
- state space