Validated numerical computation of the L∞-norm for linear dynamical systems

This paper develops a validated numerical algorithm to compute the L∞-norm, a norm which plays an important role in modern control. The method reduces the L∞-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.