Sigurdur Freyr Hafstein

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Benchmark Datasets

Reproducing Kernel

Lyapunov Function

Top Venues

Publications

Sigurdur Freyr Hafstein
Efficient C++ Implementations of Generalized Interpolation in Reproducing Kernel Hilbert Spaces to Compute Lyapunov Functions. ECC (2024)
Sigurdur Freyr Hafstein
Efficient Verification of CPA Lyapunov Functions. ICINCO (2022)
Carlos Argáez, Peter Giesl, Sigurdur Freyr Hafstein
Eigenpairs for the Analysis of Complete Lyapunov Functions. Complex. 2022 (2022)
Christoph Kawan, Sigurdur Freyr Hafstein, Peter Giesl
ResEntSG: Restoration entropy estimation for dynamical systems via Riemannian metric optimization. SoftwareX 15 (2021)
Carlos Argáez, Peter Giesl, Sigurdur Freyr Hafstein
Update (2.0) to LyapXool: Eigenpairs and new classification methods. SoftwareX 12 (2020)
Carlos Argáez, Peter Giesl, Sigurdur Freyr Hafstein
Middle Point Reduction of the Chain-recurrent Set. SIMULTECH (2019)
Carlos Argáez, Jean-Claude Berthet, Hjörtur Björnsson, Peter Giesl, Sigurdur Freyr Hafstein
LyapXool - a program to compute complete Lyapunov functions. SoftwareX 10 (2019)
Carlos Argáez, Peter Giesl, Sigurdur Freyr Hafstein
Improved estimation of the chain-recurrent set. ECC (2019)
Sigurdur Freyr Hafstein
Numerical ODE solvers and integration methods in the computation of CPA Lyapunov functions. ECC (2019)
Sigurdur Freyr Hafstein
Common Lyapunov function computation for discrete-time systems. CDC (2018)