HNLN: Spacecraft Rendezvous

Dear all:

We computed the reachable set for the nonlinear spacecraft rendezvous with C2E2 and wanted to share our results:

• For the nonlinear system equations we used the model from https://easychair.org/publications/open/S2V.
• The model is described in two ways but identical behavior:
  • A 6-dimension model is obtained using original non-linear model with variable x,y,vx,vy,ux,uy.
  • A 4-dimension model is obtained by substitute and eliminate variable ux and uy in the equation
• C2E2 is able to verify LOS and Max velocity for 4-dimension non-linear spacecraft rendezvous model.
• C2E2 is able to verify THRUST, LOS and Max velocity for 6-dimension non-linear spacecraft rendezvous model.

The result for the 4 dimensional model is provided below and a model file for both 4-dimension and 6-dimension model from C2E2 is attached below.