Lyapunov-Krasovskii theory