, 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=
,
,
, CFLAG integrates the"-g" option for debugging reasons
Handbook of mathematical functions: with formulas, graphs, and mathematical tables. No. 55. Courier Corporation, p.48, 1964. ,
Dynamic and control of spacecraft formations: challenges and some solutions, Journal of Astronautical Sciences, vol.48, issue.2, pp.249-267, 2000. ,
On implementing a primal-dual interiorpoint method for conic quadratic optimization, Mathematical Programming, vol.95, issue.2, pp.249-277, 2003. ,
A Matlab R /Simulink R non-linear simulator for orbital spacecraft rendezvous applications, vol.4, p.18, 2016. ,
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
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
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
Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control Saturation. working paper, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01678768
Predictive control algorithm for spacecraft rendezvous hovering phases, Control Conference (ECC), vol.25, p.41, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01078506
É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. ,
Impulse differential inclusions: A viability approach to hybrid systems, IEEE Transactions on Automatic Control, vol.47, 2002. ,
Impulsive Differential Equations: Periodic Solutions and Applications. Monographs and Surveys in Pure and Applied Mathematics, p.31, 1993. ,
An introduction to the mathematics and methods of astrodynamics, 1999. ,
Survey of numerical methods for trajectory optimization, Journal of Guidance, Control, and Dynamics, vol.21, pp.193-207, 1998. ,
Prisma: an in-orbit test bed for guidance, navigation, and control experiments, Journal of Spacecraft and Rockets, vol.46, 2009. ,
A C library for semidefinite programming, Optimization Methods and Software, vol.11, p.78, 1999. ,
, , p.52, 2006.
Chebyshev and Fourier spectral methods, vol.93, p.101, 2001. ,
Gauss's variational equation-based dynamics and control for formation flying spacecraft, Journal of Guidance, Control, and Dynamics, vol.30, pp.437-448, 2007. ,
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems, ISSAC 2018, vol.92, p.98, 2018. ,
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations, ACM Transactions on Mathematical Software, vol.95, p.98, 2018. ,
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
Spacecraft propulsion, p.30, 1996. ,
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
Autonomous orbital rendezvous using angles-only navigation, p.39, 2001. ,
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.
Future spacecraft propulsion systems: enabling technologies for space exploration, p.30, 2006. ,
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
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
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
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. ,
Nonlinear control for proximity operations based on differential algebra, Journal of Guidance, Control, and Dynamics, vol.38, pp.2173-2187, 2015. ,
Noncooperative rendezvous using angles-only optical navigation: system design and flight results, Journal of Guidance, Control, and Dynamics, vol.36, p.41, 2013. ,
Introduction to the Theory of Flight of Artificial Earth Satellites (???????? ? ?????? ?????? ????????????? ????????? ?????). Israel Program for Scientific Translations, p.15, 1967. ,
Onboard computer and data handling, p.50, 2014. ,
Direct trajectory optimization by a chebyshev pseudospectral method, Journal of Guidance, Control, and Dynamics, vol.25, pp.160-166, 2002. ,
Automated rendezvous and docking of spacecraft, vol.16, p.27, 2003. ,
Hamilton-jacobi-bellman equation and feedback synthesis for impulsive control, IEEE Transactions on Automatic Control, vol.57, p.31, 2012. ,
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. ,
Angles-only navigation to a noncooperative satellite using relative orbital elements, Journal of Guidance, Control, and Dynamics, vol.37, 2014. ,
, , p.50, 2012.
Impulsive zone mpc for type i diabetic patients based on a long-term model, IFAC-PapersOnLine, vol.50, p.63, 2017. ,
, Numerical Analysis of Spectral Methods: Theory and Applications, vol.26, p.93, 1977.
Relative motion between elliptic orbits: generalized boundedness conditions and optimal formationkeeping, Journal of Guidance, Control, and Dynamics, vol.28, p.25, 2005. ,
Impulsive and hybrid dynamical systems, Princeton Series in Applied Mathematics, p.31, 2006. ,
Soyuz: a universal spacecraft, 2003. ,
Gauss planetary equations in a non-singular gravitational potential, vol.8, p.13 ,
Predictive control for spacecraft rendezvous in an elliptical orbit using an FPGA, Control Conference (ECC), 2013. ,
, , vol.62, pp.1359-1364, 2013.
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. ,
Model predictive control system design and implementation for spacecraft rendezvous, Control Engineering Practice, vol.20, p.43, 2012. ,
An interiorpoint method for semidefinite programming, SIAM Journal on Optimization, vol.6, pp.342-361, 1996. ,
Passively safe receding horizon control for satellite proximity operations, CDC 2008. 47th IEEE Conference on, vol.18, pp.3433-3440, 2008. ,
Implicitization of curves parameterized by generalized trigonometric polynomials, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, vol.948 ,
, , vol.46, pp.285-296, 1995.
Pulsed thrust method for hover formation flying, vol.3, p.38 ,
Fuel-optimal rendezvous in a general central force field, Journal of Guidance, Control, and Dynamics, vol.16, pp.215-217, 1993. ,
A general methodology for minimumfuel hovering satellite formation, Advances in the Astronautical Sciences, vol.129, p.38, 2007. ,
Fuel-optimal maneuvers for constrained relative satellite orbits, Journal of guidance, control, and dynamics, vol.32, pp.960-973, 2009. ,
An investigation of teardrop relative orbits for circular and elliptical chief satellites, Advances in the Astronautical Sciences, vol.134, p.39, 2009. ,
Rigorous Polynomial Approximations and Applications, p.93, 2011. ,
Modélisation et guidage robuste et autonome pour le problème du rendez-vous orbital, vol.15, p.18, 2010. ,
Guidance and navigation of hayabusa spacecraft for asteroid exploration and sample return mission, SICE-ICASE, 2006. International Joint Conference, pp.2793-2796, 2006. ,
, Moments, positive polynomials and their applications, vol.1, p.93, 2009.
Nonsmooth optimization via BFGS, vol.133, p.134 ,
Nonsmooth optimization via quasi-newton methods, Mathematical Programming, vol.141, p.136, 2013. ,
Application of high order expansions of two-point boundary value problems to astrodynamics, Celestial Mechanics and Dynamical Astronomy, vol.102, pp.355-375, 2008. ,
High order optimal feedback control of space trajectories with bounded control, Acta Astronautica, vol.94, 2014. ,
A toolbox for modeling and optimization in MATLAB, Computer Aided Control Systems Design, vol.106, pp.284-289, 2004. ,
Semi-infinite programming, European Journal of Operational Research, vol.180, p.37, 2007. ,
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
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
Impulsive-hover satellite trajectory design for rendezvous and proximity operation missions. AAS Rocky Mountain Guidance, Navigation and Control Conference, vol.3, p.38, 2007. ,
Calculation of impulsive hovering trajectories via relative orbit elements, Advances in the Astronautical Sciences, vol.123, p.38, 2006. ,
Linear and nonlinear programming, vol.2, p.132, 1984. ,
Optimal multi-objective linearized impulsive rendezvous, Journal of guidance, control, and dynamics, vol.30, p.39, 2007. ,
Experimental performance of field emission microthrusters, Journal of Propulsion and Power, vol.14, 1998. ,
, , p.95, 2002.
Satellite orbits: models, methods and applications, p.12, 2012. ,
Model predictive control: past, present and future, Computers and Chemical Engineering, vol.23, pp.667-682, 1999. ,
Collision avoidance maneuver planning with robust optimization, International ESA Conference on Guidance, Navigation and Control Systems, p.61, 2008. ,
, , vol.15, p.57, 2009.
Squared functional systems and optimization problems, vol.44, p.123, 2000. ,
Optimization, a moment problem, and nonlinear programming, Journal of the Society for Industrial and Applied Mathematics Series A Control, vol.2, p.66, 1964. ,
A fast and well-conditioned spectral method, SIAM Review, vol.55, p.102, 2013. ,
, , p.50, 2011.
,
An Optimization-Based Framework for Impulsive Control Systems, vol.63, pp.277-300, 2015. ,
Stability for impulsive control systems, Dynamical Systems, vol.17, pp.421-434, 2002. ,
Invariance for impulsive control systems, Automation and Remote Control, vol.69, 2008. ,
Some global convergence properties of a variable metric algorithm for minimization without exact line searches, Nonlinear programming, vol.9, 1976. ,
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. ,
Plume avoidance maneuver planning using mixed integer linear programming, Proceedings of the AIAA Guidance, Navigation, and Control Conference, vol.43, pp.6-9, 2001. ,
Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming, Journal of Guidance, Control, and Dynamics, vol.25, 2002. ,
Determination of the gravitational coefficient of the earth from near-earth satellites, Geophysical research letters, vol.16, issue.10, pp.271-274, 1989. ,
Mpc with state window target control in linear impulsive systems, 5th IFAC Conference on Nonlinear Model Predictive Control NMPC, vol.48, p.63, 2015. ,
Space trajectory optimization and l1-optimal control problems, Modern astrodynamics, vol.1, 2006. ,
Minimization methods for non-differentiable functions, vol.3, p.136, 1985. ,
Model predictive control for linear impulsive systems, Decision and Control (CDC), pp.2012-51 ,
, Annual Conference on, vol.63, pp.5164-5169, 2012.
Using sedumi 1.02, a matlab toolbox for optimization over symmetric cones. Optimization methods and software, vol.11, pp.625-653, 1999. ,
Sdpt3-a matlab software package for semidefinite programming, version 1.3. Optimization methods and software, vol.11, pp.545-581, 1999. ,
Elliptic orbit rendezvous, AIAA Journal, vol.5, p.20, 1967. ,
Rendezvous zu einem in elliptischer bahn umlaufenden ziel, Astronautica Acta, vol.11, p.19, 1965. ,
Validated numerics: a short introduction to rigorous computations, p.106, 2011. ,
Rocket and spacecraft propulsion: principles, practice and new developments, p.30, 2008. ,
Solving semidefinite-quadratic-linear programs using sdpt3, Mathematical programming, vol.95, pp.189-217, 2003. ,
A set modified equinoctial orbit elements, Celestial mechanics, vol.36, 1985. ,
Optimal impulsive maneuvering within a confined hover region, AIAA Guidance, Navigation and Control Conference and Exhibit, vol.3, p.39 ,
On-orbit satellite inspection: navigation and [Delta] v analysis, vol.39, p.40, 2004. ,
Implicitization of parametric curves by matrix annihilation, IEEE International Conference on Image Processing (ICIP '02, vol.126, pp.22-25, 2002. ,
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. ,
New state transition matrix for relative motion on an arbitrary elliptical orbit, Journal of guidance, control, and dynamics, vol.25, p.22, 2002. ,
A free interval arithmetic toolbox for matlab, p.106, 1999. ,
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. ,