Searcharxiv⌕ Search

arXiv subjects

Jean-Michel Coron

Publications and source records attributed to Jean-Michel Coron.

51 records · Page 3Linked to original sources
arXiv2015

Stabilization and controllability of first-order integro-differential hyperbolic equations

In the present article we study the stabilization of first-order linear integro-differential hyperbolic equations. For such equations we prove that the stabilization in finite time is equivalent to the exact controllability property. The proof relies on a Fredholm transformation that maps the original system into a finite-time stable target system. The controllability assumption is used to prove the invertibility of such a transformation. Finally, using the method of moments, we show in a particular case that the controllability is reduced to the criterion of Fattorini.

math.OC↗
arXiv2015

Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation

This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.

math.OC↗
arXiv2014

Local rapid stabilization for a Korteweg-de Vries equation with a Neumann boundary control on the right

This paper is devoted to the study of the rapid exponential stabilization problem for a controlled Korteweg-de Vries equation on a bounded interval with homogeneous Dirichlet boundary conditions and Neumann boundary control at the right endpoint of the interval. For every noncritical length, we build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach relies on the construction of a suitable integral transform.

math.OC↗
arXiv2014

Dissipative boundary conditions for nonlinear 1-D hyperbolic systems: sharp conditions through an approach via time-delay systems

We analyse dissipative boundary conditions for nonlinear hyperbolic systems in one space dimension. We show that a previous known sufficient condition for exponential stability with respect to the C^1-norm is optimal. In particular a known weaker sufficient condition for exponential stability with respect to the H^2-norm is not sufficient for the exponential stability with respect to the C^1-norm. Hence, due to the nonlinearity, even in the case of classical solutions, the exponential stability depends strongly on the norm considered. We also give a new sufficient condition for the exponential stability with respect to the W^{2,p}-norm. The methods used are inspired from the theory of the linear time-delay systems and incorporate the characteristic method.

math.AP↗
arXiv2014

Optimization of an Amplification Protocol for Misfolded Proteins by using Relaxed Control

We investigate an optimal control problem which arises in the optimization of an amplification technique for misfolded proteins. The improvement of this technique may play a role in the detection of prion diseases. The model consists in a linear system of differential equations with a nonlinear control. The appearance of oscillations in the numerical simulations is understood by using the Perron and Floquet eigenvalue theory for nonnegative irreductible matrices. Then to overcome the unsolvability of the optimal control, we relax the problem. In the two dimensional case we solve explicitely the optimal relaxed control problem when the final time is large enough.

math.AP↗
arXiv2014

Minimal time for the bilinear control of Schrödinger equations

We consider a quantum particle in a potential V (x) (x in R^N) subject to a (spatially homogeneous) time-dependent electric field E(t), which plays the role of the control. Under generic assumptions on V, this system is approximately controllable on the L2(R^N;C)-sphere, in su ffiently large times T, as proved by Boscain, Caponigro, Chambrion and Sigalotti. In the present article, we show that this approximate controllability result is false in small time. As a consequence, the result by Boscain et al. is, in some sense, optimal with respect to the control time T.

math.AP↗
arXiv2013

Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components

In this paper, we prove a local null controllability result for the three-dimensional Navier-Stokes equations on a (smooth) bounded domain of R^3 with null Dirichlet boundary conditions. The control is distributed in an arbitrarily small nonempty open subset and has two vanishing components. J.-L. Lions and E. Zuazua proved that the linearized system is not necessarily null controllable even if the control is distributed on the entire domain, hence the standard linearization method fails. We use the return method together with a new algebraic method inspired by the works of M. Gromov and previous results by M. Gueye.

math.OC↗
arXiv2013

Asymptotic stability of a nonlinear Korteweg-de Vries equation with a critical length

We study an initial-boundary-value problem of a nonlinear Korteweg-de Vries equation posed on a finite interval (0,2pi). The whole system has Dirichlet boundary condition at the left end-point, and both of Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the origin is not asymptotically stable for the linearized system around the origin. We prove that the origin is (locally) asymptotically stable for the nonlinear system.

math.OC↗
arXiv2013

Output feedback stabilization for a scalar conservation law with a nonlocal velocity

In this paper, we study the output feedback stabilization for a scalar conservation law with a nonlocal velocity, that models a highly re-entrant manufacturing system as encountered in semi-conductor production. By spectral analysis, we obtain a complete result on the exponential stabilization for the linearized control system. Moreover, by using a Lyapunov function approach, we also prove the exponential stabilization results for the nonlinear control system in certain cases.

math.OC↗
arXiv2012

Optimal control of cell mass and maturity in a model of follicular ovulation

In this paper, we study optimal control problems associated with a scalar hyperbolic conservation law modeling the development of ovarian follicles. Changes in the age and maturity of follicular cells are described by a 2D conservation law, where the control terms act on the velocities. The control problem consists in optimizing the follicular cell resources so that the follicular maturity reaches a maximal value in fixed time. Formulating the optimal control problem within a hybrid framework, we prove necessary optimality conditions in the form of Hybrid Maximum Principle. Then we derive the optimal strategy and show that there exists at least one optimal bang-bang control with one single switching time.

math.OC↗
arXiv2012

Local exponential H^2 stabilization of a 2X2 quasilinear hyperbolic system using backstepping

In this work, we consider the problem of boundary stabilization for a quasilinear 2X2 system of first-order hyperbolic PDEs. We design a new full-state feedback control law, with actuation on only one end of the domain, which achieves H^2 exponential stability of the closedloop system. Our proof uses a backstepping transformation to find new variables for which a strict Lyapunov function can be constructed. The kernels of the transformation are found to verify a Goursat-type 4X4 system of first-order hyperbolic PDEs, whose well-posedness is shown using the method of characteristics and successive approximations. Once the kernels are computed, the stabilizing feedback law can be explicitly constructed from them.

math.OC↗
arXiv2009

Analysis of a conservation law modeling a highly re-entrant manufacturing system

This article studies a hyperbolic conservation law that models a highly re-entrant manufacturing system as encountered in semi-conductor production. Characteristic features are the nonlocal character of the velocity and that the influx and outflux constitute the control and output signal, respectively. We prove the existence and uniqueness of solutions for $L^1$-data, and study their regularity properties. We also prove the existence of optimal controls that minimizes in the $L^2$-sense the mismatch between the actual and a desired output signal. Finally, the time-optimal control for a step between equilibrium states is identified and proven to be optimal.

math.OC↗
arXiv2009

Controllability issues for continuous-spectrum systems and ensemble controllability of Bloch Equations

We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear systems with continuous spectrum, whose controllability is not well understood. We provide several mathematical answers, with discrimination between approximate and exact controllability, and between finite time or infinite time controllability: this system is not exactly controllable in finite time $T$ with bounded controls in $L^2(0,T)$, but it is approximately controllable in $L^\infty$ in finite time with unbounded controls in $L^{\infty}_{loc}([0,+\infty))$. Moreover, we propose explicit controls realizing the asymptotic exact controllability to a uniform state of spin +1/2 or -1/2.

math.OC↗
arXiv2009

Exact boundary controllability for 1-D quasilinear hyperbolic systems with a vanishing characteristic speed

The general theory on exact boundary controllability for general first order quasilinear hyperbolic systems requires that the characteristic speeds of system do not vanish. This paper deals with exact boundary controllability, when this is not the case. Some important models are also shown as applications of the main result. The strategy uses the return method, which allows in certain situations to recover non zero characteristic speeds.

math.AP↗