Dynamic Modeling and Controller Design for a Spherical Rolling Robot Equipped With a Gyro | IEEE Journals & Magazine | IEEE Xplore