Ковалев, А.М.; Суйков, А.С.
(2008)
The paper presents a method of building a strong Lyapunov function from a weak one for autonomous systems satisfying the conditions of the Barbashin–Krasovskii theorem. The method is based on results from the invariant set ...