W. Alt, Stability of solutions to control constrained nonlinear optimal control problems, Applied Mathematics & Optimization, vol.13, issue.1, pp.53-68, 1990.
DOI : 10.1007/BF01445157

A. V. Balakrishnan, Applied functional analysis, 1981.

N. Bérend, J. F. Bonnans, J. Laurent-varin, M. Haddou, and C. Talbot, An interiorpoint approach to trajectory optimization, AIAA J. Guidance, Control and Dynamics, 2005.

J. F. Bonnans, Second-Order Analysis for Control Constrained Optimal Control Problems of Semilinear Elliptic Systems, Applied Mathematics and Optimization, vol.38, issue.3, pp.303-325, 1998.
DOI : 10.1007/s002459900093
URL : https://hal.archives-ouvertes.fr/inria-00073680

J. F. Bonnans and A. Hermant, No gap second order optimality conditions for optimal control problems with a single state constraint and control, Mathematical Programming, Series B, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070189

J. F. Bonnans and A. Hermant, Stability and sensitivity analysis for optimal control problems with a first-order state constraint, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00087573

J. F. Bonnans and A. Hermant, Well-Posedness of the Shooting Algorithm for State Constrained Optimal Control Problems with a Single Constraint and Control, SIAM Journal on Control and Optimization, vol.46, issue.4, 2006.
DOI : 10.1137/06065756X
URL : https://hal.archives-ouvertes.fr/inria-00071379

J. F. Bonnans and J. Laurent-varin, Computation of order conditions for symplectic partitioned Runge-Kutta schemes with application to optimal control, Numerische Mathematik, vol.103, issue.1, 2004.
DOI : 10.1007/s00211-005-0661-y
URL : https://hal.archives-ouvertes.fr/inria-00070605

J. F. Bonnans and A. Shapiro, Perturbation analysis of optimization problems, 2000.
DOI : 10.1007/978-1-4612-1394-9

R. Cominetti and J. P. Penot, Tangent sets to unilateral convex sets. Comptes Rendus de l'Académie des Sciences de Paris, Série I, pp.1631-1636, 1995.

A. L. Dontchev and W. W. Hager, Lipschitzian Stability in Nonlinear Control and Optimization, SIAM Journal on Control and Optimization, vol.31, issue.3, pp.569-603, 1993.
DOI : 10.1137/0331026

N. Dunford and J. Schwartz, Linear operators, Vol I and II. Interscience, 1958.

I. Ekeland and R. Temam, Analyse convexe etprobì emes variationnels, 1974.

W. R. Hamilton, Second essay on a general method in dynamics, Philosophical Transactions of the Royal Society, Part I, pp.95-144, 1835.

A. Haraux, How to differentiate the projection on a convex set in Hilbert space. Some applications to variational inequalities, Journal of the Mathematical Society of Japan, vol.29, issue.4, pp.615-631, 1977.
DOI : 10.2969/jmsj/02940615

A. D. Ioffe and V. M. Tihomirov, Theory of Extremal Problems, 1974.

K. Malanowski, Two-norm approach in stability and sensitivity analysis of optimization and optimal control problems, Advances in Mathematical Sciences and Applications, pp.397-443, 1993.

H. Maurer and H. J. Oberle, Second Order Sufficient Conditions for Optimal Control Problems with Free Final Time: The Riccati Approach, SIAM Journal on Control and Optimization, vol.41, issue.2, pp.380-403, 2002.
DOI : 10.1137/S0363012900377419

F. Mignot, Contr??le dans les in??quations variationelles elliptiques, Journal of Functional Analysis, vol.22, issue.2, pp.130-185, 1976.
DOI : 10.1016/0022-1236(76)90017-3

A. A. Milyutin and N. N. Osmolovskii, Calculus of Variations and Optimal Control, 1998.

Z. Páles and V. Zeidan, First-and second-order necessary conditions for control problems with constraints. Transactions of the, pp.421-453, 1994.

Z. Páles and V. Zeidan, Optimum Problems with Certain Lower Semicontinuous Set-Valued Constraints, SIAM Journal on Optimization, vol.8, issue.3, pp.707-727, 1998.
DOI : 10.1137/S105262349630725X

W. Rudin, Real and complex analysis, 1987.

N. Bérend, J. Bonnans, M. Haddou, J. Laurent-varin, and C. Talbot, An interior-point approach to trajectory optimization, 2006.

P. Berkmann and H. Pesch, Abort landing in windshear: Optimal control problem with third-order state constraint and varied switching structure, Journal of Optimization Theory and Applications, vol.2, issue.No. 2, 1995.
DOI : 10.1007/BF02192298

J. Betts, Practical Methods for Optimal Control using Nonlinear Programming, Applied Mechanics Reviews, vol.55, issue.4, 2001.
DOI : 10.1115/1.1483351

