Observer design for boom cranes with double-pendulum effect | IEEE Conference Publication | IEEE Xplore