Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations

Overdetermined (tall) systems of nonlinear equations naturally arise in the context of computing interval parameter bounds from fallible data. In tall systems, there are more interval equations than unknowns. As a result, these systems can appear to be inconsistent when they are not. An algorithm is given to compute interval nonlinear parameter bounds from fallible data and to possibly prove that no bounds exist because the tall system is inconsistent.