J. Bonnans, Second-Order Analysis for Control Constrained Optimal Control Problems of Semilinear Elliptic Systems, Applied Mathematics and Optimization, vol.38, issue.3, pp.303-325, 1998.
DOI : 10.1007/s002459900093
URL : https://hal.archives-ouvertes.fr/inria-00073680

J. Bonnans, R. Cominetti, and A. Shapiro, Sensitivity Analysis of Optimization Problems Under Second Order Regular Constraints, Mathematics of Operations Research, vol.23, issue.4, pp.806-831, 1998.
DOI : 10.1287/moor.23.4.806
URL : https://hal.archives-ouvertes.fr/inria-00073709

J. Bonnans, R. Cominetti, and A. Shapiro, Second Order Optimality Conditions Based on Parabolic Second Order Tangent Sets, SIAM Journal on Optimization, vol.9, issue.2, pp.466-492, 1999.
DOI : 10.1137/S1052623496306760

J. Bonnans and A. Hermant, Well-Posedness of the Shooting Algorithm for State Constrained Optimal Control Problems with a Single Constraint and Control, SIAM Journal on Control and Optimization, vol.46, issue.4, 2006.
DOI : 10.1137/06065756X
URL : https://hal.archives-ouvertes.fr/inria-00071379

J. Bonnans and A. Hermant, Stability and sensitivity analysis for optimal control problems with a first-order state constraint, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00087573

J. Bonnans and A. Shapiro, Perturbation analysis of optimization problems, 2000.
DOI : 10.1007/978-1-4612-1394-9

B. Bonnard, L. Faubourg, and E. Trelat, OPTIMAL CONTROL OF THE ATMOSPHERIC ARC OF A SPACE SHUTTLE AND NUMERICAL SIMULATIONS WITH MULTIPLE-SHOOTING METHOD, Mathematical Models and Methods in Applied Sciences, vol.15, issue.01, pp.109-140, 2005.
DOI : 10.1142/S0218202505003927
URL : https://hal.archives-ouvertes.fr/hal-00086338

A. Bryson, W. Denham, and S. Dreyfus, OPTIMAL PROGRAMMING PROBLEMS WITH INEQUALITY CONSTRAINTS, AIAA Journal, vol.1, issue.11, pp.2544-2550, 1963.
DOI : 10.2514/3.2107

R. Cominetti, Metric regularity, tangent sets, and second-order optimality conditions, Applied Mathematics & Optimization, vol.25, issue.1, pp.265-287, 1990.
DOI : 10.1007/BF01445166

R. Cominetti and J. Penot, Tangent sets to unilateral convex sets. Comptes Rendus de l'Académie des Sciences de Paris, Série I 321, pp.1631-1636, 1995.

R. Hartl, S. Sethi, and R. Vickson, A Survey of the Maximum Principles for Optimal Control Problems with State Constraints, SIAM Review, vol.37, issue.2, pp.181-218, 1995.
DOI : 10.1137/1037043

R. Hettich and H. Jongen, Semi-infinite programming: Conditions of optimality and applications, Optimization Techniques. Proc. 8th IFIP Conf. on Optimization Techniques, 1978.
DOI : 10.1007/BFb0006502

A. Ioffe, Necessary and Sufficient Conditions for a Local Minimum. 1: A Reduction Theorem and First Order Conditions, SIAM Journal on Control and Optimization, vol.17, issue.2, pp.245-250, 1979.
DOI : 10.1137/0317019

A. Ioffe and V. Tihomirov, Theory of Extremal Problems Russian Edition, 1974.

D. Jacobson, M. Lele, and J. Speyer, New necessary conditions of optimality for control problems with state-variable inequality constraints, Journal of Mathematical Analysis and Applications, vol.35, issue.2, pp.255-284, 1971.
DOI : 10.1016/0022-247X(71)90219-8

H. Kawasaki, An envelope-like effect of infinitely many inequality constraints on second-order necessary conditions for minimization problems, Mathematical Programming, vol.25, issue.1-3, pp.73-96, 1988.
DOI : 10.1007/BF01580754

H. Kawasaki, The upper and lower second order directional derivatives of a sup-type function, Mathematical Programming, vol.10, issue.1-3, pp.327-339, 1988.
DOI : 10.1007/BF01580771

H. Kawasaki, Second order necessary optimality conditions for minimizing a sup-type function, Mathematical Programming, vol.15, issue.1-3, pp.213-22991, 1990.
DOI : 10.1007/BF01588788

H. Kawasaki and V. Zeidan, Conjugate Points for Variational Problems with Equality and Inequality State Constraints, SIAM Journal on Control and Optimization, vol.39, issue.2, pp.433-456, 2000.
DOI : 10.1137/S0363012998345925

K. Malanowski, Second-order conditions and constraint qualifications in stability and sensitivity analysis of solutions to optimization problems in Hilbert spaces, Applied Mathematics & Optimization, vol.15, issue.1, pp.51-79, 1992.
DOI : 10.1007/BF01184156

