Part of APPLICATIONS OF FUNCTIONAL ANALYSIS TO TIME OPTIMAL CONTROL OF LINEAR SYSTEMS WITH OUTPUT CONSTRAINTS.