Passivity-based-control for double-pendulum-type overhead cranes | IEEE Conference Publication | IEEE Xplore