Localizing Faults in Simulink/Stateflow Models with STL.

Ezio Bartocci Thomas Ferrère Niveditha Manjunath Dejan Nickovic

Published in: HSCC (2018)

Keyphrases

fault detection
probabilistic model
statistical models
neural network
genetic algorithm
computer vision
prior knowledge
control system
software engineering
fault diagnosis
bayesian framework