Hardware Simulations of Spacecraft Attitude Synchronization Using Lyapunov-Based Controllers