Infinite time regular synthesis
In this paper we provide a new sufficiency theorem for regular syntheses. The concept of regular synthesis is discussed in [12], where a sufficiency theorem for finite time syntheses is proved. There are interesting examples of optimal syntheses that are very regular, but whose trajectories have time domains not necessarily bounded. The regularity assumptions of the main theorem in [12] are verified by every piecewise smooth feedback control generating extremal trajectories that reach the target...