Fast Approximation of the HINFINITY Norm via Optimization over Spectral Value Sets

The $H_\infty$ norm of a transfer matrix function for a control system is the reciprocal of the largest value of $\varepsilon$ such that the associated $\varepsilon$-spectral value set is contained in the stability region for the dynamical system (the left half-plane in the continuous-time case and the unit disk in the discrete-time case). After deriving some fundamental properties of spectral value sets, particularly the intricate relationship between the singular vectors of the transfer matrix and the eigenvectors of the corresponding perturbed system matrix, we extend an algorithm recently introduced by Guglielmi and Overton [SIAM J. Matrix Anal. Appl., 32 (2011), pp. 1166--1192] for approximating the maximal real part or modulus of points in a matrix pseudospectrum to spectral value sets, characterizing its fixed points. We then introduce a Newton-bisection method to approximate the $H_\infty$ norm, for which each step requires optimization of the real part or the modulus over an $\varepsilon$-spectra...