Knowledge based diagnostics for flight control | IET Conference Publication | IEEE Xplore