On the minimum time function and the minimum energy problem; a nonlinear case

For a semilinear control system in general Banach spaces, we prove results on exact and approximate controllability, regularity of the minimum time function, connections between the minimum time function and the minimum energy.