Time optimal controls for semilinear distributed parameter systems—existence theory and necessary conditions

Abstract

For a semilinear controlled evolution system with state dependent control domain, we study the existence of admissible trajectories, the properties of attainable set as well as the existence of time optimal controls. For the case the control domain is independent of the state, a Pontryagh's type maximum principle is proved.