Adaptive finite-time attitude control for spacecraft with input quantization and measurement uncertainties. (May 2019)