Building coercive Lyapunov–Krasovskii functionals based on Razumikhin and Halanay approaches

Abstract

AbstractIn this article, 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.