Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction J Björnsson, P Giesl, S Hafstein, CM Kellett, H Li 53rd IEEE Conference on Decision and Control, 5506-5511, 2014 | 24 | 2014 |

Computation of Lyapunov functions for systems with multiple local attractors J Björnsson, P Giesl, SF Hafstein, CM Kellett Discrete & Continuous Dynamical Systems-A 35 (9), 4019, 2015 | 23 | 2015 |

Algorithmic verification of approximations to complete Lyapunov functions J Björnsson, P Giesl, S Hafstein Proceedings of the 21st international symposium on mathematical theory of …, 2014 | 15 | 2014 |

Class library in C++ to compute Lyapunov functions for nonlinear systems J Björnsson, S Gudmundsson, S Hafstein IFAC-PapersOnLine 48 (11), 778-783, 2015 | 12 | 2015 |

Efficient Lyapunov function computation for systems with multiple exponentially stable equilibria J Björnsson, SF Hafstein Procedia Computer Science 108, 655-664, 2017 | 4 | 2017 |

Computation of Lyapunov functions for systems with multiple local attractors CM Kellett, SF Hafstein, P Giesl, J Björnsson DYNAMICAL SYSTEMS 35 (9), 2015 | | 2015 |

Class library in C++ to compute Lyapunov functions for nonlinear systems∗∗ Björnsson and Gudmundsson are supported by The Icelandic Research Fund, grant nr. 130677-052 and … J Björnsson | | 2015 |