Dynamic modeling and control of spacecraft robotic systems using dual quaternions