Control theory of systems governed by partial differential equations