, LAPACK 2 and GLPK : the procedure of cross-compilation of LAPACK for SPAR-C/LEON3 is the following one: 2.1) Shell variables for LAPACK cross compilation: $ export CPPFLAGS=

L. $-export,

L. $-export,

, CFLAG integrates the"-g" option for debugging reasons

M. Abramowitz and I. A. Stegun, Handbook of mathematical functions: with formulas, graphs, and mathematical tables. No. 55. Courier Corporation, p.48, 1964.

K. T. Alfriend and H. Schaub, Dynamic and control of spacecraft formations: challenges and some solutions, Journal of Astronautical Sciences, vol.48, issue.2, pp.249-267, 2000.

E. Andersen, C. Roos, and T. Terlaky, On implementing a primal-dual interiorpoint method for conic quadratic optimization, Mathematical Programming, vol.95, issue.2, pp.249-277, 2003.

A. Gilz and P. R. , A Matlab R /Simulink R non-linear simulator for orbital spacecraft rendezvous applications, vol.4, p.18, 2016.

A. Gilz and P. R. , A non-linear simulator written in C for orbital spacecraft rendezvous applications, vol.4, p.18, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01410075

A. Gilz, P. R. Bréhard, F. Gazzino, and C. , Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations, SciTech 2018 -AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, vol.6, p.92, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01540170

A. Gilz, P. R. Jolde?, M. Louembet, C. Camps, and F. , Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories, IFAC World Congress, vol.5, p.63, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01484764

A. Gilz, P. R. Joldes, M. Louembet, C. Camps, and F. , Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control Saturation. working paper, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01678768

A. Gilz, P. R. Louembet, and C. , Predictive control algorithm for spacecraft rendezvous hovering phases, Control Conference (ECC), vol.25, p.41, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078506

D. Arzelier, A. Théron, and M. Kara-zaitri, Étude bibliographique sur la modélisation du mouvement relatif pour le problème du rendezvous, convention cnes no. 71372/00, eads-astrium, vol.15, p.16, 2008.

J. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Impulse differential inclusions: A viability approach to hybrid systems, IEEE Transactions on Automatic Control, vol.47, 2002.

D. Bainov and P. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications. Monographs and Surveys in Pure and Applied Mathematics, p.31, 1993.

R. H. Battin, An introduction to the mathematics and methods of astrodynamics, 1999.

J. T. Betts, Survey of numerical methods for trajectory optimization, Journal of Guidance, Control, and Dynamics, vol.21, pp.193-207, 1998.

P. Bodin, R. Larsson, F. Nilsson, C. Chasset, R. Noteborn et al., Prisma: an in-orbit test bed for guidance, navigation, and control experiments, Journal of Spacecraft and Rockets, vol.46, 2009.

B. Borchers and . Csdp, A C library for semidefinite programming, Optimization Methods and Software, vol.11, p.78, 1999.

B. Borchers and . User, , p.52, 2006.

J. P. Boyd, Chebyshev and Fourier spectral methods, vol.93, p.101, 2001.

L. Breger and J. P. How, Gauss's variational equation-based dynamics and control for formation flying spacecraft, Journal of Guidance, Control, and Dynamics, vol.30, pp.437-448, 2007.

F. Bréhard, A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems, ISSAC 2018, vol.92, p.98, 2018.

F. Bréhard, N. Brisebarre, J. , and M. , Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations, ACM Transactions on Mathematical Software, vol.95, p.98, 2018.

M. Brentari, D. Arzelier, C. Louembet, S. Urbina, and L. Zaccarian, A hybrid control framework for impulsive control of satellite rendezvous, 2016 American Control Conference (ACC), vol.25, p.80, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01214097

C. D. Brown, Spacecraft propulsion, p.30, 1996.

F. Camps, P. R. Gilz, M. Joldes, and C. Louembet, Embedding a sdpbased control algorithm for the orbital rendezvous hovering phases, 25th Saint Petersburg International Conference on Integrated Navigation Systems (ICINS), vol.50, p.106, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01729956

R. J. Chari, Autonomous orbital rendezvous using angles-only navigation, p.39, 2001.

