Guaranteed active fault diagnosis for uncertain nonlinear systems | IEEE Conference Publication | IEEE Xplore