Text this: Prescribed-Time Active Disturbance Rejection Control for Electromagnetic Formation Flight Under Model Uncertainties and Disturbances.