This paper focuses on residual generation for model-based fault diagnosis. Specifically, a methodology to derive residual generators when nonlinear equations are present in the model is developed. A main result is the ...