Dynamic modeling of robotic fish and its experimental validation | IEEE Conference Publication | IEEE Xplore