In the aspect of further development of investigations in automatic th
eorem proving, complicated systems modeling and analysis of their cont
rol systems and making such systems more intelligent, we consider prob
lems of elaboration of a hybrid expert system (ES) for design of gyrom
oment system of attitude control for spacecraft. Copyright (C) 1996 El
sevier Science Limited