
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.
Asymptotic stability in control theory, Numerical mathematical programming methods, exponential stability, software, Lyapunov and storage functions, Software, source code, etc. for problems pertaining to systems and control theory, converse theorems, linear programming, interpolations, Computational methods in systems theory, Lyapunov functions
Asymptotic stability in control theory, Numerical mathematical programming methods, exponential stability, software, Lyapunov and storage functions, Software, source code, etc. for problems pertaining to systems and control theory, converse theorems, linear programming, interpolations, Computational methods in systems theory, Lyapunov functions
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 47 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
