Searcharxiv⌕ Search

arXiv subjects

Jean-Michel Coron

Publications and source records attributed to Jean-Michel Coron.

At least 37 records · Page 2Linked to original sources
arXiv2020

Finite-time stabilization in optimal time of homogeneous quasilinear hyperbolic systems in one dimensional space

We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time stabilization in any time larger than the optimal time for the null controllability of the linearized system if the initial condition is sufficiently small. One of the key technical points is to establish the local well-posedness of quasilinear hyperbolic systems with nonlinear, non-local boundary conditions.

math.OC↗
arXiv2020

Feedforward boundary control of $2 \times 2$ nonlinear hyperbolic systems with application to Saint-Venant equations

Because they represent physical systems with propagation delays, hyperbolic systems are well suited for feedforward control. This is especially true when the delay between a disturbance and the output is larger than the control delay. In this paper, we address the design of feedforward controllers for a general class of $2 \times 2$ hyperbolic systems with a single disturbance input located at one boundary and a single control actuation at the other boundary. The goal is to design a feedforward control that makes the system output insensitive to the measured disturbance input. We show that, for this class of systems, there exists an efficient ideal feedforward controller which is causal and stable. The problem is first stated and studied in the frequency domain for a simple linear system. Then, our main contribution is to show how the theory can be extended, in the time domain, to general nonlinear hyperbolic systems. The method is illustrated with an application to the control of an open channel represented by Saint- Venant equations where the objective is to make the output water level insensitive to the variations of the input flow rate. Finally, we address a more complex application to a cascade of pools where a blind application of perfect feedforward control can lead to detrimental oscillations. A pragmatic way of modifying the control law to solve this problem is proposed and validated with a simulation experiment.

math.OC↗
arXiv2020

Boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space

In this article we are interested in the boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space. We extend the so called "backstepping method" by introducing appropriate time-dependent integral transformations in order to map our initial system to a new one which has desired stability properties. The kernels of the integral transformations involved are solutions to non standard multi-dimensional hyperbolic PDEs, where the time dependence introduces several new difficulties in the treatment of their well-posedness. This work generalizes previous results of the literature, where only time-independent systems were considered.

math.OC↗
arXiv2019

Model Predictive Control, Cost Controllability, and Homogeneity *

We are concerned with the design of Model Predictive Control (MPC) schemes such that asymptotic stability of the resulting closed loop is guaranteed even if the linearization at the desired set point fails to be stabilizable. Therefore, we propose to construct the stage cost based on the homogeneous approximation and rigorously show that applying MPC yields an asymp-totically stable closed-loop behavior if the homogeneous approximation is asymptotically null controllable. To this end, we verify cost controllability-a condition relating the current state, the stage cost, and the growth of the value function w.r.t. time-for this class of systems in order to provide stability and performance guarantees for the proposed MPC scheme without stabilizing terminal costs or constraints.

math.OC↗
arXiv2019

Controllability of the Navier-Stokes equation in a rectangle with a little help of a distributed phantom force

We consider the 2D incompressible Navier-Stokes equation in a rectangle with the usual no-slip boundary condition prescribed on the upper and lower boundaries. We prove that for any positive time, for any finite energy initial data, there exist controls on the left and right boundaries and a distributed force, which can be chosen arbitrarily small in any Sobolev norm in space, such that the corresponding solution is at rest at the given final time. Our work improves earlier results where the distributed force is small only in a negative Sobolev space. It is a further step towards an answer to Jacques-Louis Lions' question about the small-time global exact boundary controllability of the Navier-Stokes equation with the no-slip boundary condition, for which no distributed force is allowed. Our analysis relies on the well-prepared dissipation method already used for Burgers and for Navier-Stokes in the case of the Navier slip-with-friction boundary condition. In order to handle the larger boundary layers associated with the no-slip boundary condition, we perform a preliminary regularization into analytic functions with arbitrarily large analytic radius and prove a long-time nonlinear Cauchy-Kovalevskaya estimate relying only on horizontal analyticity.

