Modeling and control of ballast system to improve stability of catamaran boat | IEEE Conference Publication | IEEE Xplore