| Computation of Lyapunov functions for systems with multiple local attractors J Björnsson, P Giesl, SF Hafstein, CM Kellett Discrete and Continuous Dynamical Systems 35, 2015 | 32 | 2015 |
| 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 | 32 | 2014 |
| 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 | 18 | 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 | 13 | 2015 |
| Efficient Lyapunov function computation for systems with multiple exponentially stable equilibria J Björnsson, SF Hafstein Procedia Computer Science 108, 655-664, 2017 | 9 | 2017 |
