Lyapunov–Krasovskii functional; asymptomatic stability; inequality; inequalities