Lyapunov functions for stable cascades and applications to global stabilization | IEEE Journals & Magazine | IEEE Xplore