Robust Fault Diagnosis of Nonlinear Systems Using Interval Constraint Satisfaction and Analytical Redundancy Relations | IEEE Journals & Magazine | IEEE Xplore