Finite-Time Stabilization for a Class of Non-Affine Nonlinear Systems With Input Saturation and Time-Varying Output Constraints | IEEE Journals & Magazine | IEEE Xplore