Stability of hybrid automata with average dwell time: an invariant approach | IEEE Conference Publication | IEEE Xplore