Hybrid receding-horizon control: Formulation and stability analysis | IEEE Conference Publication | IEEE Xplore