Building coercive Lyapunov-Krasovskii functionals based on Razumikhin
and Halanay approaches
Abstract
In this paper, we provide a systematic and constructive way to build a
Lyapunov-Krasovskii functional for time-delay systems whose stability
can be established through the Razumikhin or the Halanay approaches. The
constructed Lyapunov-Krasovskii functional turns out to be coercive,
meaning sandwiched between functions of the state history norm, and to
dissipate in terms of the whole history norm. We present these results
in the framework of input-to-state stability (ISS) in order to further
account for the influence of input disturbances. A special emphasis is
also given on exponential stability and exponential ISS. We illustrate
our findings though the study of a coupled ODE-PDE model of a chemical
reactor, and show that, unlike most results in that area, our approach
happens to ensure ISS in terms of the supremum norm of the state.