“…Theorem 2.1 is an extension of a HMP that can be found in our previous work [4] in the simpler context of a fixed initial condition and no final state constraint. Furthermore our methodology in [4] consists in a thorough sensitivity analysis of the hybrid control system, involving an inductive reasoning to handle the consecutive crossing times thanks to implicit function theorems. In the present work, Theorem 2.1, not only handles mixed terminal state constraints, but moreover is proved with a simpler method based on an augmentation technique.…”