Characterization and verification of the optimal feedback gain of a satellite magnetorquer-based attitude control system