Interior sphere property for level sets of the value function of an exit time problem
We consider an optimal control problem for a system of the form = f(x,u), with a running cost L. We prove an interior sphere property for the level sets of the corresponding value function V. From such a property we obtain a semiconcavity result for V, as well as perimeter estimates for the attainable sets of a symmetric control system.