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…