Using energy constraints to generate fault candidates in model based diagnosis | IET Conference Publication | IEEE Xplore