Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions | IEEE Journals & Magazine | IEEE Xplore