“…In Figure 2, the curve "x T (t)Rx(t)-FTCS" indicates that for given x(0) = [750, 650, 550, 0, 0, 0] T , which satisfies x T (0)Rx(0) = 1.2875 × 10 6 < 1.3 × 10 6 , x T (t)Rx(t) < 2.5 × 10 6 holds, ∀ t ∈ [0, 40], x T (t)Rx(t) < 1.0 × 10 4 holds, ∀ t ∈ [10,40]. Hence, according to Definition 1, the designed spacecraft rendezvous system is finite-time contractively stable w.r.t.…”