Lyapunov-Based Model Predictive Control for Shipboard Boom Cranes Under Input Saturation | IEEE Journals & Magazine | IEEE Xplore