Finite-time sliding mode control synthesis under explicit output constraint. (March 2016)