V. Barbu, Analysis and Control of Non Linear Infinite Dimensional Systems, Math in Science and Engineering, vol.190, 1993.

. Bk-]-m, . Bergounioux-k, and . Kunisch, Augmented Lagrangian Techniques for Elliptic State Constrained Optimal Control Problems, SIAM Journal on Control and Optimization, vol.35, issue.5, 1997.

. Bs-]-h, . Brézis-g, and . Stampacchia, Remarks on some fourth order variational inequalities, Annali Scuola Norm. Sup. Pisa, pp.4-363, 1977.

R. Bergounioux, M. Haddou, M. Hintermüller, and K. Kunisch, A Comparison of a Moreau--Yosida-Based Active Set Strategy and Interior Point Methods for Constrained Optimal Control Problems, SIAM Journal on Optimization, vol.11, issue.2, pp.495-521, 2000.
DOI : 10.1137/S1052623498343131

URL : https://hal.archives-ouvertes.fr/hal-00022028

. M. Bik, K. Bergounioux, K. Ito, and . Kunisch, Primal-dual Strategy for Constrained Optimal Control Problems, SIAM J. Control and Optimization, vol.37, pp.1176-1194, 1999.

. A. Bp, R. J. Berman, . Plemmonsc-]-e, and . Casas, Computer Science and Scientific Computing Series Control of an elliptic problem with pointwise state constraints, Nonnegative Matrices in the Mathematical Sciences, pp.24-1309, 1979.

. X. Cnq, Z. Chen, L. Nashed, and . Qi, Smoothing Methods and semi-smooth methods for nondifferentiable operator equations, SIAM J. on Numerical Analysis Clarke, Optimization and Nonsmooth Analysis, vol.38, pp.1200-1216, 1983.

F. Facchinei, A. Fischer, C. Kanzow, and J. Peng, A Simply Constrained Optimization Reformulation of KKT Systems Arising from Variational Inequalities, Applied Mathematics and Optimization, vol.40, issue.1, pp.4019-4056, 1999.
DOI : 10.1007/s002459900114

. A. Fk, C. Fischer, and . Kanzow, On finite termination of an iterative method for linear complementarity, Mathematical Programming, pp.279-292, 1996.

M. Heinkenschloss, C. T. Kelley, H. H. Tranh-]-r, and . Hoppe, Fast algorithms for nonsmooth compact fixed point problems Multigrid algorithms for variational inequalities [I] A. Ioffe, Necessary and sufficient conditions for a local minimum 3, SIAM J. Num. Analysis SIAM J. Numerical Analysis SIAM J. Control and Optimization, vol.29, issue.17, pp.1769-1792, 1979.

