Validated numerical computation of the -norm for linear dynamical systems

This paper develops a validated numerical algorithm to compute the -norm, a norm which plays an important role in modern control. The method reduces the -norm computation problem to real root localization of polynomials and some Sturm chain tests, both of which can be executed in a manner which guarantees accuracy. A computational complexity estimate is also given.