Text this: Applications of functional analysis to time optimal control of linear systems with output constraints /