A construction method of Lyapunov functions for piecewise-linear systems | IEEE Conference Publication | IEEE Xplore