A Framework for Algorithms in Globally Optimal Design

Many problems of globally optimal design have been solved in the literature using monotonicity analysis and a variety of tests, often applied in an ad hoc way. These tests are developed here, expressed mathematically and classified according to the conclusions they yield. Moreover, many new tests, similar to those used in combinatorial optimization, are presented. Finally, a general framework is proposed in which branch-and-bound algorithms for globally optimal design problems can be expressed.