On infinite-dimensional control systems with state and control constraints

In this paper we examine infinite-dimensional control systems governed by semilinear evolution equations and having both state and control constraint. We introduce the relaxed system and show that the original trajectories are dense in an appropriate function space in the relaxed ones. We also determine the dependence of the solution set on the initial conditions. Then using those results we establish necessary and sufficient conditions for optimality for some optimization problems. Finally we prove some controllability results.