Dynamic Modeling and Analysis of Wave Compensation System based on Floating Crane in Smart Port | IEEE Conference Publication | IEEE Xplore