Title: Functional analysis and time optimal control