Analysis of hybrid systems resulting from relay-type hysteresis and saturation: A Lyapunov approach