Time optimal control of evolution equations. (2018)