Modeling and control of an ornithopter for diving | IEEE Conference Publication | IEEE Xplore