A globally exponentially convergent immersion and invariance speed observer for mechanical systems with non-holonomic constraints - Astolfi,A; Ortega,R; Venkatraman,A (AUTOMATICA, 2010)