Before revision: (One approach would be to repeatedly differentiate with respect to time until the control u again explicitly appears, which is guaranteed to happen eventually.
After revision: (One approach would be to repeatedly differentiate with respect to time until the control u again explicitly appears, though this is not guaranteed to happen eventually.