A constructive converse Lyapunov theorem on exponential stability (Q1433445)

The paper is based on a software proposal for constructing candidate Lyapunov functions which are piecewise affine. These Lyapunov functions are interpolations on some grid points obtained by running the software based on linear programming. It is shown that, for a system whose equilibrium at the origin is exponentially stable, one may obtain a piecewise affine Lyapunov function by running the software (the run is \`\` successful'' or \`\` feasible''), i.e., an inversion of the Lyapunov theorem on exponential stability is given which allows the Lyapunov function to be obtained from a computer program. Some examples are given and comments on complexity are presented.