Constructing Lyapunov-Krasovskii functionals for linear time delay systems

We present an algorithmic methodology for constructing Lyapunov-Krasovskii (L-K) functionals for linear time-delay systems, using the sum of squares decomposition of multivariate polynomials to solve the related infinite dimensional linear matrix inequalities (LMIs). The resulting functionals retain the structure of the complete L-K functional and yield conditions that approach the true delay-dependent stability bounds. The method can also he used to construct parameter-dependent L-K functionals for certifying stability under parametric uncertainty.