K. [. Ito and . Kunisch, Augmented Lagrangian methods for nonsmooth, convex optimization in Hilbert spaces, Nonlinear Analysis: Theory, Methods & Applications, vol.41, issue.5-6, pp.573-589, 2000.
DOI : 10.1016/S0362-546X(98)00299-5

K. [. Ito and . Kunisch, Newton's Method for a Class of Weakly Singular Optimal Control Problems, SIAM Journal on Optimization, vol.10, issue.3, pp.896-916, 2000.
DOI : 10.1137/S1052623497320840

. T. Ks-]-c, E. Kelley, and . Sachs, Multilevel algorithms for constrained compact fixed point problems, SIAM J. Sci. Comput, vol.15, pp.645-667, 1994.

. [. Kummer, Newton's method for nondifferentiable functions

. Guddat, Advances in Optimization, Mathematical Research, pp.114-125, 1988.

. [. Kummer, Generalized Newton and NCP- methods: convergence, regularity, actions, Discussiones Mathematicae. Differential Inclusions, Control and Optimization, vol.20, issue.2, pp.209-244, 2000.
DOI : 10.7151/dmdico.1013

. A. Knt-]-y, P. Kuznetsov, P. Neittaanmäki, and . Tarvainen, Overlapping block methods for obstacle problems with convection-diffusion operators, in: Complementarity and Variational Problems, SIAM, Philadelphia Maurer, First and second order sufficient optimality conditions in math References [B] D. P. Bertsekas: Constrained Optimization and Lagrange Mulitpliers, 1982.

. M. Bhhk, M. Bergounioux, M. Haddou, K. Hintermüller, and . Kunisch, A comparison of a Moreau?Yosida based active strategy and interior point methods for constrained optimal control problems, SIAM J. on Optimization, pp.11-495, 2000.

. M. Bik, K. Bergounioux, K. Ito, and . Kunisch, Primal?dual strategy for constrained optimal control problems, SIAM J. Control and Optimization, vol.37, pp.1176-1194, 1999.

. [. Dostal, Box Constrained Quadratic Programming with Proportioning and Projections, SIAM Journal on Optimization, vol.7, issue.3, pp.871-887, 1997.
DOI : 10.1137/S1052623494266250

. [. Glowinski, Numerical Methods for Nonlinear Variational Problems, 1984.
DOI : 10.1115/1.3169136

. M. Hik, K. Hintermüller, K. Ito, and . Kunisch, The primal?dual active set strategy as semi?smooth Newton method, preprint. [H] R. Hoppe: Multigrid algorithms for variational inequalities, SIAM J. Numerical Analysis, pp.24-1046, 1987.

R. [. Hoppe and . Kornhuber, Adaptive multigrid methods for obstacle problems, SIAM J. Numerical Analysis, pp.31-301, 1994.

K. [. Ito and . Kunisch, Augmented Lagrangian methods for nonsmooth, convex optimization in Hilbert spaces, Nonlinear Analysis: Theory, Methods & Applications, vol.41, issue.5-6, pp.41-573, 2000.
DOI : 10.1016/S0362-546X(98)00299-5

K. [. Ito and . Kunisch, Optimal Control of Elliptic Variational Inequalities, Applied Mathematics and Optimization, vol.41, issue.3, pp.41-343, 2000.
DOI : 10.1007/s002459911017

. [. References, U. Alt, and . Mackenroth, Convergence of finite element approximations to state constrained convex parabolic boundary control problems, SIAM J. Control and Optim, vol.22, pp.83-98, 1991.

N. Arada and J. P. Raymond, State-Constrained Relaxed Problems for Semilinear Elliptic Equations, Journal of Mathematical Analysis and Applications, vol.223, issue.1, pp.248-271, 1998.
DOI : 10.1006/jmaa.1998.5976

URL : http://doi.org/10.1006/jmaa.1998.5976

J. [. Arada and . Raymond, Optimal control problems with mixed control-state constraints, preprint

M. Bergounioux, On boundary state constrained control problems, Numerical Functional Analysis and Optimization, vol.2, issue.5-6, pp.515-543, 1993.
DOI : 10.1080/01630569308816537

URL : https://hal.archives-ouvertes.fr/hal-00023319

. [. Bergounioux, Augmented Lagrangian method for distributed optimal control problems with state constraints, Journal of Optimization Theory and Applications, vol.310, issue.3, pp.493-521, 1993.
DOI : 10.1007/BF00939879

URL : https://hal.archives-ouvertes.fr/hal-00023322

. J. Bc-]-f, E. Bonnans, and . Casas, An extension of Pontryagin's maximum principle for state-constrained optimal control of semilinear elliptic equations and variational inequalities, SIAM J. Control and Optim, vol.33, pp.274-298, 1995.

. M. Bhhk, M. Bergounioux, M. Haddou, K. Hintermüller, and . Kunisch, A comparison of a Moreau-Yosida based active set strategy and interior point problems for constrained optimal control problems, SIAM J. Optim, vol.11, pp.495-521, 2000.

. Bk-]-m, K. Bergounioux, and . Kunisch, On the structure of Lagrange multipliers for state-constrained optimal control problems, System and Control Letters

. Bp-]-v, . Barbu, . Th, and . Percupanu, Casas: Boundary control of semilinear elliptic equations with pointwise state constraints, Convexity and Optimization in Banach Spaces, D. Reidel Publ. Comp., Dodrecht, pp.31-993, 1986.

F. [. Casas and . Tröltzsch, Second-Order Necessary Optimality Conditions for Some State-Constrained Control Problems of Semilinear Elliptic Equations, Applied Mathematics and Optimization, vol.39, issue.2
DOI : 10.1007/s002459900104

. E. Ctu, F. Casas, A. Tröltzsch, and . Unger, Second order sufficient optimality conditions for nonlinear elliptic control problems, J. Analysis and its Applications, vol.15, 1996.

M. Hintermüller, K. Ito, and K. Kunisch, The Primal-Dual Active Set Strategy as Semi-Smooth Newton Method

M. Hintermüller and W. Ring, A level set approach for the solution of a state-constrained optimal control problem, Numerische Mathematik, vol.41, issue.1
DOI : 10.1007/s00211-004-0531-z

K. Ito and K. Kunisch, Augmented Lagrangian Methods for Nonsmooth Convex Optimization in Hilbert Spaces, Nonlinear Analysis, Theory, Methods and Applications, pp.41-573, 2000.

K. Ito and K. Kunisch, Semi?smooth Newton methods for variational inequalities of the first kind, Mathematical Modelling and Numerical Analysis

. Q. Lpr-]-z, J. S. Luo, D. Pang, and . Ralph, Mathematical Programs With Equilibrium Constraints Tiba: Optimal control for parabolic control problems and applications, Lecture Notes in Mathematics, vol.1459, 1966.

F. [. Tiba and . Tröltzsch, Error estimates for the discretization of state constrained convex control problems, Numerical Functional Analysis and Optimization, vol.45, issue.9-10, pp.1005-1028, 1996.
DOI : 10.1007/BF01189480

. [. Ulbrich, Semi-smooth Newton methods for operator equations in function spaces
DOI : 10.1137/s1052623400371569

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.6426

M. Bergounioux, M. Haddou, M. Hintermüller, and K. Kunisch, A Comparison of a Moreau--Yosida-Based Active Set Strategy and Interior Point Methods for Constrained Optimal Control Problems, SIAM Journal on Optimization, vol.11, issue.2, pp.495-521, 2000.
DOI : 10.1137/S1052623498343131

URL : https://hal.archives-ouvertes.fr/hal-00022028

S. C. Brenner and L. R. Scott, The mathematical theory of finite element methods, Texts in Applied Mathematics, vol.15, 2002.

X. Chen and P. Tseng, Non-Interior continuation methods for solving semidefinite complementarity problems, Mathematical Programming, vol.95, issue.3, pp.431-474, 2003.
DOI : 10.1007/s10107-002-0306-1

A. Forsgren, P. E. Gill, and M. H. Wright, Interior Methods for Nonlinear Optimization, SIAM Review, vol.44, issue.4, pp.525-597, 2002.
DOI : 10.1137/S0036144502414942

C. Großmann and A. A. Kaplan, ??ber die L??sung diskretisierter Hindernisprobleme mittels einer angepa??ten Strafmethode, Computing, vol.17, issue.3-4, pp.295-306, 1985.
DOI : 10.1007/BF02240196

C. Großmann and H. Roos, Numerik partieller Differentialgleichungen, 1994.
DOI : 10.1007/978-3-322-96752-7

W. Hackbusch, Theorie und Numerik elliptischer Differentialgleichungen, 1986.
DOI : 10.1007/978-3-658-15358-8

URL : http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:bvb:12-bsb00060678-4

M. Hintermüller, Inverse Coefficient Problems for Variational Inequalities: Optimality Conditions and Numerical Realization, ESAIM: Mathematical Modelling and Numerical Analysis, vol.35, issue.1, pp.129-152, 2001.
DOI : 10.1051/m2an:2001109

M. Hintermüller, K. Ito, and K. Kunisch, The Primal-Dual Active Set Strategy as a Semismooth Newton Method, SIAM Journal on Optimization, vol.13, issue.3, pp.865-888, 2003.
DOI : 10.1137/S1052623401383558

K. Ito and K. Kunisch, Optimal Control of Elliptic Variational Inequalities, Applied Mathematics and Optimization, vol.41, issue.3, pp.343-364, 2000.
DOI : 10.1007/s002459911017

K. Ito and K. Kunisch, Semi-smooth Newton methods for state-constrained optimal control problems, Systems & Control Letters, vol.50, issue.3, pp.221-228, 2003.
DOI : 10.1016/S0167-6911(03)00156-7

K. Ito and K. Kunisch, Semi???Smooth Newton Methods for Variational Inequalities of the First Kind, ESAIM: Mathematical Modelling and Numerical Analysis, vol.37, issue.1, pp.41-62, 2003.
DOI : 10.1051/m2an:2003021

G. M. Troianiello, Elliptic differential equations and obstacle problems. The University Series in Mathematics, 1987.
DOI : 10.1007/978-1-4899-3614-1

M. Ulbrich, Semismooth Newton Methods for Operator Equations in Function Spaces, SIAM Journal on Optimization, vol.13, issue.3, pp.805-842, 2003.
DOI : 10.1137/S1052623400371569

R. J. Vanderbei, Linear Programming. International Series in Operations Research & Management Science, Foundations and extensions, vol.37, 2001.

M. Weiser, Interior Point Methods in Function Space, SIAM Journal on Control and Optimization, vol.44, issue.5, 2003.
DOI : 10.1137/S0363012903437277

S. J. Wright, Primal-dual Interior-Point Methods, Society for Industrial and Applied Mathematics (SIAM), 1997.
DOI : 10.1137/1.9781611971453

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.5633

Y. Ye, Interior Point Algorithms Theory and analysis, 1997.