Stability Analysis of Trajectories on Manifolds with Applications to Observer and Controller Design