Abstract
In stability analysis of linear time-delay systems, Lyapunov-Krasovskii functional approach often requires model transformations of the systems in order to obtain delay-dependent stability criteria. Some model transformations, however, give rise to conservativeness of the stability analysis. The source of the conservativeness attributes to additional dynamics brought about by the transformations. In this paper, we investigate stability of the additional dynamics by using Lambert W function. The function yields precise analysis of the additional dynamics and easily-checkable stability criteria due to commercially available software, which implements the function. These features are illustrated by numerical examples.