Exactness verification of upper-bound relaxations derived via parameter-dependent multipliers for rational uncertainty blocks

This paper is concerned with exactness verification of upper-bound relaxations for robust semidefinite programs (robust SDPs) with uncertainty blocks of rational functions. We consider upper-bound relaxations derived via parameter-dependent multipliers. An algorithm is presented to obtain a candidate of worst-case uncertainties to prove exactness. Numerical examples are provided to illustrate the proposed methods.