necessary and sufficient condition for stability
Complete quadratic Lyapunov-Krasovskii functional: limitations, computational efficiency, and convergence
scientific article; zbMATH DE number 6366806