To tackle the problem of attitude synchronization control of satellite formation under angular velocity constraint

a comprehensive design strategy of additional system dynamic-attitude synchronization controller was proposed. Firstly

considering the influence of angular velocity constraint

a spacecraft formation model was established. Then

an attitude tracking error equation was established. The angular velocity constraint was converted into angular velocity tracking error constraint

and a new finite-time additional system dynamic was designed to ensure that the attitude change met the constraint requirements. Next

based on the state of the additional system

an attitude synchronization controller was designed to realize the finite-time attitude synchronization of satellite formation. Finally

a distributed real-time simulation verification platform was built. The main control unit extracted real-time data from the simulation unit to draw a simulation curve

and sent the data to the visual unit for scene driving. Through the comparative analysis of the real-time simulation curve and the offline simulation results

as well as the three-dimensional visualization demonstration of the formation control process

the reliability verification of the control algorithm in real-time environment was realized.