Efficient computation of Lyapunov functions for nonlinear systems by integrating numerical solutions
- 53 Downloads
A strict Lyapunov function for an equilibrium of a dynamical system asserts its asymptotic stability and gives a lower bound on its basin of attraction. For nonlinear systems, the explicit construction of a Lyapunov function taking the nonlinear dynamics into account remains a difficult problem and one often resorts to numerical methods. We improve and analyse a method that is based on a converse theorem in the Lyapunov stability theory and compare it to different methods in the literature. Our method is of low complexity, and its workload is perfectly parallel. Further, its free parameters allow it to be adapted to the problem at hand and we show that our method matches or gives a larger lower bound on the equilibrium’s basin of attraction than other approaches in the literature in most examples. Finally, we apply our method to a model of a genetic toggle switch in Escherichia coli and we demonstrate that our novel method delivers important information on the model’s dynamics for different parameters.
KeywordsNonlinear system Lyapunov function Basin of attraction Numerical method
This work was supported by the Icelandic Research Fund in the project Algorithms to compute Lyapunov functions (No. 130677-051). Additionally, the authors would like to thank the anonymous reviewers, whose suggestions improved this manuscript considerably.
Compliance with ethical standards
Conflict of interest
The authors declare that they have no conflict of interest.
- 1.Björnsson, J., Giesl, P., Hafstein, S., Kellett, C., Li, H.: Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction. In: Proceedings of the CDC, 53rd IEEE Conference on Decision and Control, pp. 5506–5511. Los Angeles (2014)Google Scholar
- 2.Björnsson, J., Hafstein, S.: Efficient Lyapunov function computation for systems with multiple exponentially stable equilibria. Procedia Comput. Sci. 108, 655–664 (2017). Proceedings of the International Conference on Computational Science (ICCS), Zurich, Switzerland, 2017Google Scholar
- 5.Doban, A.: Stability domains computation and stabilization of nonlinear systems: implications for biological systems. PhD thesis: Eindhoven University of Technology (2016)Google Scholar
- 13.Hachicho, O., Tibken, B.: Estimating domains of attraction of a class of nonlinear dynamical systems with LMI methods based on the theory of moments. In: Proceedings of the 41th IEEE Conference on Decision and Control (CDC), pp. 3150–3155. Los Angeles (2002)Google Scholar
- 16.Hafstein, S., Valfells, A.: Study of dynamical systems by fast numerical computation of Lyapunov functions. In: Proceedings of the 14th International Conference on Dynamical Systems: Theory and Applications (DSTA), Mathematical and Numerical Aspects of Dynamical System Analysis, pp. 220–240 (2017)Google Scholar
- 26.Yoshizawa, T.: Stability Theory by Liapunov’s Second Method. Publications of the Mathematical Society of Japan, No. 9. The Mathematical Society of Japan, Tokyo (1966)Google Scholar