A constructive proof of nonlinear small-gain theorem for hybrid systems | IEEE Conference Publication | IEEE Xplore