Stability of receding horizon control with smooth value functions - Layeghi, Hamed; Caines, Peter E. (2018 IEEE Conference on Decision and Control (CDC), 2018)