Amplitude-Saturated Nonlinear Output Feedback Antiswing Control for Underactuated Cranes With Double-Pendulum Cargo Dynamics | Synapse