The construction of Lyapunov functions with sign-definite derivative for systems satisfying the Barbashin–Krasovskii theorem

The asymptotic stability of the zero solution of autonomous systems of differential equations is considered. For systems satisfying the Barbashin–Krasovskii theorem positive-definite functions are constructed having a negative-definite derivative. The investigation is based on the method of invariant relations.