GLAD: Neural Predicate Synthesis to Repair Omission Faults.
Sungmin KangShin YooPublished in: CoRR (2022)
Keyphrases
- repair actions
- fault isolation
- fault diagnosis
- network architecture
- neural network
- fault detection
- model based diagnosis
- neural fuzzy
- program synthesis
- neural information processing
- test cases
- first order logic
- texture synthesis
- fault model
- neural architecture
- error detection
- fault detection and diagnosis
- artificial neural
- functional programs
- root cause
- physical systems
- neural model
- learning algorithm
- fault detection and isolation
- evolutionary robotics
- nonlinear predictive control
- connectionist models
- preventive maintenance
- biologically plausible
- bio inspired
- associative memory
- knowledge base