Dynamic Modeling of a Robotic Fish Propelled by a Compliant Tail | IEEE Journals & Magazine | IEEE Xplore