On computer algebra methods and numerical simulation in the problems of charged satellite attitude dynamics

A satellite with parametric attitude control system is considered. The satellite interacts with geophysical fields by gravitational, magnetic and Lorentz torques. The control algorithms for the satellite's stabilization are proposed. The correct mathematical model that ensures the prescribed accuracy is constructed with the use of computer algebra methods.