6 papers
Fredholm transformation on Laplacian and rapid stabilization for the heat equation
Ludovick Gagnon, Amaury Hayat, Shengquan Xiang +1
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption…
PI controllers for the general Saint-Venant equations
Amaury Hayat
We study the exponential stability in the norm of the nonlinear Saint-Venant (or shallow water) equations with arbitrary friction and slope using a single Proportional-Inte…
Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the norm
Amaury Hayat
In this paper we study the global exponential stability in the norm of semilinear - hyperbolic systems on a bounded domain, when the source term and the nonlinear bou…
Learning advanced mathematical computations from examples
François Charton, Amaury Hayat, Guillaume Lample
Using transformers over large generated datasets, we train models to learn mathematical properties of differential systems, such as local stability, behavior at infinity and contro…
Feedforward boundary control of nonlinear hyperbolic systems with application to Saint-Venant equations
Georges Bastin, Jean-Michel Coron, Amaury Hayat
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 distur…
Input-to-State Stability in sup norms for hyperbolic systems with boundary disturbances
Georges Bastin, Jean-Michel Coron, Amaury Hayat
We give sufficient conditions for Input-to-State Stability in norm of general quasilinear hyperbolic systems with boundary input disturbances. In particular the derivation…