Constructions of ISS-Lyapunov functions for interconnected impulsive systems | IEEE Conference Publication | IEEE Xplore