In this paper we prove the convergence of an algorithm synthesising continuous piecewise-polynomial Lyapunov functions for polynomial vector fields defined on simplices. We subsequently modify the algorithm to sub-divide locally by utilizing information from infeasible linear problems. We prove that this modification does not destroy the convergence of the algorithm. Both methods are accompanied by examples. Abstract: In this paper we prove the convergence of an algorithm synthesising

more »

... piecewise-polynomial Lyapunov functions for polynomial vector fields defined on simplices. We subsequently modify the algorithm to sub-divide locally by utilizing information from infeasible linear problems. We prove that this modification does not destroy the convergence of the algorithm. Both methods are accompanied by examples. Abstract: In this paper we prove the convergence of an algorithm synthesising continuous piecewise-polynomial Lyapunov functions for polynomial vector fields defined on simplices. We subsequently modify the algorithm to sub-divide locally by utilizing information from infeasible linear problems. We prove that this modification does not destroy the convergence of the algorithm. Both methods are accompanied by examples. Abstract: In this paper we prove the convergence of an algorithm synthesising continuous piecewise-polynomial Lyapunov functions for polynomial vector fields defined on simplices. We subsequently modify the algorithm to sub-divide locally by utilizing information from infeasible linear problems. We prove that this modification does not destroy the convergence of the algorithm. Both methods are accompanied by examples.