Time-optimal synthesis for three relevant problems: The Brockett integrator, the Grushin plane and the Martinet distribution

We construct the time-optimal synthesis for 3 problems that are linear in the control and with polytopic constraints in the controls. Namely, the Brockett integrator, the Grushin plane, and the Martinet distribution. The main purpose is to illustrate the steps in solving an optimal control problem and in particular the use of second order conditions. The Grushin and the Martinet case are particularly important: the first is the prototype of a rank-varying distribution, the second of a non-equiregular structure.