In this talk we present a inequality obtained with Jérôme Le Rousseau, for sum of eigenfunctions for bi-Laplace operator with clamped boundary condition. These boundary conditions do not allow to reduce the problem for a Laplacian with adapted boundary condition. The proof follow the strategy used for Laplacian, namely we consider a problem with an extra variable and we prove Carleman estimates for this new problem. The main difficulty is to obtain a Carleman estimate up to the boundary.[-]

We consider the problem of lagrangian controllability for two models of fluids. The lagrangian controllability consists in the possibility of prescribing the motion of a set of particle from one place to another in a given time. The two models under view are the Euler equation for incompressible inviscid fluids, and the quasistatic Stokes equation for incompressible viscous fluids. These results were obtained in collaboration with Thierry Horsin (Conservatoire National des Arts et Métiers, Paris)[-]

We start by presenting some results on the stabilization, rapid or in finite time, of control systems modeled by means of ordinary differential equations. We study the interest and the limitation of the damping method for the stabilization of control systems. We then describe methods to transform a given linear control system into new ones for which the rapid stabilization is easy to get. As an application of these methods we show how to get rapid stabilization for Korteweg-de Vries equations and how to stabilize in finite time $1-D$ parabolic linear equations by means of periodic time-varying feedback laws.[-]

We study the small-time local controllability (STLC) for scalar input control affine systems, in finite dimension. It is known that the entire information about STLC is contained in the evaluation at zero of the Lie brackets of the vector fields. In the 80's, several authors formulated necessary conditions for controllability (obstructions), relying on particular 'bad' brackets. In this talk, I will present a unified approach to determine and prove obstructions to STLC, that allows to recover known obstructions and prove new ones, in a relatively systematic way. This approach relies on a recent Magnus-type representation of the state, a new Hall basis of the free Lie algebra over 2 generators and interpolation inequalities. This is a joint work with Frédéric Marbach and Jérémy Leborgne.[-]