Measures and LMI for impulsive optimal control with applications to space rendezvous problems