Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability | IEEE Conference Publication | IEEE Xplore