M. Claeys, D. Arzelier, D. Henrion, and J. Lasserre, Moment LMI approach to LTV impulsive control, Decision and Control (CDC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00797951

, Annual Conference on, vol.93, pp.5810-5815, 2013.

P. A. Czysz and C. Bruno, Future spacecraft propulsion systems: enabling technologies for space exploration, p.30, 2006.

G. Deaconu, On the trajectory design, guidance and control for spacecraft rendezvous and proximity operations, vol.44, p.123, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00919883

G. Deaconu, C. Louembet, T. , and A. , Constrained periodic spacecraft relative motion using non-negative polynomials, American Control Conference (ACC), vol.8, p.106, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00639905

G. Deaconu, C. Louembet, and A. Théron, Designing continuously constrained spacecraft relative trajectories for proximity operations, Journal of Guidance, Control, and Dynamics, vol.38, p.46, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078528

S. Di-cairano, H. Park, and I. Kolmanovsky, Model predictive control approach for guidance of spacecraft rendezvous and proximity maneuvering, International Journal of Robust and Nonlinear Control, vol.22, pp.1398-1427, 2012.

D. Mauro, G. Schlotterer, M. Theil, S. Lavagna, and M. , Nonlinear control for proximity operations based on differential algebra, Journal of Guidance, Control, and Dynamics, vol.38, pp.2173-2187, 2015.

S. D'amico, J. Ardaens, G. Gaias, H. Benninghoff, B. Schlepp et al., Noncooperative rendezvous using angles-only optical navigation: system design and flight results, Journal of Guidance, Control, and Dynamics, vol.36, p.41, 2013.

P. E. El'iasberg, Introduction to the Theory of Flight of Artificial Earth Satellites (???????? ? ?????? ?????? ????????????? ????????? ?????). Israel Program for Scientific Translations, p.15, 1967.

. Esa, Onboard computer and data handling, p.50, 2014.

F. Fahroo and I. M. Ross, Direct trajectory optimization by a chebyshev pseudospectral method, Journal of Guidance, Control, and Dynamics, vol.25, pp.160-166, 2002.

W. Fehse, Automated rendezvous and docking of spacecraft, vol.16, p.27, 2003.

S. L. Fraga and F. L. Pereira, Hamilton-jacobi-bellman equation and feedback synthesis for impulsive control, IEEE Transactions on Automatic Control, vol.57, p.31, 2012.

K. Fujisawa, M. Kojima, K. Nakata, and M. Yamashita, Sdpa (semidefinite programming algorithm) user's manual-version 6.2. 0. Department of Mathematical and Com-puting Sciences, Tokyo Institute of Technology, Research Reports on Mathematical and Computing Sciences Series B: Operations Research, p.52, 2002.

G. Gaias, S. D'amico, and J. Ardaens, Angles-only navigation to a noncooperative satellite using relative orbital elements, Journal of Guidance, Control, and Dynamics, vol.37, 2014.

. Glpk and . Glpk, , p.50, 2012.

A. H. González, P. S. Rivadeneira, A. Ferramosca, N. Magdelaine, and C. H. Moog, Impulsive zone mpc for type i diabetic patients based on a long-term model, IFAC-PapersOnLine, vol.50, p.63, 2017.

D. Gottlieb and S. A. Orszag, Numerical Analysis of Spectral Methods: Theory and Applications, vol.26, p.93, 1977.

P. Gurfil, Relative motion between elliptic orbits: generalized boundedness conditions and optimal formationkeeping, Journal of Guidance, Control, and Dynamics, vol.28, p.25, 2005.

W. M. Haddad, V. Chellaboina, and S. G. Nersesov, Impulsive and hybrid dynamical systems, Princeton Series in Applied Mathematics, p.31, 2006.

R. Hall and D. Shayler, Soyuz: a universal spacecraft, 2003.

I. I. Haranas and M. Harney, Gauss planetary equations in a non-singular gravitational potential, vol.8, p.13

E. N. Hartley and J. M. Maciejowski, Predictive control for spacecraft rendezvous in an elliptical orbit using an FPGA, Control Conference (ECC), 2013.

. European, , vol.62, pp.1359-1364, 2013.

E. N. Hartley and J. M. Maciejowski, Field programmable gate array based predictive control system for spacecraft rendezvous in elliptical orbits, Optimal Control Applications and Methods, vol.36, pp.585-607, 2015.

E. N. Hartley, P. A. Trodden, A. G. Richards, and J. M. Maciejowski, Model predictive control system design and implementation for spacecraft rendezvous, Control Engineering Practice, vol.20, p.43, 2012.

C. Helmberg, F. Rendl, R. J. Vanderbei, and H. Wolkowicz, An interiorpoint method for semidefinite programming, SIAM Journal on Optimization, vol.6, pp.342-361, 1996.

M. Holzinger, J. Dimatteo, J. Schwartz, and M. Milam, Passively safe receding horizon control for satellite proximity operations, CDC 2008. 47th IEEE Conference on, vol.18, pp.3433-3440, 2008.

H. Hong, Implicitization of curves parameterized by generalized trigonometric polynomials, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, vol.948

H. Springer-berlin, , vol.46, pp.285-296, 1995.

A. Hope and A. Trask, Pulsed thrust method for hover formation flying, vol.3, p.38

M. Humi, Fuel-optimal rendezvous in a general central force field, Journal of Guidance, Control, and Dynamics, vol.16, pp.215-217, 1993.

D. J. Irvin, R. G. Cobb, and T. A. Lovell, A general methodology for minimumfuel hovering satellite formation, Advances in the Astronautical Sciences, vol.129, p.38, 2007.

D. J. Irvin, R. G. Cobb, and T. A. Lovell, Fuel-optimal maneuvers for constrained relative satellite orbits, Journal of guidance, control, and dynamics, vol.32, pp.960-973, 2009.

D. J. Irvin, R. G. Cobb, and T. A. Lovell, An investigation of teardrop relative orbits for circular and elliptical chief satellites, Advances in the Astronautical Sciences, vol.134, p.39, 2009.

M. Jolde?, Rigorous Polynomial Approximations and Applications, p.93, 2011.

M. Kara-zaitri, Modélisation et guidage robuste et autonome pour le problème du rendez-vous orbital, vol.15, p.18, 2010.

T. Kubota, T. Hashimoto, J. Kawaguchi, M. Uo, and K. Shirakawa, Guidance and navigation of hayabusa spacecraft for asteroid exploration and sample return mission, SICE-ICASE, 2006. International Joint Conference, pp.2793-2796, 2006.

J. Lasserre, Moments, positive polynomials and their applications, vol.1, p.93, 2009.

A. S. Lewis and M. L. Overton, Nonsmooth optimization via BFGS, vol.133, p.134

A. S. Lewis and M. L. Overton, Nonsmooth optimization via quasi-newton methods, Mathematical Programming, vol.141, p.136, 2013.

P. D. Lizia, R. Armellin, and M. Lavagna, Application of high order expansions of two-point boundary value problems to astrodynamics, Celestial Mechanics and Dynamical Astronomy, vol.102, pp.355-375, 2008.

P. D. Lizia, R. Armellin, A. Morselli, and F. Bernelli-zazzera, High order optimal feedback control of space trajectories with bounded control, Acta Astronautica, vol.94, 2014.

J. Löfberg and . Yalmip, A toolbox for modeling and optimization in MATLAB, Computer Aided Control Systems Design, vol.106, pp.284-289, 2004.

M. López and G. Still, Semi-infinite programming, European Journal of Operational Research, vol.180, p.37, 2007.

C. Louembet, A. Gilz, and P. R. , Event-triggered Model predictive control for spacecraft rendezvous, 6th IFAC Conference on Nonlinear Model Predictive Control (NMPC 2018, p.115, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01844002

C. Louembet, D. Arzelier, and G. Deaconu, Robust rendezvous planning under maneuver execution errors, Journal of Guidance, Control, and Dynamics, vol.38, p.61, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078508

T. A. Lovell and D. Brown, Impulsive-hover satellite trajectory design for rendezvous and proximity operation missions. AAS Rocky Mountain Guidance, Navigation and Control Conference, vol.3, p.38, 2007.

T. A. Lovell and M. V. Tollefson, Calculation of impulsive hovering trajectories via relative orbit elements, Advances in the Astronautical Sciences, vol.123, p.38, 2006.

D. G. Luenberger, Y. , and Y. , Linear and nonlinear programming, vol.2, p.132, 1984.

Y. Luo, G. Tang, and Y. Lei, Optimal multi-objective linearized impulsive rendezvous, Journal of guidance, control, and dynamics, vol.30, p.39, 2007.

S. Marcuccio, A. Genovese, A. , and M. , Experimental performance of field emission microthrusters, Journal of Propulsion and Power, vol.14, 1998.

J. C. Mason, D. C. Handscomb, and . Chebyshev, , p.95, 2002.

O. Montenbruck and E. Gill, Satellite orbits: models, methods and applications, p.12, 2012.

M. Morari and J. H. Lee, Model predictive control: past, present and future, Computers and Chemical Engineering, vol.23, pp.667-682, 1999.

J. B. Mueller and R. Larsson, Collision avoidance maneuver planning with robust optimization, International ESA Conference on Guidance, Navigation and Control Systems, p.61, 2008.

. Nasa and . Iss-trajectory-data, , vol.15, p.57, 2009.

Y. Nesterov, Squared functional systems and optimization problems, vol.44, p.123, 2000.

L. Neustadt, Optimization, a moment problem, and nonlinear programming, Journal of the Society for Industrial and Applied Mathematics Series A Control, vol.2, p.66, 1964.

S. Olver, T. , and A. , A fast and well-conditioned spectral method, SIAM Review, vol.55, p.102, 2013.

G. Pender and . Manual, , p.50, 2011.

F. L. Pereira, F. A. Fontes, P. Aguiar, and A. ,

J. Sousa, An Optimization-Based Framework for Impulsive Control Systems, vol.63, pp.277-300, 2015.

F. L. Pereira and G. N. Silva, Stability for impulsive control systems, Dynamical Systems, vol.17, pp.421-434, 2002.

F. L. Pereira, G. N. Silva, and V. Oliveira, Invariance for impulsive control systems, Automation and Remote Control, vol.69, 2008.

M. J. Powell, Some global convergence properties of a variable metric algorithm for minimization without exact line searches, Nonlinear programming, vol.9, 1976.

A. Riccardi, C. Tardioli, and M. Vasile, An intrusive approach to uncertainty propagation in orbital mechanics based on Tchebycheff polynomial algebra, AAS/AIAA Astrodynamics Specialist Conference, vol.92, pp.707-722, 2015.

A. Richards, J. How, T. Schouwenaars, and E. Feron, Plume avoidance maneuver planning using mixed integer linear programming, Proceedings of the AIAA Guidance, Navigation, and Control Conference, vol.43, pp.6-9, 2001.

A. Richards, T. Schouwenaars, J. P. How, and E. Feron, Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming, Journal of Guidance, Control, and Dynamics, vol.25, 2002.

J. Ries, R. Eanes, C. Huang, B. Schutz, C. Shum et al., Determination of the gravitational coefficient of the earth from near-earth satellites, Geophysical research letters, vol.16, issue.10, pp.271-274, 1989.

P. S. Rivadeneira, A. Ferramosca, and A. H. González, Mpc with state window target control in linear impulsive systems, 5th IFAC Conference on Nonlinear Model Predictive Control NMPC, vol.48, p.63, 2015.

I. M. Ross, Space trajectory optimization and l1-optimal control problems, Modern astrodynamics, vol.1, 2006.

N. Z. Shor, Minimization methods for non-differentiable functions, vol.3, p.136, 1985.

P. Sopasakis, P. Patrinos, H. Sarimveis, and A. Bemporad, Model predictive control for linear impulsive systems, Decision and Control (CDC), pp.2012-51

, Annual Conference on, vol.63, pp.5164-5169, 2012.

J. F. Sturm, Using sedumi 1.02, a matlab toolbox for optimization over symmetric cones. Optimization methods and software, vol.11, pp.625-653, 1999.

K. Toh, M. J. Todd, and R. H. Tütüncü, Sdpt3-a matlab software package for semidefinite programming, version 1.3. Optimization methods and software, vol.11, pp.545-581, 1999.

J. Tschauner, Elliptic orbit rendezvous, AIAA Journal, vol.5, p.20, 1967.

J. Tschauner and P. Hempel, Rendezvous zu einem in elliptischer bahn umlaufenden ziel, Astronautica Acta, vol.11, p.19, 1965.

W. Tucker, Validated numerics: a short introduction to rigorous computations, p.106, 2011.

M. J. Turner, Rocket and spacecraft propulsion: principles, practice and new developments, p.30, 2008.

R. H. Tütüncü, K. C. Toh, and M. J. Todd, Solving semidefinite-quadratic-linear programs using sdpt3, Mathematical programming, vol.95, pp.189-217, 2003.

M. Walker, B. Ireland, and J. Owens, A set modified equinoctial orbit elements, Celestial mechanics, vol.36, 1985.

J. Williams and E. Lightsey, Optimal impulsive maneuvering within a confined hover region, AIAA Guidance, Navigation and Control Conference and Exhibit, vol.3, p.39

D. C. Woffinden, On-orbit satellite inspection: navigation and [Delta] v analysis, vol.39, p.40, 2004.

H. Yalcin, M. Unel, and W. Wolovich, Implicitization of parametric curves by matrix annihilation, IEEE International Conference on Image Processing (ICIP '02, vol.126, pp.22-25, 2002.

N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed-point theorem, SIAM Journal on Numerical Analysis, vol.35, p.98, 1998.

K. Yamanaka, A. , and F. , New state transition matrix for relative motion on an arbitrary elliptical orbit, Journal of guidance, control, and dynamics, vol.25, p.22, 2002.

J. Zemke, A free interval arithmetic toolbox for matlab, p.106, 1999.

J. Zhan, L. , and X. , Flocking of multi-agent systems via model predictive control based on position-only measurements, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.377-385, 2013.