Anfonwch hwn fel neges destun: Functional analysis and time optimal control /