On the existence of solutions to a class of minimum time control problems and applications to Fermat's Principle and to the Brachystocrone

We prove a theorem for the existence of solutions to minimum time control problems, under assumptions that do not require the convexity of the images and that weaken the assumption of upper semicontinuity. Our result applies to Fermat's Principle and to the Brachystocrone.