Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems