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.