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