Results on converse Lyapunov functions from class-KL estimates

We state results on converse Lyapunov functions for differential inclusions where a positive semidefinite function of the solutions satisfies a class-KL estimate in terms of time and a second positive semidefinite function of the initial condition. The main result is that a smooth converse Lyapunov function, i.e., one whose derivative along solutions can be used to establish the class-KL estimate, exists if and only if the class-KL estimate is robust, i.e., it holds for a larger, perturbed inclusion. It remains an open question whether all class-KL estimates are robust. One sufficient condition for robustness is that the original inclusion is locally Lipschitz. Another is that the two positive semidefinite functions agree and a backward completability condition holds. These special cases unify and generalize many existing results on converse Lyapunov theorems for differential equations and inclusions