Mathematical Model of the Attitude Control System