Convergence analysis of Taylor models and McCormick-Taylor models

This article presents an analysis of the convergence order of Taylor models and McCormick-Taylor models, namely Taylor models with McCormick relaxations as the remainder bounder, for factorable functions. Building upon the analysis of McCormick relaxations by Bompadre and Mitsos (J Glob Optim 52(1):1–28, 2012), convergence bounds are established for the addition, multiplication and composition operations. It is proved that the convergence …