  For systems evolving on a Riemannian manifold, we propose converse Lyapunov
theorems for asymptotic and exponential stability. The novelty of the proposed
approach is that is does not rely on local Euclidean coordinate, and is thus
valid on a wider domain than the immediate vicinity of the considered
equilibrium. We also show how the constructions can be useful for robustness
analysis.
