Global complete observability and output-to-state stability imply the existence of a globally convergent observer - Astolfi, A; Praly, L (MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 2006)