9 papers
Review on contraction analysis and computation of contraction metrics
Peter Giesl, Sigurdur Hafstein, Christoph Kawan
Contraction analysis considers the distance between two adjacent trajectories. If this distance is contracting, then trajectories have the same long-term behavior. The main advanta…
A Projected Subgradient Method for the Computation of Adapted Metrics for Dynamical Systems
Maurício Louzeiro, Christoph Kawan, Sigurdur Hafstein +2
In this paper, we extend a recently established subgradient method for the computation of Riemannian metrics that optimizes certain singular value functions associated with dynamic…
Existence of complete Lyapunov functions with prescribed orbital derivative
Peter Giesl, Sigurdur Hafstein, Stefan Suhr
Complete Lyapunov functions for a dynamical system, given by an autonomous ordinary differential equation, are scalar-valued functions that are strictly decreasing along orbits out…
A subgradient algorithm for data-rate optimization in the remote state estimation problem
Christoph Kawan, Sigurdur Hafstein, Peter Giesl
In the remote state estimation problem, an observer tries to reconstruct the state of a dynamical system at a remote location, where no direct sensor measurements are available. Th…
Computation and verification of contraction metrics for exponentially stable equilibria
Peter Giesl, Sigurdur Hafstein, Iman Mehrabinezhad
The determination of exponentially stable equilibria and their basin of attraction for a dynamical system given by a general autonomous ordinary differential equation can be achiev…
Computing Expected Runtimes for Constant Probability Programs
Jürgen Giesl, Peter Giesl, Marcel Hark
We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almos…