For the linear system in exercise (9.4) assume in addition that the terminal time Tˆ is sufficiently large. Moreover, let the initial condition with x0 ∈ R4 and the terminal condition be given. For...

For the linear system in exercise (9.4) assume in addition that the terminal

time Tˆ is sufficiently large. Moreover, let the initial condition

with x0 ∈ R4 and the terminal condition

be given. For the control u we assume

It can be proved with a known result from control theory that this system

can be steered from x0 to 0R4 in finite time. Show then that a time minimal

control exists which is unique, and give a characterization of this time minimal

control.