Application of Kalman filters in model-based fault diagnosis of a DC-DC boost converter | IEEE Conference Publication | IEEE Xplore