A Swing Constraint Guaranteed MPC Algorithm for Underactuated Overhead Cranes | Synapse