  For a constrained optimal impulse control problem of an abstract dynamical
system, we introduce the occupation measures along with aggregated occupation
measures and present two associated linear programs. We prove that the two
linear programs are equivalent under appropriate conditions, and each linear
program gives rise to an optimal strategy in the original impulse control
problem.
