Stav dette: Lyapunov-based control of mechanical systems / Marcio S. de Queiroz [and others].