Discrete Abstractions of Infinite-Dimensional Impulsive Systems | IEEE Conference Publication | IEEE Xplore