Recently a method was presented to compute Lyapunov functions for nonlinear systems with multiple local attractors . This method was shown to succeed in delivering algorithmically a Lyapunov function giving qualitative information on the system's dynamics, including lower bounds on the attractors' basins of attraction. We suggest a simpler and faster algorithm to compute such a Lyapunov function if the attractors in question are exponentially stable equilibrium points. Just as in  one can apply the algorithm and expect to obtain partial information on the system dynamics if the assumptions on the system at hand are only partially fulfilled. We give four examples of our method applied to different dynamical systems from the literature.
|Fræðitímarit||Procedia Computer Science|
|Útgáfustaða||Útgefið - 2017|
|Viðburður||International Conference on Computational Science ICCS 2017 - Zurich, Sviss|
Tímalengd: 12 jún. 2017 → 14 jún. 2017
© 2017 The Authors. Published by Elsevier B.V.