Exactness verification of upper-bound relaxations derived via parameter-dependent multipliers for rational uncertainty blocks | IEEE Conference Publication | IEEE Xplore