Higher-order derivatives of Lyapunov functions and ultimate boundedness in the sense of Poisson of solutions to systems of differential equations

Using the higher-order derivatives of Lyapunov functions, we obtain sufficient tests of various types for the uniform-ultimate boundedness in the sense of Poisson of solutions and various types of equiultimate boundedness of solutions in the sense of Poisson.