發送短信 : Mathematical modeling and simulation for satellite attitude control