A smooth Lyapunov function from a class- estimate involving two positive semidefinite functions
We consider differential inclusions where a positive semidefinite function of the solutions satisfies a class- estimate in terms of time and a second positive semidefinite function of the initial condition. We show that a smooth converse Lyapunov function, , one whose derivative along solutions can be used to establish the class- estimate, exists if and only if the class- estimate is robust, , it holds for a larger, perturbed differential inclusion. It remains an open question whether all class-...
Page 1