Guaranteed active fault diagnosis for uncertain nonlinear systems