math.AP↗
arXiv2019

Null-controllability of linear hyperbolic systems in one dimensional space

This paper is devoted to the controllability of a general linear hyperbolic system in one space dimension using boundary controls on one side. Under precise and generic assumptions on the boundary conditions on the other side, we previously established the optimal time for the null and the exact controllability for this system for a generic source term. In this work, we prove the null-controllability for any time greater than the optimal time and for any source term. Similar results for the exact controllability are also discussed.

math.OC↗
arXiv2019

Small-time stabilization of nonholonomic or underactuated mechanical systems: the unicycle and the slider examples

This paper concerns the small-time stabilization of some classes of mechanical systems which are not stabilizable by means of at least continuous state feedback laws. This is the case of nonholonomic mechanical systems, an example being the unicycle robot, or for underactuated mechanical systems, an example being the slider. Explicit time-varying feedback laws leading to small-time stabilization are constructed for these two control systems. The main tools are homogeneity, backstepping, and desingularization technics.

math.OC↗
arXiv2019

On the controllability of the Navier-Stokes equation in a rectangle, with a little help of a distributed phantom force

This note echoes the talk given by the second author during the Journées EDP 2018 in Obernai. Its aim is to provide an overview and a sketch of proof of the result obtained by the authors, concerning the controllability of the Navier-Stokes equation. We refer the interested readers to the original paper for the full technical details of the proof, which will be omitted here, to focus on the main underlying ideas.

math.AP↗
arXiv2018

Optimal time for the controllability of linear hyperbolic systems in one dimensional space

We are concerned about the controllability of a general linear hyperbolic system of the form $\partial_t w (t, x) = Σ(x) \partial_x w (t, x) + γC(x) w(t, x) $ ($γ\in \mR$) in one space dimension using boundary controls on one side. More precisely, we establish the optimal time for the null and exact controllability of the hyperbolic system for generic $γ$. We also present examples which yield that the generic requirement is necessary. In the case of constant $Σ$ and of two positive directions, we prove that the null-controllability is attained for any time greater than the optimal time for all $γ\in \mR$ and for all $C$ which is analytic if the slowest negative direction can be alerted by {\it both} positive directions. We also show that the null-controllability is attained at the optimal time by a feedback law when $C \equiv 0$. Our approach is based on the backstepping method paying a special attention on the construction of the kernel and the selection of controls.

math.OC↗
arXiv2017

On the controllability of the Navier-Stokes equation in spite of boundary layers

In this proceeding we expose a particular case of a recent result obtained by the authors regarding the incompressible Navier-Stokes equations in a smooth bounded and simply connected bounded domain, either in 2D or in 3D, with a Navier slip-with-friction boundary condition except on a part of the boundary. This under-determination encodes that one has control over the remaining part of the boundary. We prove that for any initial data, for any positive time, there exists a weak Leray solution which vanishes at this given time.

math.AP↗
arXiv2017

Small-time global exact controllability of the Navier-Stokes equation with Navier slip-with-friction boundary conditions

In this work, we investigate the small-time global exact controllability of the Navier-Stokes equation, both towards the null equilibrium state and towards weak trajectories. We consider a viscous incompressible fluid evolving within a smooth bounded domain, either in 2D or in 3D. The controls are only located on a small part of the boundary, intersecting all its connected components. On the remaining parts of the boundary, the fluid obeys a Navier slip-with-friction boundary condition. Even though viscous boundary layers appear near these uncontrolled boundaries, we prove that small-time global exact controllability holds. Our analysis relies on the controllability of the Euler equation combined with asymptotic boundary layer expansions. Choosing the boundary controls with care enables us to guarantee good dissipation properties for the residual boundary layers, which can then be exactly canceled using local techniques.

math.AP↗
arXiv2017