K. Malanowski, Sufficient Optimality Conditions for Optimal Control Subject to State Constraints, SIAM Journal on Control and Optimization, vol.35, issue.1, pp.205-227, 1997.
DOI : 10.1137/S0363012994267637

K. Malanowski, H. Maurer, and S. Pickenhain, Second-Order Sufficient Conditions for State-Constrained Optimal Control Problems, Journal of Optimization Theory and Applications, vol.39, issue.3, pp.595-617, 2004.
DOI : 10.1007/s10957-004-5725-0

H. Maurer, On the minimum principle for optimal control problems with state constraints, 1979.

H. Maurer, First and second order sufficient optimality conditions in mathematical programming and optimal control, Mathematical Programming Study, issue.14, pp.163-177, 1981.
DOI : 10.1007/BFb0120927

H. Maurer and J. Zowe, First and second-order necessary and sufficient optimality conditions for infinite-dimensional programming problems, Mathematical Programming, vol.15, issue.1, pp.98-110, 1979.
DOI : 10.1007/BF01582096

F. Mignot, Contr??le dans les in??quations variationelles elliptiques, Journal of Functional Analysis, vol.22, issue.2, pp.130-185, 1976.
DOI : 10.1016/0022-1236(76)90017-3

A. Milyutin and N. Osmolovskii, Calculus of Variations and Optimal Control, 1998.

N. Osmolovski?-i, Higher-order necessary and sufficient conditions for Pontryagin and restricted-strong minima in an optimal control problem Translation in Soviet Phys, Doklady Akademii Nauk SSSR Dokl, vol.303, issue.33 12, pp.1052-1056, 1988.

N. Osmolovski?-i, Quadratic conditions for nonsingular extremals in optimal control (a theoretical treatment), Russian Journal of Mathematical Physics, vol.2, issue.4, pp.487-516, 1995.

H. Robbins, Junction phenomena for optimal control with state-variable inequality constraints of third order, Journal of Optimization Theory and Applications, vol.11, issue.1, pp.85-99, 1980.
DOI : 10.1007/BF00934790

S. Robinson, First Order Conditions for General Nonlinear Optimization, SIAM Journal on Applied Mathematics, vol.30, issue.4, pp.597-607, 1976.
DOI : 10.1137/0130053

S. Robinson, Stability Theory for Systems of Inequalities, Part II: Differentiable Nonlinear Systems, SIAM Journal on Numerical Analysis, vol.13, issue.4, pp.497-513, 1976.
DOI : 10.1137/0713043

J. T. Betts, Survey of Numerical Methods for Trajectory Optimization, Journal of Guidance, Control, and Dynamics, vol.21, issue.2, pp.193-207, 1998.
DOI : 10.2514/2.4231

J. T. Betts, Practical Methods for Optimal Control using Nonlinear Programming, Applied Mechanics Reviews, vol.55, issue.4, 2001.
DOI : 10.1115/1.1483351

J. F. Bonnans and G. Launay, Large scale direct optimal control applied to a re-entry problem

J. C. Butcher, The numerical analysis of ordinary differential equations, 2003.

A. L. Dontchev and W. W. Hager, The Euler approximation in state constrained optimal control, Mathematics of Computation, vol.70, issue.233, pp.173-203, 2001.
DOI : 10.1090/S0025-5718-00-01184-4

A. L. Dontchev, W. W. Hager, and V. M. Veliov, Second-Order Runge--Kutta Approximations in Control Constrained Optimal Control, SIAM Journal on Numerical Analysis, vol.38, issue.1, pp.202-226, 2000.
DOI : 10.1137/S0036142999351765

W. Hager, Runge-Kutta methods in optimal control and the transformed adjoint system, Numerische Mathematik, vol.87, issue.2, pp.247-282, 2000.
DOI : 10.1007/s002110000178

E. Hairer, C. Lubich, and G. Wanner, Geometric numerical integration, Series in Computational Mathematics, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01403326

E. Hairer, S. P. Nørsett, and G. Wanner, Solving ordinary differential equations. I, 1993.
DOI : 10.1007/978-3-662-12607-3

E. Hairer and G. Wanner, Solving ordinary differential equations. II, 1996.

G. Li and F. Ruskey, The advantages of forward thinking in generating rooted and free trees, 10th Annual ACM-SIAM symposium on discrete algorithms (SODA), 1999.

A. Murua, On Order Conditions for Partitioned Symplectic Methods, SIAM Journal on Numerical Analysis, vol.34, issue.6, pp.2204-2211, 1997.
DOI : 10.1137/S0036142995285162

M. Sofroniou and W. Oevel, Sympletic Runge--Kutta Shemes I: Order Conditions, SIAM Journal on Numerical Analysis, vol.34, issue.5, pp.2063-2086, 1997.
DOI : 10.1137/S0036142995281024