In this paper we prove some properties of attainable sets for time-varying infinite dimensional linear control systems with time-varying constrained controls and target sets. We also characterize the extremal controls and give necessary and sufficient conditions for the normality of the system. Moreover, we prove an existence theorem for the time optimal control, establishing two maximum principles.