Local exponential stabilization for a class of Korteweg-de Vries equations by means of time-varying feedback laws

We study the exponential stabilization problem for a nonlinear Korteweg-de Vries equa- tion on bounded interval in cases where the linearized control system is not controllable. The system has Dirichlet boundary conditions at the end-points of the interval, a Neumann nonhomogeneous boundary condition at the right end-point which is the control. We build a class of time-varying feedback laws for which the solutions of the closed-loop systems with small initial data decay exponentially to 0. We present also results on the well-posedness of the closed-loop systems for general time-varying feedback laws.

math.AP↗
arXiv2017

Finite-time boundary stabilization of general linear hyperbolic balance laws via Fredholm backstepping transformation $\star$

This paper is devoted to a simple and new proof on the optimal finite control time for general linear coupled hyperbolic system by using boundary feedback on one side. The feedback control law is designed by first using a Volterra transformation of the second kind and then using an invertible Fredholm transformation. Both existence and invertibility of the transformations are easily obtained.

math.OC↗
arXiv2016

Control of three heat equations coupled with two cubic nonlinearities

We study the null controllability of three parabolic equations. The control is acting only on one of the three equations. The three equations are coupled by means of two cubic nonlinearities. The linearized control system around 0 is not null controllable. However, using the cubic nonlinearities, we prove the (global) null controllability of the control system. The proof relies on the return method, an algebraic solvability and smoothing properties of the parabolic equations.

math.OC↗
arXiv2016

Rapid Stabilization of a Linearized Bilinear $1-D$ Schrödinger Equation

We consider the one dimensional Schrödinger equation with a bilinear control and prove the rapid stabilization of the linearized equation around the ground state. The feedback law ensuring the rapid stabilization is obtained using a transformation mapping the solution to the linearized equation on the solution to an exponentially stable target linear equation. A suitable condition is imposed on the transformation in order to cancel the non-local terms arising in the kernel system. This conditions also insures the uniqueness of the transformation. The continuity and invertibility of the transformation follows from exact controllability of the linearized system.

math.OC↗
arXiv2016

Asymptotic stability of a Korteweg-de Vries equation with a two-dimensional center manifold

Local asymptotic stability analysis is conducted for an initial-boundary-value problem of a Korteweg-de Vries equation posed on a finite interval $\left[0, 2π\sqrt{7/3}\right]$. The equation comes with a Dirichlet boundary condition at the left end-point and both of the Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the associated linearized equation around the origin is not asymptotically stable. In this paper, the nonlinear Korteweg-de Vries equation is proved to be locally asymptotically stable around the origin through the center manifold method. In particular, the existence of a two-dimensional local center manifold is presented, which is locally exponentially attractive. By analyzing the Korteweg-de Vries equation restricted on the local center manifold, a polynomial decay rate of the solution is obtained.

math.AP↗
arXiv2015

Dissipative boundary conditions for $2\times 2$ hyperbolic systems of conservation laws for entropy solutions in BV

In this article, we investigate the BV stability of $2\times 2$ hyperbolic systems of conservation laws with strictly positive velocities under dissipative boundary conditions. More precisely, we derive sufficient conditions guaranteeing the exponential stability of the system under consideration for entropy solutions in BV. Our proof is based on a front tracking algorithm used to construct approximate piecewise constants solutions whose BV norms are controlled through a Lyapunov functional. This Lyapunov functional is inspired by the one proposed in J. Glimm's seminal work [J. Glimm, Comm. Pure Appl. Math., 18:697--715, 1965], modified with some suitable weights in the spirit of the previous works [J.-M. Coron, G. Bastin, and B. d'Andréa Novel, SIAM J. Control Optim., 47(3):1460--1498, 2008] and [J.-M. Coron, B. d'Andréa Novel, and G. Bastin, IEEE Trans. Automat. Control, 52(1):2--11, 2007].

math.AP↗