Development of High Speed Controller of Container Crane by Binary Input Using Mixed Logical Dynamical System | IEEE Conference Publication | IEEE Xplore