Text this: Mathematical modeling and simulation for satellite attitude control