Xu Cheng Bruce H. Krogh Stability-constrained model predictive control. 1816-1820 2001 46 IEEE Trans. Autom. Control. 11 https://doi.org/10.1109/9.964698 db/journals/tac/tac46.html#ChengK01