Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence Is Equivalent to Robustness | IEEE Journals & Magazine | IEEE Xplore