Dynamic modeling of an ostraciiform robotic fish based on angle of attack theory | IEEE Conference Publication | IEEE Xplore