A discontinuous output feedback controller and velocity observer for nonlinear mechanical systems | doi.page