On the conservatism of the sum-of-squares method for analysis of time-delayed systems

In this paper, we present a converse Lyapunov result which shows that using polynomial Lyapunov functionals to prove the stability of linear time-delay systems is not conservative. This result motivates the sum-of-squares approach to stability analysis of linear time-delay systems. This main result is based on an extension of the Weierstrass approximation theorem to show that linear varieties of polynomials can be used to approximate linear varieties of the space of continuous functions.